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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FiberYarnAndThreadMills

Sigma KEE - FiberYarnAndThreadMills
FiberYarnAndThreadMills(fiber yarn and thread mills)

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 Fiber yarn and thread mills is a subattribute of textile mills

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1981-1981 Thread mills is a subattribute of fiber yarn and thread mills
No TPTP formula. May not be expressible in strict first order. naics.kif 1968-1968 Yarn spinning mills is a subattribute of fiber yarn and thread mills
No TPTP formula. May not be expressible in strict first order. naics.kif 1974-1974 Yarn texturizing throwing and twisting mills is a subattribute of fiber yarn and thread mills
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