(=>
(and
(instance ?LEARN Learning)
(agent ?LEARN ?AGENT)
(containsFormula ?LEARN ?FORM))
(and
(holdsDuring
(BeginFn
(WhenFn ?LEARN))
(not
(knows ?AGENT ?FORM)))
(holdsDuring
(EndFn
(WhenFn ?LEARN))
(knows ?AGENT ?FORM)))) |
Merge.kif 12225-12239 |
If X is an instance of learning, Y is an agent of X, and X contains the formula Z, then Y doesn't know Z holds during the beginning of the time of existence of X and Y knows Z holds during the end of the time of existence of X |
(=>
(and
(instance ?DISCOVER Discovering)
(agent ?DISCOVER ?A)
(patient ?DISCOVER ?OBJ)
(holdsDuring
(WhenFn ?DISCOVER)
(located ?OBJ ?PLACE)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?DISCOVERING))
(knows ?A
(located ?OBJ ?PLACE)))) |
Merge.kif 12256-12268 |
If X is an instance of discovering, Y is an agent of X, Z is a patient of X, and Z is located at W holds during the time of existence of X, then Y knows Z is located at W holds during immediately after the time of existence of V |
(=>
(and
(instance ?MEAS Measuring)
(agent ?MEAS ?AGENT)
(patient ?MEAS ?OBJ))
(exists (?QUANT ?UNIT)
(holdsDuring
(EndFn
(WhenFn ?MEAS))
(knows ?AGENT
(measure ?OBJ
(MeasureFn ?QUANT ?UNIT)))))) |
Merge.kif 12408-12415 |
If X is an instance of measuring, Y is an agent of X, and Z is a patient of X, then there exist W and V such that Y knows the measure of Z is W V(s) holds during the end of the time of existence of X |
(=>
(and
(instance ?COUNT Counting)
(agent ?COUNT ?AGENT)
(patient ?COUNT ?ENTITY))
(exists (?NUMBER)
(knows ?AGENT
(equal
(CardinalityFn ?ENTITY) ?NUMBER)))) |
Merge.kif 12422-12428 |
If X is an instance of counting, Y is an agent of X, and Z is a patient of X, then there exists W such that Y knows equal the number of instances in Z and W |
(=>
(and
(instance ?PROC DiagnosticProcess)
(agent ?PROC ?AGENT))
(exists (?CAUSE)
(hasPurposeForAgent ?PROC ?AGENT
(knows ?AGENT
(causes ?CAUSE ?PROC))))) |
Merge.kif 13256-13261 |
If X is an instance of diagnostic process and Y is an agent of X, then there exists Z such that X has the purpose Y for Y knows Z causes X |
(=>
(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 ?AGENT
(knows ?AGENT
(located ?OBJ ?LOC)))))) |
Merge.kif 13268-13280 |
If X is an instance of searching, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of cognitive agent (3) Y is an agent of X (4) Z is an instance of physical (5) Z is a patient of X (6) W is an instance of object (7) Z is located at W (8) X has the purpose Y for Y knows Z is located at W |
(=>
(and
(instance ?S Searching)
(patient ?S ?OBJ)
(instance ?OBJ Physical))
(exists (?LOC ?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?S ?AGENT)
(instance ?LOC Object)
(located ?OBJ ?LOC)
(hasPurposeForAgent ?S ?AGENT
(knows ?AGENT
(located ?OBJ ?LOC)))))) |
Merge.kif 13282-13295 |
If X is an instance of searching, Y is a patient of X, and Y is an instance of physical, then there exist Z, W such that W is an instance of cognitive agent, W is an agent of X, Z is an instance of object, Y is located at Z, and X has the purpose W for W knows Y is located at Z |
(=>
(and
(instance ?QUESTION Questioning)
(agent ?QUESTION ?AGENT)
(containsFormula ?QUESTION ?FORMULA)
(instance ?FORMULA Formula))
(holdsDuring
(WhenFn ?QUESTION)
(not
(knows ?AGENT ?FORMULA)))) |
Merge.kif 13513-13522 |
If X is an instance of questioning, Y is an agent of X, X contains the formula Z, and Z is an instance of formula, then Y doesn't know Z holds during the time of existence of X |
(=>
(and
(instance ?SEE Seeing)
(agent ?SEE ?AGENT)
(patient ?SEE ?OBJ))
(exists (?PROP)
(and
(instance ?PROP ColorAttribute)
(knows ?AGENT
(attribute ?OBJ ?PROP))))) |
Merge.kif 13835-13843 |
If X is an instance of seeing, Y is an agent of X, and Z is a patient of X, then there exists W such that W is an instance of color attribute and Y knows W is an attribute of Z |
(=>
(and
(instance ?P Punishing)
(agent ?P ?A)
(causes ?P ?P2)
(destination ?P ?D))
(knows ?A
(not
(wants ?D ?P2)))) |
Mid-level-ontology.kif 862-870 |
If X is an instance of punishing, Y is an agent of X, X causes Z, and X ends up at W, then Y knows W doesn't want Z |
(=>
(and
(instance ?KL KnockLight)
(instance ?A Human)
(attribute ?A Deaf)
(uses ?KL ?A))
(hasPurpose ?KL
(exists (?KNOCK ?DOOR)
(and
(instance ?KNOCK Impacting)
(patient ?KNOCK ?DOOR)
(instance ?DOOR Door)
(knows ?A
(and
(instance ?KNOCK Impacting)
(patient ?KNOCK ?DOOR)
(instance ?DOOR Door))))))) |
Mid-level-ontology.kif 28408-28424 |
If X is an instance of knock light, Y is an instance of human, deafness is an attribute of Y, and Y uses X, then All of the following hold: (1) X has the purpose there exist Z (2) W such that Z is an instance of impacting (3) W is a patient of Z (4) W is an instance of door (5) Y knows Z is an instance of impacting (6) W is a patient of Z (7) W is an instance of door |
(=>
(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 29055-29073 |
If X is an instance of fire alarm, device on is an attribute of X, and X is located at Y, then there exists Z such that Z is an instance of radiating sound, X is an instrument for Z, Z has the purpose there exists W such that W is an instance of group of people, W is located at Y, W knows there exists V such that V is an instance of fire, and V is located at Y |
(=>
(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 |
(=>
(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 4141-4155 |
If X is an instance of phishing, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that W is an instance of communication (3) W originates at Y (4) Y is an agent of X (5) W ends up at Z (6) V is an instance of formula (7) Z knows V (8) Z doesn't desire Y doesn't know V (9) Y desires Y knows V |
(=>
(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 4169-4188 |
If X is an instance of FMIP, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Z is an instance of iPhone (3) X is an instrument for W (4) Y is an agent of W (5) Z is a patient of W (6) Y doesn't know Z is not located at V holds during immediately before the time of existence of W (7) Y knows Z is located at V holds during immediately after the time of existence of W |
(=>
(and
(instance ?NOTIFY Notifying)
(instance ?AGENT CognitiveAgent)
(containsFormula ?NOTIFY ?FORMULA)
(destination ?NOTIFY ?AGENT))
(not
(holdsDuring
(BeginFn
(WhenFn ?NOTIFY))
(knows ?AGENT ?FORMULA)))) |
Facebook.kif 620-630 |
If X is an instance of notifying, Y is an instance of cognitive agent, X contains the formula Z, and X ends up at Y, then Y doesn't know Z doesn't hold during the beginning of the time of existence of X |
(=>
(trusts ?A1 ?A2
(KappaFn ?P
(capability ?P agent ?A2)))
(knows ?A1
(capability ?P agent ?A2))) |
Law.kif 365-370 |
If X trusts Y will do the class described by Z, then X knows Y is capable of doing Z as a agent |
(=>
(and
(instance ?MB MeasuringBreathing)
(agent ?MB ?A)
(instance ?L Lung)
(part ?L ?P)
(instance ?T TimeInterval)
(during ?T
(WhenFn ?MB))
(duration ?T MinuteDuration)
(patient ?MB ?P))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?MB))
(exists (?BR)
(knows ?A
(breathingRate ?L ?T ?BR))))) |
Medicine.kif 442-458 |
If All of the following hold: (1) X is an instance of measuring breathing (2) Y is an agent of X (3) Z is an instance of lung (4) Z is a part of W (5) V is an instance of timeframe (6) V takes place during the time of existence of X (7) duration of V is minute duration (8) W is a patient of X, then there exists U such that Y knows Z breathes at a rate of U breaths per V holds during immediately after the time of existence of X |
(=>
(and
(instance ?M Measuring)
(instrument ?M ?PO)
(agent ?M ?A)
(patient ?M ?P)
(instance ?PO PulseOximeter))
(exists (?N)
(knows ?A
(oxygenSaturation ?P ?N)))) |
Medicine.kif 1241-1250 |
If X is an instance of measuring, Y is an instrument for X, Z is an agent of X, W is a patient of X, and Y is an instance of pulse oximeter, then there exists V such that Z knows the oxygen saturation of W is V percent |
(=>
(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 1559-1571 |
If X is an instance of Reverse transcription polymerase chain reaction, then X has the purpose there exist Y, Z,, , W, V such that Y is an instance of measuring, U is a patient of Y, U is an instance of RNA molecule, the measure of U is V holds during W, and Z knows the measure of U is V holds during W |
(=>
(and
(instance ?A AntibodyCOVIDTest)
(instrument ?M ?A)
(instance ?M Measuring)
(patient ?M ?H)
(instance ?CA COVIDAntibody)
(part ?CA ?H))
(modalAttribute
(knows ?H
(part ?CA ?H)) Likely)) |
Medicine.kif 2772-2783 |
If All of the following hold: (1) X is an instance of antigen COVID test (2) X is an instrument for Y (3) Y is an instance of measuring (4) Z is a patient of Y (5) W is an instance of COVID antibody (6) W is a part of Z, then the statement Z knows W is a part of Z has the modal force of likely |
(=>
(instance ?C CommunitySpread)
(not
(exists (?H)
(knows ?H
(exists (?N)
(and
(origin ?C ?H)
(names ?N ?H))))))) |
Medicine.kif 3228-3236 |
If X is an instance of community spread, then there doesn't exist Y such that Y knows there exists Z such that X originates at Y and Y has name Z |
(=>
(and
(instance ?E Electrocardiography)
(patient ?E ?H)
(agent ?E ?D)
(attribute ?D MedicalDoctor))
(hasPurpose ?E
(knows ?D
(exists (?T)
(attribute ?H
(ImpairedBodyPartFn Heart)))))) |
Medicine.kif 3480-3490 |
If X is an instance of electrocardiography, Y is a patient of X, Z is an agent of X, and medical doctor is an attribute of Z, then X has the purpose Z knows there exists W such that impaired body part fn heart is an attribute of Y |
(=>
(and
(instance ?G Gaslighting)
(agent ?G ?A)
(suffers ?G ?H))
(exists (?P)
(and
(instance ?P Perception)
(experiencer ?P ?H)
(causesProposition
(suffers ?G ?H)
(not
(knows ?H
(result ?P ?R))))))) |
Medicine.kif 3696-3709 |
If X is an instance of gaslighting, Y is an agent of X, and Z suffers from X, then there exists W such that W is an instance of perception, Z experiences W, and Z doesn't know V is not a result of W is a causes proposition of Z suffers from X |
(=>
(and
(instance ?G GramStaining)
(agent ?G ?H)
(patient ?G ?B))
(hasPurpose ?G
(knows ?H
(exists (?S)
(and
(instance ?S GramStainAttribute)
(attribute ?B ?S)))))) |
Medicine.kif 5391-5401 |
If X is an instance of Gram stain, Y is an agent of X, and Z is a patient of X, then X has the purpose Y knows there exists W such that W is an instance of Gram stain and W is an attribute of Z |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
knows