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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FluidPowerDevice
FluidPowerDevice(fluid power device)

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 732-733
No TPTP formula. May not be expressible in strict first order. engineering.kif 734-734
No TPTP formula. May not be expressible in strict first order. engineering.kif 735-735 Fluid power device is a subclass of engineering component

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 931-931 Faucet is a subclass of fluid power device
No TPTP formula. May not be expressible in strict first order. engineering.kif 905-905 Fluid cylinder is a subclass of fluid power device
No TPTP formula. May not be expressible in strict first order. engineering.kif 911-911 Valve is a subclass of fluid power device
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24393-24393
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24392-24392
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24391-24391


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