Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| RemoteIgnitionControl(remote ignition control) |
| appearance as argument number 1 |
|
| (subclass RemoteIgnitionControl RemoteControl) | Cars.kif 3620-3620 | Remote ignition control is a subclass of remote control |
| (documentation RemoteIgnitionControl EnglishLanguage "A RemoteControl able to start the Engine of a PoweredVehicle using ElectronicSignalling.") | Cars.kif 3621-3621 | Remote ignition control is a subclass of remote control |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RemoteIgnitionControl "remote ignition control") | domainEnglishFormat.kif 65406-65406 |
| antecedent |
|
|
| (=> (instance ?X RemoteIgnitionControl) (hasPurpose ?X (exists (?VEHICLE ?ENGINE ?SIGNAL ?PROC) (and (instance ?VEHICLE PoweredVehicle) (instance ?SIGNAL ElectronicSignalling) (instrument ?SIGNAL ?X) (destination ?SIGNAL ?VEHICLE) (instance ?ENGINE Engine) (component ?ENGINE ?VEHICLE) (instance ?PROC (OperatingFn Engine)) (experiencer ?PROC ?ENGINE) (causes ?SIGNAL ?PROC))))) |
Cars.kif 3622-3636 | If X is an instance of remote ignition control, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of powered vehicle (3) W is an instance of electronic signalling (4) X is an instrument for W (5) W ends up at Y (6) Z is an instance of engine (7) Z is a component of Y (8) V is an instance of the operating of engine (9) Z experiences V (10) W causes V |
|