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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EngineCylinder

Sigma KEE - EngineCylinder
EngineCylindercylinder, piston_chamber

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 308-309
No TPTP formula. May not be expressible in strict first order. Cars.kif 307-307 EngineCylinder is a subclass of artifact

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 344-344 A piston is typically a part of a EngineCylinder
No TPTP formula. May not be expressible in strict first order. Cars.kif 345-345 A EngineCylinder typically has a part piston

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 509-521
No TPTP formula. May not be expressible in strict first order. Cars.kif 463-475
No TPTP formula. May not be expressible in strict first order. Cars.kif 1314-1348
No TPTP formula. May not be expressible in strict first order. Cars.kif 207-217
No TPTP formula. May not be expressible in strict first order. Cars.kif 191-200
No TPTP formula. May not be expressible in strict first order. Cars.kif 225-238
No TPTP formula. May not be expressible in strict first order. Cars.kif 171-184
No TPTP formula. May not be expressible in strict first order. Cars.kif 1070-1090
No TPTP formula. May not be expressible in strict first order. Cars.kif 523-536
No TPTP formula. May not be expressible in strict first order. Cars.kif 317-322

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1051-1068
No TPTP formula. May not be expressible in strict first order. Cars.kif 4534-4541
No TPTP formula. May not be expressible in strict first order. Cars.kif 1354-1362
No TPTP formula. May not be expressible in strict first order. Cars.kif 2629-2645
No TPTP formula. May not be expressible in strict first order. Cars.kif 107-112


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