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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SteelForging

 Sigma KEE - SteelForging
SteelForging(钢锻造)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 8733-8733
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9685-9685
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9686-9686
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9689-9689
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9688-9688
No TPTP formula. May not be expressible in strict first order. Economy.kif 1875-1875 钢锻造 是 钢铁锻造 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 1867-1867 钢锻造 是 钢铁工业 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55236-55236
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55235-55235
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55234-55234


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