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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Generator

Sigma KEE - Generator
Generator(generator)generator, turbogenerator

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


(documentation Generator EnglishLanguage "Any Machine that generates Electricity.") Cars.kif 1192-1192
(subclass Generator Machine) Cars.kif 1190-1190 Generator is a subclass of machine

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


(subclass Alternator Generator) Cars.kif 1204-1204 Alternator is a subclass of generator
(subclass Windmill Generator) Mid-level-ontology.kif 1756-1756 Windmill is a subclass of generator
(termFormat EnglishLanguage Generator "generator") Cars.kif 1191-1191

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


(=>
    (instance ?G Generator)
    (hasPurpose ?G
        (exists (?P ?E)
            (and
                (instance ?P Process)
                (instance ?E Electricity)
                (result ?P ?E)
                (instrument ?P ?G)))))
Cars.kif 1194-1202


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