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

Formal Language: 



Term 1: Term 2:

(subclass SingleFamilyResidence PermanentResidence) Merge.kif 15820-15820 SingleFamilyResidence ist eine teilkategorie von PermanentResidence
(subclass ApartmentUnit SingleFamilyResidence) Mid-level-ontology.kif 6867-6867 ApartmentUnit ist eine teilkategorie von SingleFamilyResidence
(subclass CondominiumUnit SingleFamilyResidence) Mid-level-ontology.kif 6917-6917 CondominiumUnit ist eine teilkategorie von SingleFamilyResidence
(subclass House SingleFamilyResidence) Merge.kif 15770-15770 House ist eine teilkategorie von SingleFamilyResidence


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