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 7321-7321
(subclass EntertainmentCompany Business) Mid-level-ontology.kif 7331-7331
(subclass FinancialCompany Business) Mid-level-ontology.kif 7344-7344
(subclass InsuranceCompany Business) Mid-level-ontology.kif 7364-7364
(subclass TransportationCompany Business) Mid-level-ontology.kif 7392-7392
(subclass Partnership Business) Mid-level-ontology.kif 7430-7430
(subclass Restaurant Business) Mid-level-ontology.kif 7494-7494
(subclass Proprietorship Business) Mid-level-ontology.kif 7522-7522
(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