| ! [V__AGENT : $i,V__FORM : $i,V__LEARN : $i] : (((s__instance(V__LEARN, s__Learning) & s__agent(V__LEARN, V__AGENT) & s__containsFormula(V__LEARN, V__FORM)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__LEARN)), ~(s__knows(V__AGENT, V__FORM))) & s__holdsDuring(s__EndFn(s__WhenFn(V__LEARN)), s__knows(V__AGENT, V__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 |
| ! [V__A : $i,V__DISCOVER : $i,V__DISCOVERING : $i,V__OBJ : $i,V__PLACE : $i] : (((s__instance(V__DISCOVER, s__Discovering) & s__agent(V__DISCOVER, V__A) & s__patient(V__DISCOVER, V__OBJ) & s__holdsDuring(s__WhenFn(V__DISCOVER), s__located(V__OBJ, V__PLACE))) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__DISCOVERING)), s__knows(V__A, s__located(V__OBJ, V__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 |
| ! [V__AGENT : $i,V__MEAS : $i,V__OBJ : $i] : (((s__instance(V__MEAS, s__Measuring) & s__agent(V__MEAS, V__AGENT) & s__patient(V__MEAS, V__OBJ)) => ( ? [V__QUANT:$real, V__UNIT:$i] : (s__holdsDuring(s__EndFn(s__WhenFn(V__MEAS)), s__knows(V__AGENT, s__measure(V__OBJ, s__MeasureFn(V__QUANT, V__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 |
| ! [V__AGENT : $i,V__COUNT : $i,V__ENTITY : $i] : (((s__instance(V__COUNT, s__Counting) & s__agent(V__COUNT, V__AGENT) & s__patient(V__COUNT, V__ENTITY)) => ( ? [V__NUMBER:$int] : (s__knows(V__AGENT, s__CardinalityFn(V__ENTITY) = V__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 |
| ! [V__AGENT : $i,V__PROC : $i] : (((s__instance(V__PROC, s__DiagnosticProcess) & s__agent(V__PROC, V__AGENT)) => ( ? [V__CAUSE:$i] : (s__hasPurposeForAgent(V__PROC, V__AGENT, s__knows(V__AGENT, s__causes(V__CAUSE, V__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 |
| ! [V__S : $i] : ((s__instance(V__S, s__Searching) => ( ? [V__AGENT:$i, V__OBJ:$i, V__LOC:$i] : ((s__instance(V__AGENT, s__CognitiveAgent) & s__agent(V__S, V__AGENT) & s__instance(V__OBJ, s__Physical) & s__patient(V__S, V__OBJ) & s__instance(V__LOC, s__Object) & s__located(V__OBJ, V__LOC) & s__hasPurposeForAgent(V__S, V__AGENT, s__knows(V__AGENT, s__located(V__OBJ, V__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 |
| ! [V__OBJ : $i,V__S : $i] : (((s__instance(V__S, s__Searching) & s__patient(V__S, V__OBJ) & s__instance(V__OBJ, s__Physical)) => ( ? [V__LOC:$i, V__AGENT:$i] : ((s__instance(V__AGENT, s__CognitiveAgent) & s__agent(V__S, V__AGENT) & s__instance(V__LOC, s__Object) & s__located(V__OBJ, V__LOC) & s__hasPurposeForAgent(V__S, V__AGENT, s__knows(V__AGENT, s__located(V__OBJ, V__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 |
| ! [V__AGENT : $i,V__FORMULA : $i,V__QUESTION : $i] : (((s__instance(V__QUESTION, s__Questioning) & s__agent(V__QUESTION, V__AGENT) & s__containsFormula(V__QUESTION, V__FORMULA) & s__instance(V__FORMULA, s__Formula)) => s__holdsDuring(s__WhenFn(V__QUESTION), ~(s__knows(V__AGENT, V__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 |
| ! [V__AGENT : $i,V__OBJ : $i,V__SEE : $i] : (((s__instance(V__SEE, s__Seeing) & s__agent(V__SEE, V__AGENT) & s__patient(V__SEE, V__OBJ)) => ( ? [V__PROP:$i] : ((s__instance(V__PROP, s__ColorAttribute) & s__knows(V__AGENT, s__attribute(V__OBJ, V__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 |
| ! [V__A : $i,V__D : $i,V__P : $i,V__P2 : $i] : (((s__instance(V__P, s__Punishing) & s__agent(V__P, V__A) & s__causes(V__P, V__P2) & s__destination(V__P, V__D)) => s__knows(V__A, ~(s__wants(V__D, V__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 |
| ! [V__A : $i,V__KL : $i] : (((s__instance(V__KL, s__KnockLight) & s__instance(V__A, s__Human) & s__attribute(V__A, s__Deaf) & s__uses(V__KL, V__A)) => s__hasPurpose(V__KL, ( ? [V__KNOCK:$i, V__DOOR:$i] : ((s__instance(V__KNOCK, s__Impacting) & s__patient(V__KNOCK, V__DOOR) & s__instance(V__DOOR, s__Door) & s__knows(V__A, (s__instance(V__KNOCK, s__Impacting) & s__patient(V__KNOCK, V__DOOR) & s__instance(V__DOOR, s__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 |
| ! [V__LOC : $i,V__X : $i] : (((s__instance(V__X, s__FireAlarm) & s__attribute(V__X, s__DeviceOn) & s__located(V__X, V__LOC)) => ( ? [V__RS:$i] : ((s__instance(V__RS, s__RadiatingSound) & s__instrument(V__RS, V__X) & s__hasPurpose(V__RS, ( ? [V__GRP:$i] : ((s__instance(V__GRP, s__GroupOfPeople) & s__located(V__GRP, V__LOC) & s__knows(V__GRP, ( ? [V__FIRE:$i] : ((s__instance(V__FIRE, s__Fire) & s__eventLocated(V__FIRE, V__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 |
| ! [V__CAR : $i,V__X : $i] : (((s__instance(V__X, s__CarAlarm) & s__instance(V__CAR, s__SelfPoweredRoadVehicle) & s__part(V__X, V__CAR)) => ( ? [V__HARM:$i, V__THIEF:$i, V__T:$i, V__L:$i] : (s__hasPurpose(V__X, (((s__instance(V__HARM, s__Stealing) | s__instance(V__HARM, s__Damaging)) & s__instance(V__THIEF, s__Human) & s__agent(V__HARM, V__THIEF) & s__patient(V__HARM, V__CAR) & s__WhenFn(V__HARM) = V__T & s__eventPartlyLocated(V__HARM, V__L)) => ( ? [V__ALARM:$i, V__WITNESS:$i] : ((s__instance(V__ALARM, s__RadiatingSound) & s__agent(V__ALARM, V__X) & s__causes(V__HARM, V__ALARM) & s__hasPurpose(V__ALARM, s__increasesLikelihood((s__instance(V__WITNESS, s__Human) & s__holdsDuring(V__T, s__orientation(V__WITNESS, V__L, s__Near))), (s__knows(V__WITNESS, ( ? [V__H:$i] : (((s__instance(V__H, s__Stealing) | s__instance(V__H, s__Damaging)) & s__eventPartlyLocated(V__H, V__L) & s__holdsDuring(V__T, s__patient(V__H, V__CAR)))))) | s__finishes(s__WhenFn(V__ALARM), s__WhenFn(V__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 |
| ! [V__P : $i] : ((s__instance(V__P, s__Phishing) => ( ? [V__FS:$i, V__V:$i, V__M:$i, V__I:$i] : ((s__instance(V__M, s__Communication) & s__origin(V__M, V__FS) & s__agent(V__P, V__FS) & s__destination(V__M, V__V) & s__instance(V__I, s__Formula) & s__knows(V__V, V__I) & ~(s__desires(V__V, s__knows(V__FS, V__I))) & s__desires(V__FS, s__knows(V__FS, V__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 |
| ! [V__FMIP : $i] : ((s__instance(V__FMIP, s__FindMyIPhone) => s__hasPurpose(V__FMIP, ( ? [V__A:$i, V__IP:$i, V__P:$i, V__L:$i] : ((s__instance(V__IP, s__AppleIPhone) & s__instrument(V__P, V__FMIP) & s__agent(V__P, V__A) & s__patient(V__P, V__IP) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__P)), ~(s__knows(V__A, s__located(V__IP, V__L)))) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__P)), s__knows(V__A, s__located(V__IP, V__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 |
| ! [V__AGENT : $i,V__FORMULA : $i,V__NOTIFY : $i] : (((s__instance(V__NOTIFY, s__Notifying) & s__instance(V__AGENT, s__CognitiveAgent) & s__containsFormula(V__NOTIFY, V__FORMULA) & s__destination(V__NOTIFY, V__AGENT)) => ~(s__holdsDuring(s__BeginFn(s__WhenFn(V__NOTIFY)), s__knows(V__AGENT, V__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 |
| ! [V__A1 : $i,V__A2 : $i,V__P : $i] : ((s__trusts(V__A1, V__A2, s__KappaFn(V__P, s__capability(V__P, s__agent, V__A2))) => s__knows(V__A1, s__capability(V__P, s__agent, V__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 |
| ! [V__A : $i,V__L : $i,V__MB : $i,V__P : $i,V__T : $i] : (((s__instance(V__MB, s__MeasuringBreathing) & s__agent(V__MB, V__A) & s__instance(V__L, s__Lung) & s__part(V__L, V__P) & s__instance(V__T, s__TimeInterval) & s__during(V__T, s__WhenFn(V__MB)) & s__duration(V__T, s__MinuteDuration) & s__patient(V__MB, V__P)) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__MB)), ( ? [V__BR:$int] : (s__knows(V__A, s__breathingRate(V__L, V__T, V__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 |
| ! [V__A : $i,V__M : $i,V__P : $i,V__PO : $i] : (((s__instance(V__M, s__Measuring) & s__instrument(V__M, V__PO) & s__agent(V__M, V__A) & s__patient(V__M, V__P) & s__instance(V__PO, s__PulseOximeter)) => ( ? [V__N:$real] : (s__knows(V__A, s__oxygenSaturation(V__P, V__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 |
| ! [V__R : $i,V__RNA : $i] : ((s__instance(V__R, s__RTPCRTest) => s__hasPurpose(V__R, ( ? [V__M:$i, V__A:$i, V__T:$i, V__MEAS:$i] : ((s__instance(V__M, s__Measuring) & s__patient(V__M, V__RNA) & s__instance(V__RNA, s__RNAMolecule) & s__holdsDuring(V__T, s__measure(V__RNA, V__MEAS)) & s__knows(V__A, s__holdsDuring(V__T, s__measure(V__RNA, V__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 |
| ! [V__A : $i,V__CA : $i,V__H : $i,V__M : $i] : (((s__instance(V__A, s__AntibodyCOVIDTest) & s__instrument(V__M, V__A) & s__instance(V__M, s__Measuring) & s__patient(V__M, V__H) & s__instance(V__CA, s__COVIDAntibody) & s__part(V__CA, V__H)) => s__modalAttribute(s__knows(V__H, s__part(V__CA, V__H)), s__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 |
| ! [V__C : $i] : ((s__instance(V__C, s__CommunitySpread) => ~(( ? [V__H:$i] : (s__knows(V__H, ( ? [V__N:$i] : ((s__origin(V__C, V__H) & s__names(V__N, V__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 |
| ! [V__D : $i,V__E : $i,V__H : $i] : (((s__instance(V__E, s__Electrocardiography) & s__patient(V__E, V__H) & s__agent(V__E, V__D) & s__attribute(V__D, s__MedicalDoctor)) => s__hasPurpose(V__E, s__knows(V__D, ( ? [V__T] : (s__attribute(V__H, s__ImpairedBodyPartFn(s__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 |
| ! [V__A : $i,V__G : $i,V__H : $i,V__R : $i] : (((s__instance(V__G, s__Gaslighting) & s__agent(V__G, V__A) & s__suffers(V__G, V__H)) => ( ? [V__P:$i] : ((s__instance(V__P, s__Perception) & s__experiencer(V__P, V__H) & s__causesProposition(s__suffers(V__G, V__H), ~(s__knows(V__H, s__result(V__P, V__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 |
| ! [V__B : $i,V__G : $i,V__H : $i] : (((s__instance(V__G, s__GramStaining) & s__agent(V__G, V__H) & s__patient(V__G, V__B)) => s__hasPurpose(V__G, s__knows(V__H, ( ? [V__S:$i] : ((s__instance(V__S, s__GramStainAttribute) & s__attribute(V__B, V__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 |
