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
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1192-1192
No TPTP formula. May not be expressible in strict first order. Cars.kif 1190-1190 Generator is a subclass of machine

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1204-1204 Alternator is a subclass of generator
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1719-1719 Windmill is a subclass of generator
No TPTP formula. May not be expressible in strict first order. Cars.kif 1191-1191

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


No TPTP formula. May not be expressible in strict first order. 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