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

Formal Language: 



Term 1: Term 2:

(subclass SelfConnectedObject Object) Merge.kif 843-843 Self connected object is a subclass of object
(subclass ShipContainer SelfConnectedObject) Transportation.kif 2581-2581 Ship container is a subclass of self connected object
(subclass Ramp SelfConnectedObject) Mid-level-ontology.kif 2320-2320 Ramp is a subclass of self connected object
(subclass OrganicThing SelfConnectedObject) Merge.kif 848-848 OrganicThing is a subclass of self connected object
(subclass Substance SelfConnectedObject) Merge.kif 999-999 Substance is a subclass of self connected object
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1184-1184 Corpuscular object is a subclass of self connected object
(subclass Transitway SelfConnectedObject) Merge.kif 14019-14019 Transitway is a subclass of self connected object
(subclass Food SelfConnectedObject) Merge.kif 14610-14610 Food is a subclass of self connected object
(subclass Meat SelfConnectedObject) Merge.kif 14612-14612 Meat is a subclass of self connected object
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4391-4391 Body of water is a subclass of self connected object
(subclass Iceberg SelfConnectedObject) Geography.kif 4621-4621 Iceberg is a subclass of self connected object


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