experiencer

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


(=>
    (and
        (instance ?L Lupus)
        (experiencer ?L ?H))
    (modalAttribute
        (exists (?SR)
            (and
                (instance ?SR SkinRash)
                (experiencer ?SR ?H))) Likely))
Medicine.kif 2263-2272
(=>
    (and
        (instance ?MR MusclesRelaxing)
        (experiencer ?MR ?A))
    (not
        (exists (?MT)
            (and
                (overlapsTemporally ?MT ?MR)
                (instance ?MT MusclesBecomingTense)
                (experiencer ?MT ?A)))))
emotion.kif 1464-1473
(=>
    (and
        (instance ?MT MusclesBecomingTense)
        (experiencer ?MT ?A))
    (not
        (exists (?MR)
            (and
                (overlapsTemporally ?MR ?MT)
                (instance ?MR MusclesRelaxing)
                (experiencer ?MR ?A)))))
emotion.kif 1450-1459
(=>
    (and
        (instance ?N Nausea)
        (experiencer ?N ?H))
    (believes ?H
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?N))
            (exists (?V)
                (and
                    (instance ?V Vomiting)
                    (experiencer ?V ?H))))))
Mid-level-ontology.kif 23049-23060
(=>
    (and
        (instance ?P CeliacDisease)
        (experiencer ?P ?H1)
        (instance ?SI SmallIntestine)
        (part ?SI ?H1))
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Diarrhoea)
                (experiencer ?D ?H1)
                (causes ?P ?D))) Likely))
Medicine.kif 2736-2748
(=>
    (and
        (instance ?P HeartPalpitations)
        (experiencer ?P ?H)
        (instance ?HEART Heart)
        (part ?HEART ?H))
    (exists (?PER)
        (and
            (instance ?PER Perception)
            (experiencer ?PER ?H)
            (patient ?PER ?HEART))))
Medicine.kif 2057-2067
(=>
    (and
        (instance ?P Poison)
        (instance ?I Ingesting)
        (moves ?I ?P)
        (experiencer ?I ?H))
    (exists (?D)
        (and
            (instance ?D Damaging)
            (experiencer ?D ?H)
            (causes ?I ?D))))
Mid-level-ontology.kif 9806-9816
(=>
    (and
        (instance ?PP PublicProgram)
        (experiencer ?PP ?PUBLIC))
    (hasPurpose ?PP
        (exists (?HELPING)
            (and
                (instance ?HELPING Helping)
                (experiencer ?HELPING ?PUBLIC)
                (instance ?PUBLIC Public)))))
MilitaryProcesses.kif 1383-1392
(=>
    (and
        (instance ?S Sepsis)
        (experiencer ?S ?H))
    (exists (?I)
        (and
            (instance ?I Infecting)
            (experiencer ?I ?H)
            (causes ?I ?S))))
Medicine.kif 5536-5544
(=>
    (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 6686-6696
(=>
    (and
        (instance ?SH SafetyHarness)
        (instance ?PERSON Animal)
        (wears ?PERSON ?SH))
    (hasPurpose ?SH
        (exists (?PROC ?INJ ?I)
            (and
                (instance ?PROC Process)
                (instrument ?PROC ?SH)
                (patient ?PROC ?PERSON)
                (subclass ?INJ
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (exists (?F ?H ?T)
                                (and
                                    (instance ?H Human)
                                    (experiencer ?I ?H)
                                    (instance ?F Falling)
                                    (experiencer ?F ?H)
                                    (causes ?F ?I)
                                    (=>
                                        (holdsDuring ?T
                                            (experiencer ?I ?PERSON))
                                        (not
                                            (holdsDuring ?T
                                                (patient ?PROC ?PERSON)))))))))
                (prevents ?PROC ?INJ)))))
Cars.kif 3450-3478
(=>
    (and
        (instance ?SHN SupportHNAssistance)
        (experiencer ?SHN ?HN)
        (instance ?HN HostNation))
    (exists (?OP)
        (and
            (instance ?OP MilitaryOperation)
            (instance ?OP Helping)
            (experiencer ?OP ?HN)
            (patient ?SHN ?OP))))
MilitaryProcesses.kif 1293-1303
(=>
    (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 13648-13658
(=>
    (and
        (instance ?SI
            (SenseImpairmentFn ?S))
        (experiencer ?SI ?A))
    (not
        (capability ?S experiencer ?A)))
Merge.kif 13668-13673
(=>
    (and
        (instance ?SVU SadVoiceUtterance)
        (agent ?SVU ?A))
    (exists (?S)
        (and
            (instance ?S Sadness)
            (experiencer ?S ?A)
            (causes ?S ?SVU))))
emotion.kif 1967-1975
(=>
    (and
        (instance ?SVU SurprisedVoiceUtterance)
        (agent ?SVU ?A))
    (exists (?S)
        (and
            (instance ?S Surprise)
            (experiencer ?S ?A)
            (causes ?S ?SVU))))
emotion.kif 1928-1936
(=>
    (and
        (instance ?T Ticket)
        (possesses ?T ?CUST)
        (issuedBy ?T ?ORG)
        (attribute ?ORG AmusementGamblingAndRecreationIndustries)
        (located ?ORG ?LOC))
    (confersNorm ?ORG
        (exists (?REC)
            (and
                (instance ?REC RecreationOrExercise)
                (experiencer ?REC ?CUST)
                (eventLocated ?REC ?LOC))) Permission))
naics.kif 11456-11468
(=>
    (and
        (instance ?T TimePeriod)
        (duration ?T
            (MeasureFn ?N MinuteDuration))
        (greaterThan ?N 5.0)
        (instance ?H Human)
        (not
            (exists (?B)
                (and
                    (instance ?B Breathing)
                    (during
                        (WhenFn ?B) ?T)
                    (patient ?B ?H)))))
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Death)
                (experiencer ?D ?H)
                (meetsTemporally ?T
                    (WhenFn ?D)))) Likely))
Medicine.kif 6014-6034
(=>
    (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 11455-11478
(=>
    (and
        (issuedBy ?TICKET ?AGENT)
        (instance ?TICKET Ticket)
        (possesses ?CUST ?TICKET))
    (confersNorm ?AGENT
        (exists (?T)
            (holdsDuring ?T
                (exists (?P)
                    (and
                        (instance ?P Process)
                        (agent ?P ?AGENT)
                        (experiencer ?P ?CUST))))) Permission))
Mid-level-ontology.kif 17929-17941
(=>
    (and
        (reservedPackage ?RESERVE ?PACKAGE)
        (reservingEntity ?RESERVE ?CUST))
    (modalAttribute
        (exists (?PROC)
            (and
                (realization ?PROC ?PACKAGE)
                (experiencer ?PROC ?CUST))) Likely))
Hotel.kif 2984-2992
(=>
    (and
        (vaccine ?VAC ?VIR)
        (instance ?V Vaccination)
        (experiencer ?V ?H)
        (instance ?VACI ?VAC)
        (objectTransferred ?V ?VACI))
    (hasPurpose ?VACI
        (not
            (exists (?I ?VIRI)
                (and
                    (instance ?I Infecting)
                    (experiencer ?I ?H)
                    (instance ?VIRI ?VIR)
                    (objectTransferred ?I ?VIRI))))))
WMD.kif 1089-1103
(=>
    (attribute ?H Asthma)
    (exists (?I)
        (and
            (instance ?I
                (ImpairmentFn Breathing))
            (experiencer ?I ?H))))
Medicine.kif 3418-3424
(=>
    (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

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