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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ThreadMills

 Sigma KEE - ThreadMills
ThreadMills
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1983-1985
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10290-10290
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11986-11986
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11987-11987
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11982-11982
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11983-11983
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11984-11984
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11985-11985
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11989-11989
No TPTP formula. May not be expressible in strict first order. naics.kif 1981-1981 ThreadMills e' um sub-atributo de FiberYarnAndThreadMills

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57890-57890
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57889-57889
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57888-57888


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