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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EngineCylinder

Sigma KEE - EngineCylinder
EngineCylinder(engine cylinder)cylinder, 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 Engine cylinder is a subclass of artifact

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64823-64823
No TPTP formula. May not be expressible in strict first order. Cars.kif 344-344 A piston is typically a part of a engine cylinder
No TPTP formula. May not be expressible in strict first order. Cars.kif 345-345 A engine cylinder 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 4531-4538
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