Käytettävä termi
matematisk logik
Yläkäsite
Merkitykseltään laajempi käsite/termi.Ohjaustermit
Käsitteeseen ohjaavat termit.- symbolisk logik
Kuuluu ryhmään
Ryhmä, johon käsite kuuluu.URI
http://www.yso.fi/onto/allars/Y22525