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

Formal Language: 



Term 1: Term 2:

(subclass Business CommercialAgent) Merge.kif 16032-16032
(subclass Business Organization) Merge.kif 16033-16033
(subclass Agency Business) Mid-level-ontology.kif 7062-7062
(subclass EntertainmentCompany Business) Mid-level-ontology.kif 7072-7072
(subclass FinancialCompany Business) Mid-level-ontology.kif 7085-7085
(subclass InsuranceCompany Business) Mid-level-ontology.kif 7105-7105
(subclass TransportationCompany Business) Mid-level-ontology.kif 7133-7133
(subclass Partnership Business) Mid-level-ontology.kif 7171-7171
(subclass Restaurant Business) Mid-level-ontology.kif 7235-7235
(subclass Proprietorship Business) Mid-level-ontology.kif 7263-7263
(subclass Corporation Business) Merge.kif 16041-16041
(subclass FuneralArranger Business) Media.kif 1697-1697
(subclass Crematorium Business) Media.kif 1702-1702
(subclass Bakery Business) Dining.kif 65-65


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