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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SpoolValve

 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 54690-54690
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54689-54689
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54688-54688


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