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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SpoolValve

 Sigma KEE - SpoolValve
SpoolValve(滑阀)

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 滑阀 是 方向控制阀 的 subclass

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 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