Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Generator
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Generator Machine) | Cars.kif 1128-1128 | Generator is a subclass of machine |
| (documentation Generator EnglishLanguage "Any Machine that generates Electricity.") | Cars.kif 1130-1130 | Generator is a subclass of machine |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Generator "generator") | Cars.kif 1129-1129 | |
| (subclass Alternator Generator) | Cars.kif 1142-1142 | Alternator is a subclass of generator |
| antecedent |
|
|
| (=> (instance ?G Generator) (hasPurpose ?G (exists (?P ?E) (and (instance ?P Process) (instance ?E Electricity) (result ?P ?E) (instrument ?P ?G))))) |
Cars.kif 1132-1140 | If X is an instance of generator, then X has the purpose there exist Y, Z such that Y is an instance of process, Z is an instance of electricity, Z is a result of Y, and X is an instrument for Y |
|