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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1725-1727
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 1724-1724 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 1779-1779 Electric motor is a subclass of engine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1760-1760 Internal combustion engine is a subclass of engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 4336-4336 Outboard motor is a subclass of engine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1748-1748 Steam engine is a subclass of engine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1752-1752 Turbine is a subclass of engine
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22078-22078
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22077-22077
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22076-22076

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 compression ratio is an instance of engine
No TPTP formula. May not be expressible in strict first order. Cars.kif 4525-4525 The number 1 argument of engine cylinders 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 max cylinder volume 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 min cylinder volume 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 piston stroke 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 4588-4604
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 4694-4705
No TPTP formula. May not be expressible in strict first order. Cars.kif 4611-4643
No TPTP formula. May not be expressible in strict first order. Cars.kif 4485-4491
No TPTP formula. May not be expressible in strict first order. Cars.kif 3755-3769


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