Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  hasPurposeForAgent
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ElectronicSignalling ElectricalSignalling) | Mid-level-ontology.kif 3246-3246 | Electronic signalling is a subclass of electrical signalling |
| (documentation ElectronicSignalling EnglishLanguage "ElectronicSignalling is the subclass of ElectricalSignalling that involve a signal generated through electronic means.") | Mid-level-ontology.kif 3247-3249 | Electronic signalling is a subclass of electrical signalling |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?S ElectronicSignalling) (exists (?D) (and (instance ?D ElectricDevice) (instrument ?S ?D)))) |
Mid-level-ontology.kif 3251-3256 | If X is an instance of electronic signalling, then there exists Y such that Y is an instance of electric device and Y is an instrument for X |
| consequent |
|
|
| (=> (instance ?LOCK ElectronicLock) (hasPurpose ?LOCK (exists (?ES ?PROC) (and (instance ?ES ElectronicSignalling) (destination ?ES ?LOCK) (instance ?PROC Opening) (instrument ?PROC ?LOCK) (before (BeginFn (WhenFn ?ES)) (BeginFn (WhenFn ?PROC))))))) |
Mid-level-ontology.kif 28355-28366 | If X is an instance of electronic lock, then X has the purpose there exist Y, Z such that Y is an instance of electronic signalling, Y ends up at X, Z is an instance of opening, X is an instrument for Z, and the beginning of the time of existence of Y happens before the beginning of the time of existence of Z |
| (=> (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 |
| (=> (instance ?X TVRemoteControl) (hasPurpose ?X (exists (?SIGNAL ?DEVICE) (and (instance ?SIGNAL ElectronicSignalling) (agent ?SIGNAL ?X) (destination ?SIGNAL ?DEVICE) (instance ?DEVICE TelevisionReceiver))))) |
Communications.kif 471-479 | If X is an instance of tv remote, then X has the purpose there exist Y, Z such that Y is an instance of electronic signalling, X is an agent of Y, Y ends up at Z, and Z is an instance of TV |
| (=> (instance ?X RemoteControl) (hasPurpose ?X (exists (?SIGNAL ?DEVICE) (and (instance ?SIGNAL ElectronicSignalling) (agent ?SIGNAL ?X) (destination ?SIGNAL ?DEVICE) (instance ?DEVICE Device) (not (part ?X ?DEVICE)))))) |
engineering.kif 1545-1555 | If X is an instance of remote control, then X has the purpose there exist Y, Z such that Y is an instance of electronic signalling, X is an agent of Y, Y ends up at Z, Z is an instance of device, and X is not a part of Z |
|