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

Formal Language: 



Term 1: Term 2:

(subclass Business CommercialAgent) Merge.kif 16201-16201 Business は CommercialAgent の subclass では %n
(subclass Business Organization) Merge.kif 16202-16202 Business は 組織 の subclass では %n
(subclass Agency Business) Mid-level-ontology.kif 7102-7102 Agency は Business の subclass では %n
(subclass EntertainmentCompany Business) Mid-level-ontology.kif 7112-7112 EntertainmentCompany は Business の subclass では %n
(subclass FinancialCompany Business) Mid-level-ontology.kif 7125-7125 FinancialCompany は Business の subclass では %n
(subclass InsuranceCompany Business) Mid-level-ontology.kif 7145-7145 InsuranceCompany は Business の subclass では %n
(subclass TransportationCompany Business) Mid-level-ontology.kif 7173-7173 TransportationCompany は Business の subclass では %n
(subclass Partnership Business) Mid-level-ontology.kif 7211-7211 Partnership は Business の subclass では %n
(subclass Restaurant Business) Mid-level-ontology.kif 7275-7275 Restaurant は Business の subclass では %n
(subclass Proprietorship Business) Mid-level-ontology.kif 7303-7303 Proprietorship は Business の subclass では %n
(subclass Corporation Business) Merge.kif 16210-16210 法人 は Business の subclass では %n
(subclass FuneralArranger Business) Media.kif 1697-1697 FuneralArranger は Business の subclass では %n
(subclass Crematorium Business) Media.kif 1702-1702 Crematorium は Business の subclass では %n
(subclass Bakery Business) Dining.kif 65-65 Bakery は Business の subclass では %n


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