Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CarAlarm(car alarm) |
| appearance as argument number 1 |
|
| (subclass CarAlarm SecurityDevice) | Cars.kif 3575-3575 | Car alarm is a subclass of security device |
| (documentation CarAlarm EnglishLanguage "A &SecurityDevice which is a typicalPart of cars and other SelfPoweredRoadVehicle. ") | Cars.kif 3576-3576 | Car alarm is a subclass of security device |
| (typicalPart CarAlarm SelfPoweredRoadVehicle) | Cars.kif 3577-3577 | A car alarm is typically a part of a self powered road vehicle |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CarAlarm "car alarm") | domainEnglishFormat.kif 64594-64594 |
| antecedent |
|
|
| (=> (and (instance ?X CarAlarm) (instance ?CAR SelfPoweredRoadVehicle) (part ?X ?CAR)) (exists (?HARM ?THIEF ?T ?L) (hasPurpose ?X (=> (and (or (instance ?HARM Stealing) (instance ?HARM Damaging)) (instance ?THIEF Human) (agent ?HARM ?THIEF) (patient ?HARM ?CAR) (equal (WhenFn ?HARM) ?T) (eventPartlyLocated ?HARM ?L)) (exists (?ALARM ?WITNESS) (and (instance ?ALARM RadiatingSound) (agent ?ALARM ?X) (causes ?HARM ?ALARM) (hasPurpose ?ALARM (increasesLikelihood (and (instance ?WITNESS Human) (holdsDuring ?T (orientation ?WITNESS ?L Near))) (or (knows ?WITNESS (exists (?H) (and (or (instance ?H Stealing) (instance ?H Damaging)) (eventPartlyLocated ?H ?L) (holdsDuring ?T (patient ?H ?CAR))))) (finishes (WhenFn ?ALARM) (WhenFn ?HARM))))))))))) |
Cars.kif 3578-3618 | If X is an instance of car alarm, Y is an instance of self powered road vehicle, and X is a part of Y, then All of the following hold: (1) there exist Z, W,, , V (2) U such that X has the purpose Z is an instance of stealing or Z is an instance of damaging (3) W is an instance of human (4) W is an agent of Z (5) Y is a patient of Z (6) equal the time of existence of Z (7) V (8) Z is partly located at Uthere exist T (9) S such that T is an instance of radiating sound (10) X is an agent of T (11) Z causes T (12) T has the purpose S is an instance of human (13) S is near to U holds during V increases likelihood of S knows there exists R such that R is an instance of stealing or R is an instance of damaging (14) R is partly located at U (15) Y is a patient of R holds during V or the time of existence of T finishes the time of existence of Z |
|