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

Formal Language: 



Term 1: Term 2:

(subclass Room StationaryArtifact) Merge.kif 15755-15755
(subclass Bathroom Room) Mid-level-ontology.kif 15493-15493
(subclass Closet Room) Mid-level-ontology.kif 15504-15504
(subclass DressingRoom Room) Mid-level-ontology.kif 15516-15516
(subclass Kitchen Room) Mid-level-ontology.kif 15554-15554
(subclass DiningRoom Room) Mid-level-ontology.kif 15580-15580
(subclass Bedroom Room) Mid-level-ontology.kif 15584-15584
(subclass Classroom Room) Mid-level-ontology.kif 15594-15594
(subclass Hallway Room) Mid-level-ontology.kif 15613-15613
(subclass CourtRoom Room) Mid-level-ontology.kif 16172-16172
(subclass SelfServiceLaundry Room) Mid-level-ontology.kif 25396-25396
(subclass Solarium Room) Mid-level-ontology.kif 26750-26750
(subclass GameRoom Room) Mid-level-ontology.kif 26779-26779
(subclass Nursery Room) Mid-level-ontology.kif 26792-26792
(subclass SteamBath Room) Mid-level-ontology.kif 26803-26803
(subclass HotelRoom Room) Hotel.kif 119-119
(subclass BusinessCenter Room) Hotel.kif 1650-1650
(subclass HotelFunctionRoom Room) Hotel.kif 1686-1686


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