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

Formal Language: 


Term 1: Term 2:

(subclass Room StationaryArtifact) Merge.kif 15905-15905
(subclass Bathroom Room) Mid-level-ontology.kif 16866-16866
(subclass Closet Room) Mid-level-ontology.kif 16877-16877
(subclass DressingRoom Room) Mid-level-ontology.kif 16889-16889
(subclass Kitchen Room) Mid-level-ontology.kif 16927-16927
(subclass DiningRoom Room) Mid-level-ontology.kif 16953-16953
(subclass Bedroom Room) Mid-level-ontology.kif 16957-16957
(subclass Classroom Room) Mid-level-ontology.kif 16967-16967
(subclass Hallway Room) Mid-level-ontology.kif 16986-16986
(subclass CourtRoom Room) Mid-level-ontology.kif 17559-17559
(subclass SelfServiceLaundry Room) Mid-level-ontology.kif 27058-27058
(subclass Solarium Room) Mid-level-ontology.kif 28649-28649
(subclass GameRoom Room) Mid-level-ontology.kif 28678-28678
(subclass Nursery Room) Mid-level-ontology.kif 28691-28691
(subclass SteamBath Room) Mid-level-ontology.kif 28702-28702
(subclass HotelRoom Room) Hotel.kif 119-119
(subclass BusinessCenter Room) Hotel.kif 1661-1661
(subclass HotelFunctionRoom Room) Hotel.kif 1697-1697


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