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 子屬性 工業供應 and 生產平均值

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5792-5792 相關的內部概念 工業機械設備批發商 and 工業供應
No TPTP formula. May not be expressible in strict first order. Economy.kif 5791-5791 相關的內部概念 工業機械製造業 and 工業供應
No TPTP formula. May not be expressible in strict first order. Economy.kif 5793-5793 相關的內部概念 機械設備和用品批發商 and 工業供應
No TPTP formula. May not be expressible in strict first order. Economy.kif 5795-5795 子屬性 機械 and 工業供應
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