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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DieselEngine
DieselEngine(diesel engine)
diesel, diesel_engine, diesel_motor

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


(documentation DieselEngine EnglishLanguage "DieselEngine is the subclass of InternalCombustionEngines that use DieselFuel as their resource.") Mid-level-ontology.kif 21589-21590
(externalImage DieselEngine "http://upload.wikimedia.org/wikipedia/commons/ 4/ 42/ Lexus_Diesel_Engine.jpg") pictureList.kif 4871-4871
(externalImage DieselEngine "http://upload.wikimedia.org/wikipedia/commons/ 6/ 63/ R10_Engine.jpg") pictureList.kif 4967-4967
(externalImage DieselEngine "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ Dieselmotor_vs.jpg") pictureList.kif 4654-4654
(externalImage DieselEngine "http://upload.wikimedia.org/wikipedia/commons/ f/ f0/ Detroit_Diesel_bauma_2007.jpg") pictureList.kif 4968-4968
(subclass DieselEngine InternalCombustionEngine) Mid-level-ontology.kif 21588-21588 Diesel engine is a subclass of internal combustion engine

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


(termFormat ChineseLanguage DieselEngine "柴油发动机") domainEnglishFormat.kif 19393-19393
(termFormat ChineseTraditionalLanguage DieselEngine "柴油發動機") domainEnglishFormat.kif 19392-19392
(termFormat EnglishLanguage DieselEngine "diesel engine") domainEnglishFormat.kif 19391-19391

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


(=>
    (instance ?P
        (OperatingFn DieselEngine))
    (exists (?F)
        (and
            (instance ?F DieselFuel)
            (resource ?P ?F))))
Mid-level-ontology.kif 21592-21597


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners