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 23601-23602
(externalImage GasolineEngine "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Colorized_car_engine.jpg") pictureList.kif 4968-4968
(externalImage GasolineEngine "http://upload.wikimedia.org/wikipedia/commons/ d/ d0/ 1993_bmw_325is_engine.jpg") pictureList.kif 4872-4872
(subclass GasolineEngine InternalCombustionEngine) Mid-level-ontology.kif 23600-23600

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


(termFormat ChineseLanguage GasolineEngine "汽油发动机") domainEnglishFormat.kif 25550-25550
(termFormat ChineseTraditionalLanguage GasolineEngine "汽油發動機") domainEnglishFormat.kif 25549-25549
(termFormat EnglishLanguage GasolineEngine "gasoline engine") domainEnglishFormat.kif 25548-25548

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


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


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