experiencer

-------------------------


(=>
    (attribute ?H Bronchitis)
    (exists (?I)
        (and
            (instance ?I
                (InflammationFn BronchialDuct))
            (experiencer ?I ?H))))		 Mid-level-ontology.kif 6958-6964
(=>
    (attribute ?H DiabetesType1)
    (exists (?A)
        (and
            (instance ?A AutoImmuneDisorder)
            (experiencer ?A ?H))))		 Medicine.kif 2146-2151
(=>
    (attribute ?H Dysautonomia)
    (exists (?P)
        (and
            (experiencer ?P ?H)
            (instance ?P
                (ImpairmentFn AutonomicProcess)))))		 Medicine.kif 4237-4243
(=>
    (attribute ?H Eczema)
    (exists (?SI)
        (and
            (instance ?SI
                (InflammationFn Skin))
            (experiencer ?SR ?H))))		 Medicine.kif 4396-4402
(=>
    (attribute ?H Eczema)
    (exists (?SR)
        (and
            (instance ?SR SkinRash)
            (experiencer ?SR ?H))))		 Medicine.kif 4389-4394
(=>
    (attribute ?H Pneumonia)
    (exists (?I)
        (and
            (instance ?I
                (InflammationFn Lung))
            (experiencer ?I ?H))))		 Mid-level-ontology.kif 7144-7150
(=>
    (attribute ?O Mortal)
    (and
        (instance ?O Organism)
        (capability Death experiencer ?O)))		 Mid-level-ontology.kif 25931-25935
(=>
    (attribute ?OBJ FullyFormed)
    (exists (?GROWTH)
        (and
            (instance ?GROWTH Growth)
            (experiencer ?GROWTH ?OBJ)
            (holdsDuring
                (BeginFn
                    (WhenFn ?OBJ))
                (attribute ?OBJ NonFullyFormed)))))		 Merge.kif 18316-18322
(=>
    (axis ?AXIS ?OBJ)
    (exists (?R)
        (and
            (instance ?R Rotating)
            (part ?AXIS ?OBJ)
            (experiencer ?R ?OBJ)
            (not
                (exists (?R2)
                    (and
                        (instance ?R2 Rotating)
                        (subProcess ?R2 ?R)
                        (experiencer ?R2 ?AXIS)))))))		 Mid-level-ontology.kif 19019-19031
(=>
    (baptizeddate ?PERSON ?DAY)
    (exists (?BAPTISM)
        (and
            (instance ?BAPTISM Baptizing)
            (experiencer ?BAPTISM ?PERSON)
            (date ?BAPTISM ?DAY))))		 Biography.kif 183-189
(=>
    (baptizedplace ?PERSON ?PLACE)
    (exists (?BAPTISM)
        (and
            (instance ?BAPTISM Baptizing)
            (experiencer ?BAPTISM ?PERSON)
            (eventLocated ?BAPTISM ?PLACE))))		 Biography.kif 197-203
(=>
    (birthdate ?P ?D)
    (exists (?B)
        (and
            (instance ?B Birth)
            (experiencer ?B ?P)
            (date ?B ?D))))		 Mid-level-ontology.kif 25919-25925
(=>
    (birthplace ?INDIV ?PLACE)
    (exists (?BIRTH)
        (and
            (instance ?BIRTH Birth)
            (experiencer ?BIRTH ?INDIV)
            (eventLocated ?BIRTH ?PLACE))))		 Mid-level-ontology.kif 25905-25911
(=>
    (changesLocation ?EVENT ?OBJ)
    (and
        (instance ?EVENT Translocation)
        (instance ?OBJ Object)
        (or
            (patient ?EVENT ?OBJ)
            (agent ?EVENT ?OBJ)
            (experiencer ?EVENT ?OBJ))))		 Merge.kif 11126-11134
(=>
    (deathdate ?P ?T)
    (exists (?D)
        (and
            (instance ?D Death)
            (experiencer ?D ?P)
            (date ?D ?T))))		 Mid-level-ontology.kif 25948-25954
(=>
    (deathplace ?P ?L)
    (exists (?D)
        (and
            (instance ?D Death)
            (experiencer ?D ?P)
            (eventLocated ?D ?L))))		 Mid-level-ontology.kif 25964-25970
(=>
    (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS)
    (exists (?ORGANISM ?TIME ?SAMPLE ?PROC)
        (and
            (holdsDuring ?TIME
                (attribute ?ORGANISM ?DISEASE))
            (increasesLikelihood
                (and
                    (instance ?PROC ?PROCESS)
                    (temporalPart
                        (WhenFn ?PROC) ?TIME)
                    (experiencer ?PROC ?ORGANISM)
                    (patient ?PROC ?SAMPLE)
                    (instance ?SAMPLE ?SUBSTANCE))
                (holdsDuring
                    (ImmediateFutureFn ?TIME)
                    (not
                        (attribute ?ORGANISM ?DISEASE)))))))		 WMD.kif 941-955
(=>
    (diseaseMortality ?DISEASE ?RATE)
    (conditionalProbability
        (exists (?ORGANISM)
            (and
                (instance ?ORGANISM Organism)
                (attribute ?ORGANISM ?DISEASE)))
        (exists (?DEATH)
            (and
                (instance ?DEATH Death)
                (experiencer ?DEATH ?ORGANISM))) ?RATE))		 WMD.kif 890-900
(=>
    (enjoys ?AGENT ?PROCESS)
    (desires ?AGENT
        (exists (?INSTANCE)
            (and
                (instance ?INSTANCE ?PROCESS)
                (or
                    (agent ?INSTANCE ?AGENT)
                    (experiencer ?INSTANCE ?AGENT))))))		 Mid-level-ontology.kif 8537-8545
(=>
    (equal ?WKBMC
        (WeekBeforeMenstruationFn ?W))
    (equal ?WKBC
        (KappaFn ?C
            (and
                (instance ?C Week)
                (exists (?M)
                    (and
                        (instance ?M Menstruation)
                        (experiencer ?M ?W)
                        (equal ?C
                            (WeekBeforeFn
                                (WhenFn ?M)))))))))		 Medicine.kif 1514-1527
(=>
    (exclusiveEvent ?EXP ?PROC)
    (exists (?EVP ?AGENT)
        (and
            (instance ?EVP Process)
            (instance ?AGENT AutonomousAgent)
            (treatedUser ?AGENT ?EXP)
            (experimentalVariableProcess ?EXP ?EVP)
            (experiencer ?PROC ?AGENT)
            (experiencer ?EVP ?AGENT)
            (earlier
                (WhenFn ?EVP)
                (WhenFn ?PROC)))))		 UXExperimentalTerms.kif 4345-4355
(=>
    (holdsDuring ?T
        (and
            (attribute ?H SleepApnea)
            (attribute ?H Sleeping)))
    (exists (?T2 ?B ?B2)
        (and
            (during ?T2 ?T)
            (not
                (exists (?B)
                    (and
                        (instance ?B Breathing)
                        (during
                            (WhenFn ?B) ?T2)
                        (experiencer ?B ?H))))
            (holdsDuring ?T2
                (and
                    (instance ?B2 Breathing)
                    (needs ?H ?B2))))))		 Medicine.kif 4167-4184
(=>
    (holdsDuring ?T
        (attribute ?A Anger))
    (modalAttribute
        (exists (?HF)
            (and
                (instance ?HF AngryFacialExpression)
                (experiencer ?HF ?A)
                (during
                    (WhenFn ?HF) ?T))) Likely))		 emotion.kif 1244-1253
(=>
    (holdsDuring ?T
        (attribute ?A Disgust))
    (modalAttribute
        (exists (?FE)
            (and
                (instance ?FE DisgustedFacialExpression)
                (experiencer ?FE ?A)
                (during
                    (WhenFn ?FE) ?T))) Likely))		 emotion.kif 1262-1271
(=>
    (holdsDuring ?T
        (attribute ?A Fear))
    (modalAttribute
        (exists (?FE)
            (and
                (instance ?FE FearfulFacialExpression)
                (experiencer ?FE ?A)
                (during
                    (WhenFn ?FE) ?T))) Likely))		 emotion.kif 1344-1353

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners