Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - experiencer
experiencer

appearance as argument number 1
-------------------------


s__instance(s__experiencer,s__CaseRole)

 Merge.kif 2564-2564 experiencer is an instance of case role
s__instance(s__experiencer,s__PartialValuedRelation)

 Merge.kif 2565-2565 experiencer is an instance of partial valued relation
s__domain(s__experiencer,n__1,s__Process)

 Merge.kif 2566-2566 The number 1 argument of experiencer is an instance of process
s__domain(s__experiencer,n__2,s__AutonomousAgent)

 Merge.kif 2567-2567 The number 2 argument of experiencer is an instance of agent
s__subrelation(s__experiencer,s__involvedInEvent)

 Merge.kif 2568-2568 experiencer is a subrelation of involved in event
s__documentation(s__experiencer, s__EnglishLanguage, "(experiencer ?PROCESS ?AGENT) means that ?AGENT experiences the Process ?PROCESS_ For example, Yojo is the experiencer of seeing in the following proposition: Yojo sees the fish_ Note that experiencer, unlike agent, does not entail a causal relation between its arguments_") Merge.kif 2570-2574 experiencer is a subrelation of involved in event

appearance as argument number 2
-------------------------


s__subrelation(s__attends,s__experiencer)

 Merge.kif 13381-13381 attends is a subrelation of experiencer
s__subrelation(s__serviceRecipient,s__experiencer)

 Mid-level-ontology.kif 25208-25208 service recipient is a subrelation of experiencer
s__subrelation(s__losesControl,s__experiencer)

 Mid-level-ontology.kif 25764-25764 loses control is a subrelation of experiencer
s__termFormat(s__EnglishLanguage, s__experiencer, "experiencer") domainEnglishFormat.kif 22798-22798 loses control is a subrelation of experiencer
s__termFormat(s__ChineseTraditionalLanguage, s__experiencer, "體驗者") domainEnglishFormat.kif 22799-22799 loses control is a subrelation of experiencer
s__termFormat(s__ChineseLanguage, s__experiencer, "体验者") domainEnglishFormat.kif 22800-22800 loses control is a subrelation of experiencer
s__format(s__EnglishLanguage, s__experiencer, "%2 %n{doesnt} experience%p{s} %1") english_format.kif 103-103 loses control is a subrelation of experiencer

antecedent
-------------------------


! [V__ORG,V__PROC] :
((s__instance(V__ORG,s__AutonomousAgent) =>
     ((s__instance(V__PROC,s__BiologicalProcess) &
         s__experiencer(V__PROC,V__ORG))
     =>
     s__instance(V__ORG,s__Organism)))
)

 Merge.kif 10369-10373 If X is an instance of biological process and Y experiences X, then Y is an instance of organism
! [V__AGENT,V__BIRTH] :
((s__instance(V__AGENT,s__AutonomousAgent) =>
     ((s__instance(V__BIRTH,s__Birth) &
         s__experiencer(V__BIRTH,V__AGENT))
     =>
     (? [V__DEATH] :
       ((s__instance(V__DEATH,s__Death) &
           s__experiencer(V__DEATH,V__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
! [V__DEATH : $i,V__ORG : $i] : (((s__instance(V__DEATH, s__Death) & s__instance(V__ORG, s__Organism) & s__experiencer(V__DEATH, V__ORG)) => ( ? [V__REM:$i, V__OBJ:$i] : ((s__result(V__DEATH, V__REM) & s__instance(V__REM, s__OrganicObject) & s__holdsDuring(s__FutureFn(s__WhenFn(V__DEATH)), s__attribute(V__REM, s__Dead)) & (s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__DEATH)), s__part(V__OBJ, V__REM)) => s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__DEATH)), s__part(V__OBJ, V__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
! [V__ORG,V__PATH] :
((s__instance(V__ORG,s__AutonomousAgent) =>
     ((s__instance(V__PATH,s__PathologicProcess) &
         s__experiencer(V__PATH,V__ORG))
     =>
     (? [V__PART,V__DISEASE] :
       ((s__instance(V__PART,s__Object) &
           (s__part(V__PART,V__ORG)
           &
           s__instance(V__DISEASE,s__DiseaseOrSyndrome) &
           s__attribute(V__PART,V__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
! [V__O1,V__D1,V__P,V__T1,V__T2,V__D2] :
(((s__instance(V__O1,s__Object) &
       s__instance(V__D1,s__Object) &
       s__instance(V__P,s__AutonomousAgent))
     =>
     ((s__instance(V__T1,s__Translocation) &
         s__instance(V__T2,s__Translocation) &
         s__origin(V__T1,V__O1)
       &
       s__origin(V__T2,V__D1)
     &
     s__destination(V__T1,V__D1)
   &
   s__destination(V__T2,V__D2)
&
s__experiencer(V__T1,V__P)
&
s__experiencer(V__T2,V__P))
=>
(? [V__T] :
((s__instance(V__T,s__Translocation) &
s__origin(V__T,V__O1)
&
s__destination(V__T,V__D2)
&
s__subProcess(V__T1,V__T)
&
s__subProcess(V__T2,V__T)
&
s__experiencer(V__T,V__P)
&
s__starts(s__WhenFn(V__T1)
,s__WhenFn(V__T))
&
s__finishes(s__WhenFn(V__T2)
,s__WhenFn(V__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
! [V__SI,V__S,V__A] :
(((s__instance(V__SI,s__Process) &
       s__subclass(V__S,s__Perception) &
       s__subclass(V__S,s__Process) &
       s__instance(V__A,s__AutonomousAgent))
     =>
     ((s__instance(V__SI,s__SenseImpairmentFn(V__S))
     &
     s__experiencer(V__SI,V__A))
=>
(? [V__A2] :
   ((s__instance(V__A2,s__Object) &
       (~((V__A2 = V__A))
         &
         s__capability(V__S,s__experiencer,V__A2)
       &
       ~(s__capability(V__S,s__experiencer,V__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
! [V__SI,V__S,V__A] :
(((s__instance(V__SI,s__Process) &
       s__subclass(V__S,s__Perception) &
       s__subclass(V__S,s__Process) &
       s__instance(V__A,s__AutonomousAgent))
     =>
     ((s__instance(V__SI,s__SenseImpairmentFn(V__S))
     &
     s__experiencer(V__SI,V__A))
=>
~(s__capability(V__S,s__experiencer,V__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
! [V__BIRTH : $i,V__BW : $i,V__ORG : $i,V__TIME : $i] : (((s__holdsDuring(V__TIME, s__attribute(V__ORG, s__Larval)) & s__instance(V__BIRTH, s__Birth) & V__BW = s__WhenFn(V__BIRTH) & s__experiencer(V__BIRTH, V__ORG)) => s__meetsTemporally(V__BW, V__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
! [V__BIRTH : $i,V__BW : $i,V__ORG : $i,V__TIME : $i] : (((s__holdsDuring(V__TIME, s__attribute(V__ORG, s__Embryonic)) & s__instance(V__BIRTH, s__Birth) & V__BW = s__WhenFn(V__BIRTH) & s__experiencer(V__BIRTH, V__ORG)) => ~(s__overlapsTemporally(V__TIME, V__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
! [V__REM,V__DEATH,V__ORG] :
(((s__instance(V__REM,s__OrganicObject) &
       s__instance(V__DEATH,s__Death) &
       s__instance(V__ORG,s__Organism) &
       s__experiencer(V__DEATH,V__ORG)
     &
     s__result(V__DEATH,V__REM))
=>
s__instance(V__REM,s__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
! [V__DEATH : $i,V__OBJ : $i,V__ORG : $i,V__REM : $i,V__T1 : $i,V__T2 : $i] : (((s__instance(V__DEATH, s__Death) & s__instance(V__REM, s__OrganismRemains) & s__instance(V__ORG, s__Organism) & s__holdsDuring(V__T2, s__part(V__OBJ, V__REM)) & s__holdsDuring(V__T1, s__part(V__OBJ, V__ORG)) & s__earlier(V__T1, V__T2) & s__experiencer(V__DEATH, V__ORG)) => s__result(V__DEATH, V__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
! [V__ORGTYPE,V__ORG,V__REM,V__DEATH] :
(((s__instance(V__ORGTYPE,s__Class) &
       s__subclass(V__ORGTYPE,s__OrganicObject) &
       s__instance(V__ORG,s__AutonomousAgent))
     =>
     ((s__instance(V__REM,s__DeadFn(V__ORGTYPE))
     &
     s__instance(V__DEATH,s__Death) &
     s__result(V__DEATH,V__REM)
   &
   s__experiencer(V__DEATH,V__ORG))
=>
s__instance(V__ORG,V__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
! [V__ORG,V__ORGTYPE,V__REM,V__DEATH] :
(((s__instance(V__ORG,s__AutonomousAgent) &
       s__instance(V__ORGTYPE,s__Class) &
       s__subclass(V__ORGTYPE,s__OrganicObject))
     =>
     ((s__instance(V__REM,s__OrganismRemains) &
         s__instance(V__DEATH,s__Death) &
         s__experiencer(V__DEATH,V__ORG)
       &
       s__instance(V__ORG,V__ORGTYPE)
     &
     s__subclass(V__ORGTYPE,s__OrganicObject) &
     s__result(V__DEATH,V__REM))
=>
s__instance(V__REM,s__DeadFn(V__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
! [V__A,V__SS] :
((s__instance(V__A,s__AutonomousAgent) =>
     ((s__instance(V__SS,s__StayingStill) &
         s__experiencer(V__SS,V__A))
     =>
     ~((? [V__B,V__T] :
         ((s__instance(V__B,s__BodyMotion) &
             s__instance(V__T,s__Translocation) &
             s__causes(V__B,V__T)
           &
           s__agent(V__B,V__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
! [V__H : $i,V__I : $i,V__P : $i] : (((s__instance(V__I, s__Itching) & s__located(V__I, V__P) & s__part(V__P, V__H) & s__experiencer(V__I, V__H)) => s__desires(V__H, ( ? [V__S:$i] : ((s__instance(V__S, s__Scratching) & s__during(s__WhenFn(V__S), s__WhenFn(V__I)) & s__located(V__S, V__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
! [V__H : $i,V__S : $i] : (((s__instance(V__S, s__SkinRash) & s__experiencer(V__S, V__H)) => s__modalAttribute(( ? [V__I:$i] : ((s__instance(V__I, s__Itching) & s__experiencer(V__I, V__H) & s__during(s__WhenFn(V__I), s__WhenFn(V__S))))), 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
! [V__H,V__I] :
((s__instance(V__H,s__AutonomousAgent) =>
     ((s__instance(V__I,s__Infecting) &
         s__experiencer(V__I,V__H))
     =>
     (? [V__T,V__R,V__O] :
       ((s__instance(V__T,s__Translocation) &
           s__moves(V__T,V__O)
         &
         s__instance(V__O,s__Organism) &
         s__instance(V__R,s__Replication) &
         s__experiencer(V__R,V__O)
       &
       s__subProcess(V__T,V__I)
     &
     s__subProcess(V__R,V__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
! [V__A : $i,V__T : $i] : (((s__instance(V__T, s__TakingIll) & s__experiencer(V__T, V__A)) => ( ? [V__D:$i] : ((s__instance(V__D, s__DiseaseOrSyndrome) & s__holdsDuring(s__BeginFn(s__WhenFn(V__T)), ~(s__attribute(V__A, V__D))) & s__holdsDuring(s__EndFn(s__WhenFn(V__T)), s__attribute(V__A, V__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
! [V__H,V__C] :
((s__instance(V__H,s__AutonomousAgent) =>
     ((s__instance(V__C,s__Coughing) &
         s__experiencer(V__C,V__H))
     =>
     (? [V__I,V__E] :
       ((s__instance(V__I,s__Inhaling) &
           s__instance(V__E,s__Exhaling) &
           s__subProcess(V__I,V__C)
         &
         s__subProcess(V__E,V__C)
       &
       s__experiencer(V__I,V__H)
     &
     s__experiencer(V__E,V__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
! [V__C : $i,V__H : $i] : (((s__instance(V__C, s__Coughing) & s__experiencer(V__C, V__H)) => s__hasPurpose(V__C, ( ? [V__R:$i, V__L:$i, V__O:$i, V__T:$i] : ((s__instance(V__L, s__Lung) & s__instance(V__T, s__Throat) & s__instance(V__O, s__Object) & s__instance(V__R, s__Removing) & s__part(V__L, V__H) & s__part(V__T, V__H) & s__objectTransferred(V__R, V__O) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__C)), (s__located(V__O, V__T) | s__located(V__O, V__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
! [V__C : $i,V__H : $i] : (((s__instance(V__C, s__Sneezing) & s__experiencer(V__C, V__H)) => s__hasPurpose(V__C, ( ? [V__R:$i, V__N:$i, V__NOSE:$i, V__O:$i] : ((s__instance(V__N, s__NasalCavity) & s__instance(V__NOSE, s__Nose) & V__NOSE = s__HoleHostFn(V__N) & s__instance(V__O, s__Object) & s__instance(V__R, s__Removing) & s__part(V__NOSE, V__H) & s__objectTransferred(V__R, V__O) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__C)), s__located(V__O, V__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
! [V__A : $i,V__R : $i] : (((s__instance(V__R, s__RecoveringFromIllness) & s__experiencer(V__R, V__A)) => ( ? [V__D:$i] : ((s__instance(V__D, s__DiseaseOrSyndrome) & s__holdsDuring(s__BeginFn(s__WhenFn(V__D)), s__attribute(V__A, V__D)) & s__holdsDuring(s__EndFn(s__WhenFn(V__D)), ~(s__attribute(V__A, V__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
! [V__ORGANISM,V__PAIN,V__P] :
(((s__instance(V__ORGANISM,s__Object) &
       s__instance(V__ORGANISM,s__Process) &
       s__instance(V__PAIN,s__AutonomousAgent) &
       s__instance(V__P,s__BodyPart))
     =>
     ((s__experiencer(V__ORGANISM,V__PAIN)
       &
       s__instance(V__PAIN,s__PainFn(V__P)))
=>
(? [V__PART] :
   ((s__instance(V__PART,s__Object) &
       (s__part(V__PART,V__ORGANISM)
       &
       s__located(V__PART,V__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
! [V__P,V__H] :
((s__instance(V__P,s__AutonomousAgent) =>
     ((s__instance(V__H,s__Hallucination) &
         s__experiencer(V__H,V__P))
     =>
     s__attribute(V__P,s__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
! [V__P,V__H] :
((s__instance(V__P,s__AutonomousAgent) =>
     ((s__instance(V__H,s__Hallucination) &
         s__experiencer(V__H,V__P))
     =>
     (? [V__PER,V__PROP] :
       ((s__instance(V__PROP,s__Proposition) &
           s__instance(V__PROP,s__Sentence) &
           (s__instance(V__PER,s__Perception) &
             s__experiencer(V__PER,V__P)
           &
           s__causes(V__H,V__PER)
         &
         s__containsInformation(V__PER,V__PROP)
       &
       s__truth(V__PROP,'$false__m')))))))
)

 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

consequent
-------------------------


! [V__O] :
((s__instance(V__O,s__Organism) =>
     s__capability(s__BiologicalProcess,s__experiencer,V__O))
)

 Merge.kif 10380-10382 If X is an instance of organism, then X is capable of doing biological process as a experiencer
! [V__AGENT,V__BIRTH] :
((s__instance(V__AGENT,s__AutonomousAgent) =>
     ((s__instance(V__BIRTH,s__Birth) &
         s__experiencer(V__BIRTH,V__AGENT))
     =>
     (? [V__DEATH] :
       ((s__instance(V__DEATH,s__Death) &
           s__experiencer(V__DEATH,V__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
! [V__PROCESS] :
((s__instance(V__PROCESS,s__PsychologicalProcess) =>
     (? [V__ANIMAL] :
       ((s__instance(V__ANIMAL,s__Animal) &
           s__experiencer(V__PROCESS,V__ANIMAL)))))
)

 Merge.kif 10624-10629 If X is an instance of psychological process, then there exists Y such that Y is an instance of animal and Y experiences X
! [V__D : $i,V__S : $i] : ((s__pathologicSymptom(V__D, V__S) => ( ? [V__O:$i] : (s__increasesLikelihood(s__attribute(V__O, V__D), ( ? [V__I:$i] : ((s__instance(V__I, V__S) & s__experiencer(V__I, V__O))))))))) Merge.kif 10661-10669 If X is a symptom of Y, then there exists Z such that Y is an attribute of Z increases likelihood of there exists W such that W is an instance of X and Z experiences W
! [V__EVENT,V__OBJ] :
(((s__instance(V__EVENT,s__Translocation) &
       s__instance(V__OBJ,s__AutonomousAgent))
     =>
     (s__changesLocation(V__EVENT,V__OBJ)
     =>
     (s__instance(V__EVENT,s__Translocation) &
       s__instance(V__OBJ,s__Object) &
       (s__patient(V__EVENT,V__OBJ)
       |
       s__agent(V__EVENT,V__OBJ)
     |
     s__experiencer(V__EVENT,V__OBJ)))))
)

 Merge.kif 11255-11263 If X is a changes location of Y, then Y is an instance of translocation, X is an instance of object, and At least one of the following holds: (1) X is a patient of Y (2) X is an agent of Y (3) X experiences Y
! [V__O1,V__D1,V__P,V__T1,V__T2,V__D2] :
(((s__instance(V__O1,s__Object) &
       s__instance(V__D1,s__Object) &
       s__instance(V__P,s__AutonomousAgent))
     =>
     ((s__instance(V__T1,s__Translocation) &
         s__instance(V__T2,s__Translocation) &
         s__origin(V__T1,V__O1)
       &
       s__origin(V__T2,V__D1)
     &
     s__destination(V__T1,V__D1)
   &
   s__destination(V__T2,V__D2)
&
s__experiencer(V__T1,V__P)
&
s__experiencer(V__T2,V__P))
=>
(? [V__T] :
((s__instance(V__T,s__Translocation) &
s__origin(V__T,V__O1)
&
s__destination(V__T,V__D2)
&
s__subProcess(V__T1,V__T)
&
s__subProcess(V__T2,V__T)
&
s__experiencer(V__T,V__P)
&
s__starts(s__WhenFn(V__T1)
,s__WhenFn(V__T))
&
s__finishes(s__WhenFn(V__T2)
,s__WhenFn(V__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
! [V__OBJ,V__KILL] :
((s__instance(V__OBJ,s__AutonomousAgent) =>
     ((s__instance(V__KILL,s__Killing) &
         s__patient(V__KILL,V__OBJ))
     =>
     (? [V__DEATH] :
       ((s__instance(V__DEATH,s__Death) &
           s__experiencer(V__DEATH,V__OBJ)
         &
         s__causes(V__KILL,V__DEATH))))))
)

 Merge.kif 12599-12607 If X is an instance of killing and Y is a patient of X, then there exists Z such that Z is an instance of death, Y experiences Z, and X causes Z
! [V__AGENT] :
((s__instance(V__AGENT,s__SentientAgent) =>
     s__capability(s__Perception,s__experiencer,V__AGENT))
)

 Merge.kif 13771-13773 If X is an instance of sentient agent, then X is capable of doing perception as a experiencer
! [V__SI,V__S,V__A] :
(((s__instance(V__SI,s__Process) &
       s__subclass(V__S,s__Perception) &
       s__subclass(V__S,s__Process) &
       s__instance(V__A,s__AutonomousAgent))
     =>
     ((s__instance(V__SI,s__SenseImpairmentFn(V__S))
     &
     s__experiencer(V__SI,V__A))
=>
(? [V__A2] :
   ((s__instance(V__A2,s__Object) &
       (~((V__A2 = V__A))
         &
         s__capability(V__S,s__experiencer,V__A2)
       &
       ~(s__capability(V__S,s__experiencer,V__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
! [V__SI,V__S,V__A] :
(((s__instance(V__SI,s__Process) &
       s__subclass(V__S,s__Perception) &
       s__subclass(V__S,s__Process) &
       s__instance(V__A,s__AutonomousAgent))
     =>
     ((s__instance(V__SI,s__SenseImpairmentFn(V__S))
     &
     s__experiencer(V__SI,V__A))
=>
~(s__capability(V__S,s__experiencer,V__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
! [V__ORGANISM] :
((s__instance(V__ORGANISM,s__Organism) =>
     (? [V__BIRTH] :
       ((s__instance(V__BIRTH,s__Birth) &
           s__experiencer(V__BIRTH,V__ORGANISM)))))
)

 Merge.kif 14674-14679 If X is an instance of organism, then there exists Y such that Y is an instance of birth and X experiences Y
! [V__AW : $i] : ((s__instance(V__AW, s__ArtWork) => s__hasPurpose(V__AW, ( ? [V__H:$i, V__P:$i] : ((s__instance(V__H, s__Human) & s__instance(V__P, s__Perception) & s__experiencer(V__P, V__H) & s__patient(V__P, V__AW))))))) Merge.kif 16161-16169 If X is an instance of art work, then X has the purpose there exist Y, Z such that Y is an instance of human, Z is an instance of perception, Y experiences Z, and X is a patient of Z
! [V__AW : $i] : ((s__instance(V__AW, s__ArtWork) => s__hasPurpose(V__AW, ( ? [V__H:$i] : ((s__instance(V__H, s__Human) & s__desires(V__H, ( ? [V__P:$i] : ((s__instance(V__P, s__Perception) & s__experiencer(V__P, V__H) & s__patient(V__P, V__AW))))))))))) Merge.kif 16171-16182 If X is an instance of art work, then X has the purpose there exists Y such that Y is an instance of human, Y desires there exists Z such that Z is an instance of perception, Y experiences Z, and X is a patient of Z
! [V__OBJ : $i] : ((s__attribute(V__OBJ, s__FullyFormed) => ( ? [V__GROWTH:$i] : ((s__instance(V__GROWTH, s__Growth) & s__experiencer(V__GROWTH, V__OBJ) & s__holdsDuring(s__BeginFn(s__WhenFn(V__OBJ)), s__attribute(V__OBJ, s__NonFullyFormed))))))) Merge.kif 18485-18491 If fully formed is an attribute of X, then there exists Y such that Y is an instance of growth, X experiences Y, and non fully formed is an attribute of X holds during the beginning of the time of existence of X
! [V__H : $i,V__T : $i] : ((s__holdsDuring(V__T, s__attribute(V__H, s__Asleep)) => ( ? [V__S:$i] : ((V__T = s__WhenFn(V__S) & s__instance(V__S, s__Sleeping) & s__experiencer(V__S, V__H)))))) Merge.kif 18673-18680 If asleep is an attribute of X holds during Y, then there exists Z such that equal Y, the time of existence of Z, Z is an instance of sleeping, and X experiences Z
! [V__DEATH : $i,V__OBJ : $i,V__ORG : $i,V__REM : $i,V__T1 : $i,V__T2 : $i] : (((s__instance(V__DEATH, s__Death) & s__instance(V__REM, s__OrganismRemains) & s__instance(V__ORG, s__Organism) & s__holdsDuring(V__T2, s__part(V__OBJ, V__REM)) & s__holdsDuring(V__T1, s__part(V__OBJ, V__ORG)) & s__earlier(V__T1, V__T2) & s__result(V__DEATH, V__REM)) => s__experiencer(V__DEATH, V__ORG))) Mid-level-ontology.kif 61-70 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) Y is a result of X, then Z experiences X
! [V__ANI,V__D] :
(((s__instance(V__ANI,s__Animal) &
       s__instance(V__D,s__DiseaseOrSyndrome) &
       ~(s__attribute(V__ANI,V__D)))
   =>
   (? [V__P,V__W] :
     ((s__instance(V__P,s__BiologicalProcess) &
         s__instance(V__P,s__Removing) &
         s__origin(V__P,V__ANI)
       &
       s__instance(V__W,s__Sewage) &
       s__experiencer(V__P,V__ANI)
     &
     s__objectTransferred(V__P,V__W)))))
)

 Mid-level-ontology.kif 2761-2774 If X is an instance of animal, Y is an instance of disease or syndrome, and Y is not an attribute of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of biological process (3) Z is an instance of removing (4) Z originates at X (5) W is an instance of sewage (6) X experiences Z (7) the object transferred in Z is W
! [V__H : $i,V__S : $i] : (((s__instance(V__S, s__SkinRash) & s__experiencer(V__S, V__H)) => s__modalAttribute(( ? [V__I:$i] : ((s__instance(V__I, s__Itching) & s__experiencer(V__I, V__H) & s__during(s__WhenFn(V__I), s__WhenFn(V__S))))), 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
! [V__A,V__I] :
((s__instance(V__A,s__AutonomousAgent) =>
     ((s__instance(V__I,s__InfectiousDisease) &
         s__attribute(V__A,V__I))
     =>
     (? [V__P,V__O] :
       ((s__instance(V__P,s__PathologicProcess) &
           s__agent(V__P,V__O)
         &
         s__instance(V__O,s__Microorganism) &
         s__experiencer(V__P,V__A))))))
)

 Mid-level-ontology.kif 6949-6958 If X is an instance of infectious disease and X is an attribute of Y, then there exist Z, W such that Z is an instance of pathologic process, W is an agent of Z, W is an instance of microorganism, and Y experiences Z
! [V__H,V__I] :
((s__instance(V__H,s__AutonomousAgent) =>
     ((s__instance(V__I,s__Infecting) &
         s__experiencer(V__I,V__H))
     =>
     (? [V__T,V__R,V__O] :
       ((s__instance(V__T,s__Translocation) &
           s__moves(V__T,V__O)
         &
         s__instance(V__O,s__Organism) &
         s__instance(V__R,s__Replication) &
         s__experiencer(V__R,V__O)
       &
       s__subProcess(V__T,V__I)
     &
     s__subProcess(V__R,V__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
! [V__H] :
((s__instance(V__H,s__AutonomousAgent) =>
     (s__attribute(V__H,s__Bronchitis) =>
       (? [V__I] :
         ((s__instance(V__I,s__Process) &
             (s__instance(V__I,s__InflammationFn(s__BronchialDuct))
             &
             s__experiencer(V__I,V__H)))))))
)

 Mid-level-ontology.kif 7140-7146 If bronchitis is an attribute of X, then there exists Y such that Y is an instance of inflammation of bronchial duct and X experiences Y
! [V__H,V__C] :
((s__instance(V__H,s__AutonomousAgent) =>
     ((s__instance(V__C,s__Coughing) &
         s__experiencer(V__C,V__H))
     =>
     (? [V__I,V__E] :
       ((s__instance(V__I,s__Inhaling) &
           s__instance(V__E,s__Exhaling) &
           s__subProcess(V__I,V__C)
         &
         s__subProcess(V__E,V__C)
       &
       s__experiencer(V__I,V__H)
     &
     s__experiencer(V__E,V__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
! [V__H] :
((s__instance(V__H,s__AutonomousAgent) =>
     (s__attribute(V__H,s__Pneumonia) =>
       (? [V__I] :
         ((s__instance(V__I,s__Process) &
             (s__instance(V__I,s__InflammationFn(s__Lung))
             &
             s__experiencer(V__I,V__H)))))))
)

 Mid-level-ontology.kif 7326-7332 If pneumonia is an attribute of X, then there exists Y such that Y is an instance of inflammation of lung and X experiences Y
! [V__H : $i,V__S : $i,V__SUB : $i,V__T : $i] : (((s__allergic(V__H, V__S) & s__instance(V__SUB, V__S) & s__holdsDuring(V__T, s__meetsSpatially(V__SUB, V__H))) => s__modalAttribute(( ? [V__AR:$i] : ((s__instance(V__AR, s__AllergicReaction) & s__experiencer(V__AR, V__H) & s__overlapsTemporally(V__T, s__WhenFn(V__AR)) & s__before(s__BeginFn(V__T), s__BeginFn(s__WhenFn(V__AR)))))), s__Likely))) Mid-level-ontology.kif 7350-7363 If allergic X and Y, Z is an instance of Y, and Z meets X holds during W, then the statement there exists V such that V is an instance of allergic reaction, X experiences V, the time of existence of V overlaps W, and the beginning of W happens before the beginning of the time of existence of V has the modal force of likely
! [V__P,V__H] :
((s__instance(V__P,s__AutonomousAgent) =>
     ((s__instance(V__H,s__Hallucination) &
         s__experiencer(V__H,V__P))
     =>
     (? [V__PER,V__PROP] :
       ((s__instance(V__PROP,s__Proposition) &
           s__instance(V__PROP,s__Sentence) &
           (s__instance(V__PER,s__Perception) &
             s__experiencer(V__PER,V__P)
           &
           s__causes(V__H,V__PER)
         &
         s__containsInformation(V__PER,V__PROP)
       &
       s__truth(V__PROP,'$false__m')))))))
)

 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

statement
-------------------------


! [V__AREA : $i,V__BIRTH : $i,V__INFANT : $i,V__WOMAN : $i,V__Y : $int,V__YEAR : $i] : ((s__instance(V__YEAR, s__YearFn(V__Y)) & s__ChildrenBornPerWomanFn(V__AREA, V__YEAR) = s__CardinalityFn(s__KappaFn(V__INFANT, (s__instance(V__BIRTH, s__Birth) & s__experiencer(V__BIRTH, V__INFANT) & s__agent(V__BIRTH, V__WOMAN) & s__instance(V__WOMAN, s__Human) & s__attribute(V__WOMAN, s__Female) & s__holdsDuring(V__YEAR, s__inhabits(V__WOMAN, V__AREA))))))) People.kif 490-503 X is an instance of the year Y and equal the children born per woman of Z, X, and the number of instances in the class described by W
! [V__AGENT : $i,V__ORGANISM : $i,V__PROCESS : $i,V__PROCESSTYPE : $i,V__SYMPTOM : $i] : (s__increasesLikelihood((s__biochemicalAgentSyndrome(V__AGENT, V__SYMPTOM) & s__biochemicalAgentDelivery(V__AGENT, V__PROCESSTYPE) & s__instance(V__PROCESS, V__PROCESSTYPE) & s__experiencer(V__PROCESS, V__ORGANISM)), s__attribute(V__ORGANISM, V__SYMPTOM))) WMD.kif 762-768 ?SYMPTOM is a biochemical agent syndrome of ?AGENT, ?PROCESSTYPE is a biochemical agent delivery of ?AGENT, ?PROCESS is an instance of ?PROCESSTYPE, and ?ORGANISM experiences ?PROCESS increases likelihood of ?SYMPTOM is an attribute of ?ORGANISM
! [V__AGENT : $i,V__ORGANISM : $i,V__PROCESS : $i,V__SAMPLE : $i,V__SUBSTANCE : $i,V__SYMPTOM : $i,V__THERAPY : $i] : (s__decreasesLikelihood((s__biochemicalAgentSyndrome(V__AGENT, V__SYMPTOM) & s__biochemicalAgentAntidote(V__AGENT, V__SUBSTANCE, V__PROCESS) & s__instance(V__SAMPLE, V__SUBSTANCE) & s__instance(V__THERAPY, V__PROCESS) & s__experiencer(V__THERAPY, V__ORGANISM) & s__patient(V__THERAPY, V__SAMPLE)), s__attribute(V__ORGANISM, V__SYMPTOM))) WMD.kif 916-924 ?SYMPTOM is a biochemical agent syndrome of ?AGENT, ?AGENT biochemical agent antidote ?SUBSTANCE for ?PROCESS, ?SAMPLE is an instance of ?SUBSTANCE, ?THERAPY is an instance of ?PROCESS, ?ORGANISM experiences ?THERAPY, and ?SAMPLE is a patient of ?THERAPY decreases likelihood of ?SYMPTOM is an attribute of ?ORGANISM


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners