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

Formal Language: 



Term 1: Term 2:

(subclass Business CommercialAgent) Merge.kif 16250-16250
(subclass Business Organization) Merge.kif 16251-16251
(subclass Agency Business) Mid-level-ontology.kif 7130-7130
(subclass EntertainmentCompany Business) Mid-level-ontology.kif 7140-7140
(subclass FinancialCompany Business) Mid-level-ontology.kif 7153-7153
(subclass InsuranceCompany Business) Mid-level-ontology.kif 7173-7173
(subclass TransportationCompany Business) Mid-level-ontology.kif 7201-7201
(subclass Partnership Business) Mid-level-ontology.kif 7239-7239
(subclass Restaurant Business) Mid-level-ontology.kif 7303-7303
(subclass Proprietorship Business) Mid-level-ontology.kif 7331-7331
(subclass Corporation Business) Merge.kif 16259-16259
(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