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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FiberYarnAndThreadMills

Sigma KEE - FiberYarnAndThreadMills
FiberYarnAndThreadMills(纖維紗線和螺紋銑刀)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1964-1966
No TPTP formula. May not be expressible in strict first order. naics.kif 1962-1962 子屬性 纖維紗線和螺紋銑刀 and 紡織廠

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1981-1981 子屬性 螺紋銑刀 and 纖維紗線和螺紋銑刀
No TPTP formula. May not be expressible in strict first order. naics.kif 1968-1968 子屬性 紗線紡紗廠 and 纖維紗線和螺紋銑刀
No TPTP formula. May not be expressible in strict first order. naics.kif 1974-1974 子屬性 紗線紋理化投擲和扭曲工廠 and 纖維紗線和螺紋銑刀
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23606-23606
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23605-23605
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23604-23604


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