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 是 商业代理人 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 16180-16180 Business 是 机构 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7103-7103 机构 是 Business 的 subclass
No TPTP formula. May not be expressible in strict first order. Dining.kif 65-65 Bakery 是 Business 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 16188-16188 法人财团 是 Business 的 subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 1702-1702 Crematorium 是 Business 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7113-7113 娱乐公司 是 Business 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7126-7126 金融公司 是 Business 的 subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 1697-1697 FuneralArranger 是 Business 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7146-7146 保险公司 是 Business 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7212-7212 合伙 是 Business 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7304-7304 所有权 是 Business 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7276-7276 餐厅 是 Business 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7174-7174 运输公司 是 Business 的 subclass
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 数量 是 Business 的 instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1283-1283 customerValue 的 2 数量 是 Business 的 instance

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