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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpoolValve
SpoolValve(spool valve)

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 959-960
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11889-11889
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10272-10272
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11888-11888
No TPTP formula. May not be expressible in strict first order. engineering.kif 961-961 Spool valve is a subclass of directional control valve

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54692-54692
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54691-54691
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54690-54690


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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