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 纤维纱线和螺纹铣刀纺织厂subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1981-1981 螺纹铣刀纤维纱线和螺纹铣刀subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1968-1968 纱线纺纱厂纤维纱线和螺纹铣刀subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 1974-1974 纱线纹理化投掷和扭曲工厂纤维纱线和螺纹铣刀subAttribute
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