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

Formal Language: 



Term 1: Term 2:

(subclass Room StationaryArtifact) Merge.kif 14636-14636
(subclass Bathroom Room) Mid-level-ontology.kif 12225-12225
(subclass Closet Room) Mid-level-ontology.kif 12236-12236
(subclass DressingRoom Room) Mid-level-ontology.kif 12248-12248
(subclass Kitchen Room) Mid-level-ontology.kif 12286-12286
(subclass DiningRoom Room) Mid-level-ontology.kif 12312-12312
(subclass Bedroom Room) Mid-level-ontology.kif 12316-12316
(subclass Classroom Room) Mid-level-ontology.kif 12326-12326
(subclass CourtRoom Room) Mid-level-ontology.kif 12874-12874
(subclass SelfServiceLaundry Room) Mid-level-ontology.kif 21586-21586
(subclass Solarium Room) Mid-level-ontology.kif 22944-22944
(subclass GameRoom Room) Mid-level-ontology.kif 22973-22973
(subclass Nursery Room) Mid-level-ontology.kif 22986-22986
(subclass SteamBath Room) Mid-level-ontology.kif 22997-22997
(subclass HotelRoom Room) Hotel.kif 114-114
(subclass BusinessCenter Room) Hotel.kif 1612-1612
(subclass HotelFunctionRoom Room) Hotel.kif 1648-1648


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