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

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Merge.kif 15739-15739 Building is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2919-2919 Terminal building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2934-2934 Home garage is a subclass of building
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2935-2935 Parking garage is a subclass of building
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3076-3076 Toll booth is a subclass of building
No TPTP formula. May not be expressible in strict first order. Sports.kif 648-648 Baseball dugout is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7044-7044 Commercial building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7079-7079 Store is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7091-7091 Farm building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7320-7320 Auditorium is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7667-7667 Medical clinic building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7904-7904 Religious building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8476-8476 Library building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15736-15736 Barn is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20922-20922 Police facility is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22390-22390 Entertainment building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22402-22402 Government building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22477-22477 Office building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22482-22482 School building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22520-22520 Place of worship is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22556-22556 Restaurant building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26503-26503 High rise is a subclass of building
No TPTP formula. May not be expressible in strict first order. Merge.kif 15803-15803 Residential building is a subclass of building
No TPTP formula. May not be expressible in strict first order. Hotel.kif 132-132 Hotel villa is a subclass of building


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