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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RollingAndDrawingOfPurchasedSteel

Sigma KEE - RollingAndDrawingOfPurchasedSteel
RollingAndDrawingOfPurchasedSteel(購買鋼材的軋製和拉伸)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3997-3999
No TPTP formula. May not be expressible in strict first order. naics.kif 3995-3995 子屬性 購買鋼材的軋製和拉伸 and 採購鋼材生產鋼材

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4001-4001 子屬性 軋鋼形狀製造 and 購買鋼材的軋製和拉伸
No TPTP formula. May not be expressible in strict first order. naics.kif 4009-4009 子屬性 鋼線拉絲 and 購買鋼材的軋製和拉伸
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50290-50290
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50289-50289
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50288-50288


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