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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IndustrialSupply

 Sigma KEE - IndustrialSupply
IndustrialSupply(工业供应)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5784-5789
No TPTP formula. May not be expressible in strict first order. Economy.kif 5783-5783 工业供应 是 生产平均值 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5792-5792 工业机械设备批发商 和 工业供应 是 内部相关
No TPTP formula. May not be expressible in strict first order. Economy.kif 5791-5791 工业机械制造业 和 工业供应 是 内部相关
No TPTP formula. May not be expressible in strict first order. Economy.kif 5793-5793 机械设备和用品批发商 和 工业供应 是 内部相关
No TPTP formula. May not be expressible in strict first order. Economy.kif 5795-5795 机械 是 工业供应 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29881-29881
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29880-29880
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29879-29879


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