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

Formal Language: 



Term 1: Term 2:

(subclass FamilyGroup GroupOfPeople) Merge.kif 16259-16259 FamilyGroup ist eine teilkategorie von GroupOfPeople
(subclass NuclearFamily FamilyGroup) Mid-level-ontology.kif 23178-23178 NuclearFamily ist eine teilkategorie von FamilyGroup


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