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 15777-15777 Room is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15492-15492 Bathroom is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15503-15503 Closet is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15515-15515 Dressing room is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15553-15553 Kitchen is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15579-15579 Dining room is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15583-15583 Bedroom is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15593-15593 Classroom is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15612-15612 Hall is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16171-16171 Court room is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25395-25395 Self-service laundry is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26738-26738 Solarium is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26767-26767 Game room is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26780-26780 Nursery is a subclass of room
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26791-26791 Steam bath is a subclass of room
No TPTP formula. May not be expressible in strict first order. Hotel.kif 119-119 Hotel room is a subclass of room
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1650-1650 Business center is a subclass of room
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1686-1686 Hotel function room is a subclass of room


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