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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Foundries

 Sigma KEE - Foundries
Foundries(代工厂)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4148-4150
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6568-6568
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6035-6035
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6567-6567
No TPTP formula. May not be expressible in strict first order. naics.kif 4146-4146 代工厂 是 主要金属制造业 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4152-4152 黑色金属铸造厂 是 代工厂 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 4178-4178 有色金属铸造厂 是 代工厂 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24812-24812
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24811-24811
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24810-24810


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