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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7102-7102 机构 是 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 16210-16210 法人财团 是 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 7112-7112 娱乐公司 是 Business 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7125-7125 金融公司 是 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 7145-7145 保险公司 是 Business 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7211-7211 合伙 是 Business 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7303-7303 所有权 是 Business 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7275-7275 餐厅 是 Business 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7173-7173 运输公司 是 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