|
|
   Generator
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Generator EnglishLanguage "Any Machine that generates Electricity.") | Cars.kif 1192-1192 | |
| (subclass Generator Machine) | Cars.kif 1190-1190 |
| appearance as argument number 2 |
|
|
| (subclass Alternator Generator) | Cars.kif 1204-1204 | |
| (subclass Windmill Generator) | Mid-level-ontology.kif 1756-1756 | |
| (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 |
|
|
|