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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Engine

Sigma KEE - Engine
Engine(engine)
automobile_engine, external-combustion_engine

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1678-1680
No TPTP formula. May not be expressible in strict first order. pictureList.kif 86-86
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1677-1677 Engine is a subclass of transducer

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1734-1734 Electric motor is a subclass of engine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1715-1715 Internal combustion engine is a subclass of engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 4339-4339 Outboard motor is a subclass of engine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1703-1703 Steam engine is a subclass of engine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1707-1707 Turbine is a subclass of engine
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22071-22071
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22070-22070
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22069-22069

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1920-1920 The number 1 argument of compressionRatio is an instance of engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 4528-4528 The number 1 argument of engineCylinders is an instance of engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 1890-1890 The number 1 argument of maxCylinderVolume is an instance of engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 1859-1859 The number 1 argument of minCylinderVolume is an instance of engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 1936-1936 The number 1 argument of pistonStroke is an instance of engine

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1660-1668
No TPTP formula. May not be expressible in strict first order. Cars.kif 1838-1856
No TPTP formula. May not be expressible in strict first order. Cars.kif 1817-1836
No TPTP formula. May not be expressible in strict first order. Cars.kif 1717-1733
No TPTP formula. May not be expressible in strict first order. Cars.kif 2142-2154
No TPTP formula. May not be expressible in strict first order. Cars.kif 2930-2948
No TPTP formula. May not be expressible in strict first order. Cars.kif 328-333

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 973-983
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 2274-2286
No TPTP formula. May not be expressible in strict first order. Cars.kif 2519-2532
No TPTP formula. May not be expressible in strict first order. Cars.kif 4591-4607
No TPTP formula. May not be expressible in strict first order. Cars.kif 2540-2555
No TPTP formula. May not be expressible in strict first order. Cars.kif 1000-1011
No TPTP formula. May not be expressible in strict first order. Cars.kif 4697-4708
No TPTP formula. May not be expressible in strict first order. Cars.kif 4614-4646
No TPTP formula. May not be expressible in strict first order. Cars.kif 4488-4494
No TPTP formula. May not be expressible in strict first order. Cars.kif 3758-3772


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