Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass CommunicationSystem Collection) Mid-level-ontology.kif 7619-7619
(subclass PublicAddressSystem CommunicationSystem) Mid-level-ontology.kif 26093-26093
(subclass TelephoneSystem CommunicationSystem) Communications.kif 32-32
(subclass RadioSystem CommunicationSystem) Communications.kif 231-231
(subclass TelevisionSystem CommunicationSystem) Communications.kif 318-318
(subclass CableTelevisionSystem CommunicationSystem) Communications.kif 333-333
(subclass SatelliteTelevisionSystem CommunicationSystem) Communications.kif 344-344
(subclass BroadcastNetwork CommunicationSystem) Communications.kif 358-358
(subclass InternetServiceProvider CommunicationSystem) Communications.kif 442-442


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners