Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Business

 Sigma KEE - Business
Business

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3660-3661
No TPTP formula. May not be expressible in strict first order. Merge.kif 16181-16182
No TPTP formula. May not be expressible in strict first order. Merge.kif 16179-16179 子類 Business and 商業代理人
No TPTP formula. May not be expressible in strict first order. Merge.kif 16180-16180 子類 Business and Organization

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7103-7103 子類 機構 and Business
No TPTP formula. May not be expressible in strict first order. Dining.kif 65-65 子類 Bakery and Business
No TPTP formula. May not be expressible in strict first order. Merge.kif 16188-16188 子類 Corporation and Business
No TPTP formula. May not be expressible in strict first order. Media.kif 1702-1702 子類 Crematorium and Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7113-7113 子類 娛樂公司 and Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7126-7126 子類 金融公司 and Business
No TPTP formula. May not be expressible in strict first order. Media.kif 1697-1697 子類 FuneralArranger and Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7146-7146 子類 保險公司 and Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7212-7212 子類 合夥 and Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7304-7304 子類 所有權 and Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7276-7276 子類 餐廳 and Business
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7174-7174 子類 運輸公司 and Business
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64577-64577

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2549-2549 域 businessUnit, 2 and Business
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1283-1283 域 customerValue, 2 and Business

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 660-665
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2596-2605


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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