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 FiberYarnAndThreadMills e' um sub-atributo de TextileMills

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1981-1981 ThreadMills e' um sub-atributo de FiberYarnAndThreadMills
No TPTP formula. May not be expressible in strict first order. naics.kif 1968-1968 YarnSpinningMills e' um sub-atributo de FiberYarnAndThreadMills
No TPTP formula. May not be expressible in strict first order. naics.kif 1974-1974 YarnTexturizingThrowingAndTwistingMills e' um sub-atributo de FiberYarnAndThreadMills
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