(=>
(and
(instance ?PROC BiologicalProcess)
(experiencer ?PROC ?ORG))
(instance ?ORG Organism)) |
Merge.kif 10369-10373 |
If X is an instance of biological process and Y experiences X, then Y is an instance of organism |
(=>
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?AGENT))
(exists (?DEATH)
(and
(instance ?DEATH Death)
(experiencer ?DEATH ?AGENT)))) |
Merge.kif 10425-10432 |
If X is an instance of birth and Y experiences X, then there exists Z such that Z is an instance of death and Y experiences Z |
(=>
(and
(instance ?DEATH Death)
(instance ?ORG Organism)
(experiencer ?DEATH ?ORG))
(exists (?REM ?OBJ)
(and
(result ?DEATH ?REM)
(instance ?REM OrganicObject)
(holdsDuring
(FutureFn
(WhenFn ?DEATH))
(attribute ?REM Dead))
(=>
(holdsDuring
(ImmediateFutureFn
(WhenFn ?DEATH))
(part ?OBJ ?REM))
(holdsDuring
(ImmediatePastFn
(WhenFn ?DEATH))
(part ?OBJ ?ORG)))))) |
Merge.kif 10450-10469 |
If X is an instance of death, Y is an instance of organism, and Y experiences X, then there exist Z and W such that Z is a result of X and Z is an instance of organic object and dead is an attribute of Z holds during after the time of existence of X and W is a part of Z holds during immediately after the time of existence of XW is a part of Y holds during immediately before the time of existence of X |
(=>
(and
(instance ?PATH PathologicProcess)
(experiencer ?PATH ?ORG))
(exists (?PART ?DISEASE)
(and
(part ?PART ?ORG)
(instance ?DISEASE DiseaseOrSyndrome)
(attribute ?PART ?DISEASE)))) |
Merge.kif 10641-10649 |
If X is an instance of pathologic process and Y experiences X, then there exist Z, W such that Z is a part of Y, W is an instance of disease or syndrome, and W is an attribute of Z |
(=>
(and
(instance ?T1 Translocation)
(instance ?T2 Translocation)
(origin ?T1 ?O1)
(origin ?T2 ?D1)
(destination ?T1 ?D1)
(destination ?T2 ?D2)
(experiencer ?T1 ?P)
(experiencer ?T2 ?P))
(exists (?T)
(and
(instance ?T Translocation)
(origin ?T ?O1)
(destination ?T ?D2)
(subProcess ?T1 ?T)
(subProcess ?T2 ?T)
(experiencer ?T ?P)
(starts
(WhenFn ?T1)
(WhenFn ?T))
(finishes
(WhenFn ?T2)
(WhenFn ?T))))) |
Merge.kif 11586-11609 |
If All of the following hold: (1) X is an instance of translocation (2) Y is an instance of translocation (3) X originates at Z (4) Y originates at W (5) X ends up at W (6) Y ends up at V (7) U experiences X (8) U experiences Y, then All of the following hold: (1) there exists T such that T is an instance of translocation (2) T originates at Z (3) T ends up at V (4) X is a subprocess of T (5) Y is a subprocess of T (6) U experiences T (7) the time of existence of X starts the time of existence of T (8) the time of existence of Y finishes the time of existence of T |
(=>
(and
(instance ?SI
(SenseImpairmentFn ?S))
(experiencer ?SI ?A))
(exists (?A2)
(and
(not
(equal ?A2 ?A))
(capability ?S experiencer ?A2)
(not
(capability ?S experiencer ?A))))) |
Merge.kif 13804-13814 |
If X is an instance of impairment in Y and Z experiences X, then there exists W such that equal W, Z, W is capable of doing Y as a experiencer, and Z is not capable of doing Y as a experiencer |
(=>
(and
(instance ?SI
(SenseImpairmentFn ?S))
(experiencer ?SI ?A))
(not
(capability ?S experiencer ?A))) |
Merge.kif 13824-13829 |
If X is an instance of impairment in Y and Z experiences X, then Z is not capable of doing Y as a experiencer |
(=>
(and
(holdsDuring ?TIME
(attribute ?ORG Larval))
(instance ?BIRTH Birth)
(equal ?BW
(WhenFn ?BIRTH))
(experiencer ?BIRTH ?ORG))
(meetsTemporally ?BW ?TIME)) |
Merge.kif 18522-18528 |
If larval is an attribute of X holds during Y, Z is an instance of birth, equal W and the time of existence of Z, and X experiences Z, then W meets Y |
(=>
(and
(holdsDuring ?TIME
(attribute ?ORG Embryonic))
(instance ?BIRTH Birth)
(equal ?BW
(WhenFn ?BIRTH))
(experiencer ?BIRTH ?ORG))
(not
(overlapsTemporally ?TIME ?BW))) |
Merge.kif 18544-18550 |
If embryonic is an attribute of X holds during Y, Z is an instance of birth, equal W and the time of existence of Z, and X experiences Z, then W doesn't overlap Y |
(=>
(and
(instance ?REM OrganicObject)
(instance ?DEATH Death)
(instance ?ORG Organism)
(experiencer ?DEATH ?ORG)
(result ?DEATH ?REM))
(instance ?REM OrganismRemains)) |
Mid-level-ontology.kif 45-52 |
If X is an instance of organic object, Y is an instance of death, Z is an instance of organism, Z experiences Y, and X is a result of Y, then X is an instance of organism remains |
(=>
(and
(instance ?DEATH Death)
(instance ?REM OrganismRemains)
(instance ?ORG Organism)
(holdsDuring ?T2
(part ?OBJ ?REM))
(holdsDuring ?T1
(part ?OBJ ?ORG))
(earlier ?T1 ?T2)
(experiencer ?DEATH ?ORG))
(result ?DEATH ?REM)) |
Mid-level-ontology.kif 72-81 |
If All of the following hold: (1) X is an instance of death (2) Y is an instance of organism remains (3) Z is an instance of organism (4) W is a part of Y holds during V (5) W is a part of Z holds during U (6) U happens earlier than V (7) Z experiences X, then Y is a result of X |
(=>
(and
(instance ?REM
(DeadFn ?ORGTYPE))
(instance ?DEATH Death)
(result ?DEATH ?REM)
(experiencer ?DEATH ?ORG))
(instance ?ORG ?ORGTYPE)) |
Mid-level-ontology.kif 101-107 |
If X is an instance of a dead Y, Z is an instance of death, X is a result of Z, and W experiences Z, then W is an instance of Y |
(=>
(and
(instance ?REM OrganismRemains)
(instance ?DEATH Death)
(experiencer ?DEATH ?ORG)
(instance ?ORG ?ORGTYPE)
(subclass ?ORGTYPE OrganicObject)
(result ?DEATH ?REM))
(instance ?REM
(DeadFn ?ORGTYPE))) |
Mid-level-ontology.kif 109-117 |
If All of the following hold: (1) X is an instance of organism remains (2) Y is an instance of death (3) Z experiences Y (4) Z is an instance of W (5) W is a subclass of organic object (6) X is a result of Y, then X is an instance of a dead W |
(=>
(and
(instance ?SS StayingStill)
(experiencer ?SS ?A))
(not
(exists (?B ?T)
(and
(instance ?B BodyMotion)
(instance ?T Translocation)
(causes ?B ?T)
(agent ?B ?A))))) |
Mid-level-ontology.kif 6431-6441 |
If X is an instance of staying still and Y experiences X, then there don't exist Z, W such that Z is an instance of body motion, W is an instance of translocation, Z causes W, and Y is an agent of Z |
(=>
(and
(instance ?I Itching)
(located ?I ?P)
(part ?P ?H)
(experiencer ?I ?H))
(desires ?H
(exists (?S)
(and
(instance ?S Scratching)
(during
(WhenFn ?S)
(WhenFn ?I))
(located ?S ?P))))) |
Mid-level-ontology.kif 6844-6855 |
If X is an instance of pruritus, X is located at Y, Y is a part of Z, and Z experiences X, then Z desires there exists W such that W is an instance of scratching, the time of existence of W takes place during the time of existence of X, and W is located at Y |
(=>
(and
(instance ?S SkinRash)
(experiencer ?S ?H))
(modalAttribute
(exists (?I)
(and
(instance ?I Itching)
(experiencer ?I ?H)
(during
(WhenFn ?I)
(WhenFn ?S)))) Likely)) |
Mid-level-ontology.kif 6868-6878 |
If X is an instance of rash and Y experiences X, then the statement there exists Z such that Z is an instance of pruritus, Y experiences Z, and the time of existence of Z takes place during the time of existence of X has the modal force of likely |
(=>
(and
(instance ?I Infecting)
(experiencer ?I ?H))
(exists (?T ?R ?O)
(and
(instance ?T Translocation)
(moves ?T ?O)
(instance ?O Organism)
(instance ?R Replication)
(experiencer ?R ?O)
(subProcess ?T ?I)
(subProcess ?R ?I)))) |
Mid-level-ontology.kif 6966-6978 |
If X is an instance of infecting and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of translocation (3) V moves during Z (4) V is an instance of organism (5) W is an instance of replication (6) V experiences W (7) Z is a subprocess of X (8) W is a subprocess of X |
(=>
(and
(instance ?T TakingIll)
(experiencer ?T ?A))
(exists (?D)
(and
(instance ?D DiseaseOrSyndrome)
(holdsDuring
(BeginFn
(WhenFn ?T))
(not
(attribute ?A ?D)))
(holdsDuring
(EndFn
(WhenFn ?T))
(attribute ?A ?D))))) |
Mid-level-ontology.kif 7051-7064 |
If X is an instance of taking ill and Y experiences X, then there exists Z such that Z is an instance of disease or syndrome, Z is not an attribute of Y holds during the beginning of the time of existence of X, and Z is an attribute of Y holds during the end of the time of existence of X |
(=>
(and
(instance ?C Coughing)
(experiencer ?C ?H))
(exists (?I ?E)
(and
(instance ?I Inhaling)
(instance ?E Exhaling)
(subProcess ?I ?C)
(subProcess ?E ?C)
(experiencer ?I ?H)
(experiencer ?E ?H)))) |
Mid-level-ontology.kif 7162-7173 |
If X is an instance of coughing and Y experiences X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of inhaling (3) W is an instance of exhaling (4) Z is a subprocess of X (5) W is a subprocess of X (6) Y experiences Z (7) Y experiences W |
(=>
(and
(instance ?C Coughing)
(experiencer ?C ?H))
(hasPurpose ?C
(exists (?R ?L ?O ?T)
(and
(instance ?L Lung)
(instance ?T Throat)
(instance ?O Object)
(instance ?R Removing)
(part ?L ?H)
(part ?T ?H)
(objectTransferred ?R ?O)
(holdsDuring
(ImmediatePastFn
(WhenFn ?C))
(or
(located ?O ?T)
(located ?O ?L))))))) |
Mid-level-ontology.kif 7175-7194 |
If X is an instance of coughing and Y experiences X, then All of the following hold: (1) X has the purpose there exist Z, W,, , V (2) U such that W is an instance of lung (3) U is an instance of throat (4) V is an instance of object (5) Z is an instance of removing (6) W is a part of Y (7) U is a part of Y (8) the object transferred in Z is V (9) V is located at U or V is located at W holds during immediately before the time of existence of X |
(=>
(and
(instance ?C Sneezing)
(experiencer ?C ?H))
(hasPurpose ?C
(exists (?R ?N ?NOSE ?O)
(and
(instance ?N NasalCavity)
(instance ?NOSE Nose)
(equal ?NOSE
(HoleHostFn ?N))
(instance ?O Object)
(instance ?R Removing)
(part ?NOSE ?H)
(objectTransferred ?R ?O)
(holdsDuring
(ImmediatePastFn
(WhenFn ?C))
(located ?O ?N)))))) |
Mid-level-ontology.kif 7241-7259 |
If X is an instance of sneezing and Y experiences X, then All of the following hold: (1) X has the purpose there exist Z, W,, , V (2) U such that W is an instance of nasal cavity (3) V is an instance of nose (4) equal V (5) the host of the hole W (6) U is an instance of object (7) Z is an instance of removing (8) V is a part of Y (9) the object transferred in Z is U (10) U is located at W holds during immediately before the time of existence of X |
(=>
(and
(instance ?R RecoveringFromIllness)
(experiencer ?R ?A))
(exists (?D)
(and
(instance ?D DiseaseOrSyndrome)
(holdsDuring
(BeginFn
(WhenFn ?D))
(attribute ?A ?D))
(holdsDuring
(EndFn
(WhenFn ?D))
(not
(attribute ?A ?D)))))) |
Mid-level-ontology.kif 7371-7384 |
If X is an instance of recovering from illness and Y experiences X, then there exists Z such that Z is an instance of disease or syndrome, Z is an attribute of Y holds during the beginning of the time of existence of Z, and Z is not an attribute of Y holds during the end of the time of existence of Z |
(=>
(and
(experiencer ?ORGANISM ?PAIN)
(instance ?PAIN
(PainFn ?P)))
(exists (?PART)
(and
(part ?PART ?ORGANISM)
(located ?PART ?P)))) |
Mid-level-ontology.kif 7475-7482 |
If X experiences Y and X is an instance of pain in the Z, then there exists W such that W is a part of Y and W is located at Z |
(=>
(and
(instance ?H Hallucination)
(experiencer ?H ?P))
(attribute ?P PsychologicalDysfunction)) |
Mid-level-ontology.kif 7511-7515 |
If X is an instance of hallucination and Y experiences X, then psychological dysfunction is an attribute of Y |
(=>
(and
(instance ?H Hallucination)
(experiencer ?H ?P))
(exists (?PER ?PROP)
(and
(instance ?PER Perception)
(experiencer ?PER ?P)
(causes ?H ?PER)
(containsInformation ?PER ?PROP)
(truth ?PROP False)))) |
Mid-level-ontology.kif 7517-7527 |
If X is an instance of hallucination and Y experiences X, then there exist Z, W such that Z is an instance of perception, Y experiences Z, X causes Z, Z contains information W, and W is false |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
