knows |
(=> (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) (and (instance ?ALARM RadiatingSound) (agent ?ALARM ?X) (causes ?HARM ?ALARM) (hasPurpose ?ALARM (increasesLikelihood (exists (?WITNESS) (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 3718-3759 | |
(=> (and (instance ?X FireAlarm) (attribute ?X DeviceOn) (located ?X ?LOC)) (exists (?RS) (and (instance ?RS RadiatingSound) (instrument ?RS ?X) (hasPurpose ?RS (exists (?GRP) (and (instance ?GRP GroupOfPeople) (located ?GRP ?LOC) (knows ?GRP (exists (?FIRE) (and (instance ?FIRE Fire) (eventLocated ?FIRE ?LOC)))))))))) |
Mid-level-ontology.kif 26445-26463 | |
(=> (attribute ?X Celebrity) (greaterThan (exists (?A) (CardinalityFn (KappaFn ?A (knows ?A (exists (?P) (equal ?P ?X)))))) 1000)) |
Mid-level-ontology.kif 22172-22181 | |
(=> (instance ?C CommunitySpread) (not (exists (?H) (knows ?H (exists (?N) (and (origin ?C ?H) (names ?N ?H))))))) |
Medicine.kif 3218-3226 | |
(=> (instance ?FMIP FindMyIPhone) (hasPurpose ?FMIP (exists (?A ?IP ?P ?L) (and (instance ?IP AppleIPhone) (instrument ?P ?FMIP) (agent ?P ?A) (patient ?P ?IP) (holdsDuring (ImmediatePastFn (WhenFn ?P)) (not (knows ?A (located ?IP ?L)))) (holdsDuring (ImmediateFutureFn (WhenFn ?P)) (knows ?A (located ?IP ?L))))))) |
ComputingBrands.kif 4263-4282 | |
(=> (instance ?P Phishing) (exists (?FS ?V ?M ?I) (and (instance ?M Communication) (origin ?M ?FS) (agent ?P ?FS) (destination ?M ?V) (instance ?I Formula) (knows ?V ?I) (not (desires ?V (knows ?FS ?I))) (desires ?FS (knows ?FS ?I))))) |
ComputingBrands.kif 4235-4249 | |
(=> (instance ?R RTPCRTest) (hasPurpose ?R (exists (?M ?A ?T ?MEAS) (and (instance ?M Measuring) (patient ?M ?RNA) (instance ?RNA RNAMolecule) (holdsDuring ?T (measure ?RNA ?MEAS)) (knows ?A (holdsDuring ?T (measure ?RNA ?MEAS))))))) |
Medicine.kif 1575-1587 | |
(=> (instance ?S Searching) (exists (?AGENT ?OBJ ?LOC) (and (instance ?AGENT CognitiveAgent) (agent ?S ?AGENT) (instance ?OBJ Physical) (patient ?S ?OBJ) (instance ?LOC Object) (located ?OBJ ?LOC) (hasPurposeForAgent ?S (knows ?AGENT (located ?OBJ ?LOC)) ?AGENT)))) |
Merge.kif 12992-13004 | |
(=> (instance ?TA_CTRL TerminalAttackControl) (hasPurpose ?TA_CTRL (exists (?AGENT ?ATTACK ?LOCATION ?TARGET) (and (targetInAttack ?ATTACK ?TARGET) (patient ?TA_CTRL ?TARGET) (agent ?TA_CTRL ?AGENT) (result ?TA_CTRL (knows ?AGENT (located ?TARGET ?LOCATION))))))) |
MilitaryProcesses.kif 468-478 | |
(=> (instance ?TA_CTRL TerminalGuidance) (hasPurpose ?TA_CTRL (exists (?AGENT ?ATTACK ?LOCATION ?TARGET) (and (targetInAttack ?ATTACK ?TARGET) (patient ?TA_CTRL ?TARGET) (agent ?TA_CTRL ?AGENT) (result ?TA_CTRL (knows ?AGENT (located ?TARGET ?LOCATION))))))) |
MilitaryProcesses.kif 521-531 | |
(=> (member ?AGNOSTIC Agnosticism) (not (knows ?AGNOSTIC (not (exists (?GOD) (equal ?GOD God)))))) |
People.kif 691-697 | |
(=> (trusts ?A1 ?A2 (capability ?P agent ?A2)) (knows ?A1 (capability ?P agent ?A2))) |
Law.kif 384-388 | |
(=> (visitorParameter ?VISITOR ?FORMULA ?SITE) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (possesses ?AGENT ?SITE) (knows ?AGENT ?FORMULA)))) |
UXExperimentalTerms.kif 1179-1185 |