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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GasolineEngine
GasolineEngine

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


(documentation GasolineEngine EnglishLanguage "GasolineEngine is the subclass of InternalCombustionEngines that use Gasoline as their resource.") Mid-level-ontology.kif 21527-21528
(externalImage GasolineEngine "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Colorized_car_engine.jpg") pictureList.kif 4969-4969
(externalImage GasolineEngine "http://upload.wikimedia.org/wikipedia/commons/ d/ d0/ 1993_bmw_325is_engine.jpg") pictureList.kif 4873-4873
(subclass GasolineEngine InternalCombustionEngine) Mid-level-ontology.kif 21526-21526

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


(termFormat ChineseLanguage GasolineEngine "汽油发动机") domainEnglishFormat.kif 25477-25477
(termFormat ChineseTraditionalLanguage GasolineEngine "汽油發動機") domainEnglishFormat.kif 25476-25476
(termFormat EnglishLanguage GasolineEngine "gasoline engine") domainEnglishFormat.kif 25475-25475

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


(=>
    (instance ?R
        (OperatingFn GasolineEngine))
    (exists (?F)
        (and
            (instance ?F Gasoline)
            (resource ?R ?F))))
Mid-level-ontology.kif 21529-21534


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