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

Formal Language: 



Term 1: Term 2:

(subclass Business CommercialAgent) Merge.kif 16201-16201
(subclass Business Organization) Merge.kif 16202-16202
(subclass Agency Business) Mid-level-ontology.kif 7102-7102
(subclass EntertainmentCompany Business) Mid-level-ontology.kif 7112-7112
(subclass FinancialCompany Business) Mid-level-ontology.kif 7125-7125
(subclass InsuranceCompany Business) Mid-level-ontology.kif 7145-7145
(subclass TransportationCompany Business) Mid-level-ontology.kif 7173-7173
(subclass Partnership Business) Mid-level-ontology.kif 7211-7211
(subclass Restaurant Business) Mid-level-ontology.kif 7275-7275
(subclass Proprietorship Business) Mid-level-ontology.kif 7303-7303
(subclass Corporation Business) Merge.kif 16210-16210
(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