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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - experiencer
experiencer

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


(documentation experiencer ChineseLanguage "(experiencer ?PROCESS ?AGENT) 的意思是 ?AGENT 在经历 ?PROCESS 这个 Process。 例如：在以下'佑舟看见哪尾鱼'这命题，佑舟是看见这过程的 experiencer。注： experiencer 不像 agent，参数之间并不需要含有因果关系。") chinese_format.kif 1872-1874
(documentation experiencer 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 2473-2477
(documentation experiencer JapaneseLanguage "(experiencer ?PROCESS ?AGENT) とは、?AGENT Process ?PROCESS を経験することを意味する。　例：ヨージョは、次の命題で見るの experiencer である: ヨジョは魚を見る。experiencer は agent とは異なり、引数間の因果関係を伴わない。") japanese_format.kif 496-498
(domain experiencer 1 Process) Merge.kif 2469-2469 Le nombre 1 argument de experiencer est une instance de processus
(domain experiencer 2 AutonomousAgent) Merge.kif 2470-2470 Le nombre 2 argument de experiencer est une instance de AutonomousAgent
(instance experiencer CaseRole) Merge.kif 2467-2467 experiencer est une instance de r�le d�pendant du cas
(instance experiencer PartialValuedRelation) Merge.kif 2468-2468 experiencer est une instance de relation partielle
(subrelation experiencer involvedInEvent) Merge.kif 2471-2471 experiencer est une sous-relation de involvedInEvent

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


(format ChineseLanguage experiencer "%2 %n{doesn't} 经历了 %1") chinese_format.kif 103-103
(format EnglishLanguage experiencer "%2 %n{doesn't} experience%p{s} %1") english_format.kif 103-103
(format FrenchLanguage experiencer "%2 %n{n'} exp�rimente %n{pas} %1") french_format.kif 74-74
(format ItalianLanguage experiencer "%2 %n{non} esperisce%p{s} %1") relations-it.txt 102-102
(format JapaneseLanguage experiencer "%2 が %1 を experience%p{s} %n{ない}") japanese_format.kif 1900-1900
(format PortugueseLanguage experiencer "%2 %n{nao} experimenta %n %1") portuguese_format.kif 26-26
(format cz experiencer "%2 %n{ne}prod�l�v� %1") relations-cz.txt 82-82
(format de experiencer "%2 erfaehrt %1 %n{nicht}") relations-de.txt 118-118
(format hi experiencer "%2 %1 kaa anubhava-kartaa %n{nahiin} hai") relations-hindi.txt 142-142
(format ro experiencer "%2 %n{nu} experience%t{percepe} %1") relations-ro.kif 93-93
(format sv experiencer "%2 upplever %n{inte} %1") relations-sv.txt 73-73
(format tg experiencer "%2 %n ay danas %1") relations-tg.txt 215-215
(subrelation attends experiencer) Merge.kif 13237-13237 attends est une sous-relation de experiencer
(subrelation losesControl experiencer) Mid-level-ontology.kif 25087-25087 losesControl est une sous-relation de experiencer
(subrelation serviceRecipient experiencer) Mid-level-ontology.kif 24531-24531 serviceRecipient est une sous-relation de experiencer
(termFormat ChineseLanguage experiencer "体验者") domainEnglishFormat.kif 22807-22807 serviceRecipient est une sous-relation de experiencer
(termFormat ChineseLanguage experiencer "经历者") chinese_format.kif 104-104 serviceRecipient est une sous-relation de experiencer
(termFormat ChineseTraditionalLanguage experiencer "體驗者") domainEnglishFormat.kif 22806-22806 serviceRecipient est une sous-relation de experiencer
(termFormat EnglishLanguage experiencer "experiencer") domainEnglishFormat.kif 22805-22805 serviceRecipient est une sous-relation de experiencer
(termFormat de experiencer "experiencer") terms-de.txt 34-34 serviceRecipient est une sous-relation de experiencer
(termFormat tg experiencer "tagakaranasan") relations-tg.txt 216-216 serviceRecipient est une sous-relation de experiencer

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


(=>
    (and
        (experiencer ?ORGANISM ?PAIN)
        (instance ?PAIN
            (PainFn ?P)))
    (exists (?PART)
        (and
            (part ?PART ?ORGANISM)
            (located ?PART ?P))))		 Mid-level-ontology.kif 7294-7301
(=>
    (and
        (freeFunctionRoomAmenity ?FR ?PHYS)
        (instance ?RM ?FR)
        (element ?RM
            (PropertyFn ?AGENT))
        (instance ?R Renting)
        (patient ?R ?RM)
        (destination ?R ?CUST)
        (instance ?X ?PHYS)
        (possesses ?AGENT ?X)
        (customer ?CUST ?AGENT)
        (or
            (and
                (instance ?X Process)
                (or
                    (agent ?X ?CUST)
                    (experiencer ?X ?CUST)))
            (and
                (possesses ?AGENT ?X)
                (instance ?X Object)
                (uses ?X ?CUST))))
    (price ?X
        (MeasureFn 0 UnitedStatesDollar) ?AGENT))		 Hotel.kif 847-868
(=>
    (and
        (freePropertyAmenity ?AGENT ?PHYS)
        (instance ?X ?PHYS)
        (customer ?CUST ?AGENT)
        (or
            (and
                (instance ?X Process)
                (or
                    (agent ?X ?CUST)
                    (experiencer ?X ?CUST)))
            (and
                (possesses ?AGENT ?X)
                (instance ?X Object)
                (uses ?X ?CUST))))
    (price ?X
        (MeasureFn 0 UnitedStatesDollar) ?AGENT))		 Hotel.kif 548-563
(=>
    (and
        (holdsDuring ?T
            (attribute ?H AVPUPainStatus))
        (instance ?P Pain)
        (during
            (WhenFn ?P) ?T)
        (experiencer ?P ?H))
    (exists (?BM)
        (and
            (instance ?BM BodyMotion)
            (experiencer ?BM ?H)
            (during
                (WhenFn ?BM) ?T)
            (causes ?P ?BM))))		 Medicine.kif 6488-6500
(=>
    (and
        (holdsDuring ?TIME
            (attribute ?ORG Embryonic))
        (instance ?BIRTH Birth)
        (equal ?BW
            (WhenFn ?BIRTH))
        (experiencer ?BIRTH ?ORG))
    (not
        (overlapsTemporally ?TIME ?BW)))		 Merge.kif 18390-18396
(=>
    (and
        (holdsDuring ?TIME
            (attribute ?ORG Larval))
        (instance ?BIRTH Birth)
        (equal ?BW
            (WhenFn ?BIRTH))
        (experiencer ?BIRTH ?ORG))
    (meetsTemporally ?BW ?TIME))		 Merge.kif 18368-18374
(=>
    (and
        (instance ?A Accelerating)
        (equal ?T
            (WhenFn ?A))
        (experiencer ?A ?E))
    (not
        (exists (?D)
            (and
                (instance ?D Decelerating)
                (experiencer ?D ?E)
                (equal ?T
                    (WhenFn ?D))))))		 Mid-level-ontology.kif 18580-18590
(=>
    (and
        (instance ?A Anaphylaxis)
        (experiencer ?A ?H))
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Death)
                (experiencer ?D ?H)
                (causes ?A ?D))) Possibility))		 Medicine.kif 1538-1548
(=>
    (and
        (instance ?A Asphyxiation)
        (experiencer ?A ?M))
    (holdsDuring
        (WhenFn ?A)
        (not
            (exists (?B)
                (and
                    (instance ?B Breathing)
                    (experiencer ?B ?A))))))		 Medicine.kif 6321-6330
(=>
    (and
        (instance ?A RheumatoidArthritis)
        (experiencer ?A ?H))
    (modalAttribute
        (exists (?JP)
            (and
                (instance ?JP JointPain)
                (causes ?A ?JP))) Likely))		 Medicine.kif 2228-2237
(=>
    (and
        (instance ?AI AutoImmuneDisorder)
        (experiencer ?AI ?H))
    (exists (?A ?D ?C)
        (and
            (instance ?A Antibody)
            (part ?A ?H)
            (instance ?C Cell)
            (part ?C ?H)
            (instance ?D Destruction)
            (instrument ?D ?A)
            (not
                (desires ?H
                    (and
                        (instance ?D Destruction)
                        (instrument ?D ?A)))))))		 Medicine.kif 2198-2214
(=>
    (and
        (instance ?B BecomingDrunk)
        (experiencer ?B ?A))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?B))
            (attribute ?A Sober))
        (holdsDuring
            (EndFn
                (WhenFn ?B))
            (attribute ?A Drunk))))		 Mid-level-ontology.kif 17730-17740
(=>
    (and
        (instance ?B Bleeding)
        (experiencer ?B ?H))
    (exists (?VA ?D)
        (and
            (or
                (instance ?VA Vein)
                (instance ?VA Artery))
            (part ?VA ?H)
            (instance ?D Damaging)
            (earlier
                (WhenFn ?D)
                (WhenFn ?B))
            (patient ?D ?VA))))		 Medicine.kif 80-94
(=>
    (and
        (instance ?B Bleeding)
        (instance ?D Death)
        (instance ?H Human)
        (instance ?P Human)
        (experiencer ?B ?P)
        (orientation ?H ?P Near)
        (modalAttribute
            (causes ?B ?D) Likely))
    (holdsObligation ?H
        (exists (?A)
            (and
                (instance ?A ApplyingTourniquet)
                (agent ?A ?H)
                (destination ?A ?P)))))		 Medicine.kif 44-59
(=>
    (and
        (instance ?B Blushing)
        (experiencer ?B ?A))
    (exists (?T1 ?T2 ?S1 ?S2)
        (and
            (instance ?S1 EmotionalState)
            (instance ?S2 EmotionalState)
            (not
                (equal ?S1 ?S2))
            (holdsDuring ?T1
                (attribute ?A ?S1))
            (holdsDuring ?T2
                (attribute ?A ?S2))
            (starts
                (WhenFn ?B) ?T2)
            (finishes
                (WhenFn ?B) ?T1))))		 Mid-level-ontology.kif 23091-23106
(=>
    (and
        (instance ?B SoberingUp)
        (experiencer ?B ?A))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?B))
            (attribute ?A Drunk))
        (holdsDuring
            (EndFn
                (WhenFn ?B))
            (attribute ?A Sober))))		 Mid-level-ontology.kif 17750-17760
(=>
    (and
        (instance ?BI BreakthroughInfection)
        (objectTransferred ?BI ?V)
        (instance ?V ?VC)
        (experiencer ?BI ?H))
    (exists (?VAX)
        (and
            (instance ?VAX Vaccination)
            (experiencer ?VAX ?H)
            (vaccine ?VACCINECLASS ?VC)
            (instance ?VACCINE ?VACCINECLASS)
            (objectTransferred ?VAX ?VACCINE)
            (earlier
                (WhenFn ?VAX)
                (WhenFn ?BI)))))		 Medicine.kif 3180-3195
(=>
    (and
        (instance ?BIRTH Birth)
        (experiencer ?BIRTH ?AGENT))
    (exists (?DEATH)
        (and
            (instance ?DEATH Death)
            (experiencer ?DEATH ?AGENT))))		 Merge.kif 10337-10344
(=>
    (and
        (instance ?BLEED Bleeding)
        (experiencer ?BLEED ?ANIMAL))
    (exists (?BLOOD)
        (and
            (instance ?BLOOD Blood)
            (holdsDuring
                (BeginFn
                    (WhenFn ?BLEED))
                (part ?BLOOD ?ANIMAL))
            (holdsDuring
                (EndFn
                    (WhenFn ?BLEED))
                (not
                    (part ?BLOOD ?ANIMAL))))))		 Mid-level-ontology.kif 23012-23020
(=>
    (and
        (instance ?BLEED Bleeding)
        (experiencer ?BLEED ?ANIMAL))
    (instance ?ANIMAL Animal))		 Mid-level-ontology.kif 23006-23010
(=>
    (and
        (instance ?C Chills)
        (experiencer ?C ?H))
    (holdsDuring
        (WhenFn ?C)
        (attribute ?H FeelingCold)))		 emotion.kif 1886-1892
(=>
    (and
        (instance ?C Choking)
        (experiencer ?C ?H))
    (exists (?CO)
        (and
            (instance ?CO Coughing)
            (subProcess ?CO ?C)
            (experiencer ?CO ?H))))		 Mid-level-ontology.kif 13102-13110
(=>
    (and
        (instance ?C Choking)
        (experiencer ?C ?H))
    (exists (?O ?T ?L)
        (and
            (instance ?O Object)
            (instance ?T Trachea)
            (instance ?L Lung)
            (part ?T ?H)
            (part ?L ?H)
            (holdsDuring
                (WhenFn ?C)
                (or
                    (located ?O ?T)
                    (located ?O ?L))))))		 Mid-level-ontology.kif 13085-13100
(=>
    (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 6980-6991
(=>
    (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 6993-7012

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (and
        (instance ?Y
            (YearFn ?YEAR))
        (equal
            (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Male)
                                        (during
                                            (WhenFn ?BIRTH) ?Y)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 357-390 Ann�e est une instance de l' ann�e ann�eEAR equal MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e and nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM average liste and nombre r�el
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (BirthsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH) ?YEAR)
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))		 People.kif 82-97 Ann�e est une instance de l' ann�e nombre entier equal BirthsPerThousandFn secteur g�opolitique and ann�e and nombre r�el equal PopulationFn secteur g�opolitique + 1000 and nombre r�el equal nombre entier and le nombre d' instances dans la classe d�crite par cha�ne sympbolique equal nombre entier + nombre r�el and nombre r�el
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal
            (DivisionFn
                (PopulationFn ?AREA) 1000) ?THOUSANDS)
        (equal ?DEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?PERSON)
                        (instance ?PERSON Human)
                        (during
                            (WhenFn ?DEATH) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))		 People.kif 118-133 Ann�e est une instance de l' ann�e nombre entier equal DeathsPerThousandFn secteur g�opolitique and ann�e and nombre r�el equal PopulationFn secteur g�opolitique + 1000 and nombre r�el equal nombre entier and le nombre d' instances dans la classe d�crite par cha�ne sympbolique equal nombre entier + nombre r�el and nombre r�el
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER))
    (and
        (equal ?BIRTHCOUNT
            (CardinalityFn
                (KappaFn ?BIRTH
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?INFANT)
                        (instance ?INFANT Human)
                        (during
                            (WhenFn ?BIRTH) ?YEAR)
                        (equal
                            (WhereFn ?BIRTH
                                (WhenFn ?BIRTH)) ?AREA)))))
        (equal
            (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
        (equal ?INFANTDEATHCOUNT
            (CardinalityFn
                (KappaFn ?DEATH
                    (and
                        (instance ?DEATH Death)
                        (experiencer ?DEATH ?INFANT)
                        (instance ?INFANT Human)
                        (age ?INFANT
                            (MeasureFn ?AGE YearDuration))
                        (lessThan ?AGE 1)
                        (during
                            (WhenFn ?DEATH) ?YEAR)
                        (equal
                            (WhereFn ?DEATH
                                (WhenFn ?DEATH)) ?AREA)))))
        (equal
            (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))		 People.kif 238-264 Ann�e est une instance de l' ann�e nombre entier equal DeathsPerThousandLiveBirthsFn secteur g�opolitique and ann�e and nombre r�el equal nombre entier and le nombre d' instances dans la classe d�crite par cha�ne sympbolique equal nombre entier + 1000 and nombre r�el equal nombre entier and le nombre d' instances dans la classe d�crite par cha�ne sympbolique equal nombre entier + nombre r�el and nombre r�el
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (attribute ?INDIVIDUAL Female)
                                        (during
                                            (WhenFn ?BIRTH) ?YEAR)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 403-436 Ann�e est une instance de l' ann�e nombre entier equal FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e and nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM average liste and nombre r�el
(<=>
    (and
        (instance ?YEAR
            (YearFn ?Y))
        (equal
            (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER))
    (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
        (and
            (instance ?LIST List)
            (instance
                (ListLengthFn ?LIST) ?COUNT)
            (forall (?LISTITEM)
                (=>
                    (inList ?LISTITEM ?LIST)
                    (and
                        (instance ?LISTITEM ?LIFEEXPECTANCYAGE)
                        (not
                            (exists (?NUMBER)
                                (and
                                    (instance ?NUMBER ?LIFEEXPECTANCYAGE)
                                    (not
                                        (inList ?NUMBER ?LIST)))))
                        (equal ?COUNT
                            (CardinalityFn
                                (KappaFn ?LIFEEXPECTANCYAGE
                                    (and
                                        (instance ?BIRTH Birth)
                                        (experiencer ?BIRTH ?INDIVIDUAL)
                                        (instance ?INDIVIDUAL Human)
                                        (during
                                            (WhenFn ?BIRTH) ?YEAR)
                                        (equal
                                            (WhereFn ?BIRTH
                                                (WhenFn ?BIRTH)) ?AREA)
                                        (instance ?DEATH Death)
                                        (experiencer ?DEATH ?INDIVIDUAL)
                                        (holdsDuring
                                            (WhenFn ?DEATH)
                                            (age ?INDIVIDUAL
                                                (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))
            (average ?LIST ?REALNUMBER))))		 People.kif 310-342 Ann�e est une instance de l' ann�e nombre entier equal LifeExpectancyAtBirthFn secteur g�opolitique and ann�e and nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM average liste and nombre r�el
(=>
    (and
        (allergic ?H ?S)
        (instance ?SUB ?S)
        (holdsDuring ?T
            (meetsSpatially ?SUB ?H)))
    (modalAttribute
        (exists (?AR)
            (and
                (instance ?AR AllergicReaction)
                (experiencer ?AR ?H)
                (overlapsTemporally ?T
                    (WhenFn ?AR))
                (before
                    (BeginFn ?T)
                    (BeginFn
                        (WhenFn ?AR))))) Likely))		 Mid-level-ontology.kif 7168-7181
(=>
    (and
        (customer ?CUST ?AGENT)
        (propertyAmenity ?AGENT ?PHYS)
        (subclass ?PHYS Object)
        (instance ?X ?PHYS))
    (confersRight
        (exists (?PROC)
            (and
                (instance ?PROC Process)
                (or
                    (resource ?PROC ?X)
                    (instrument ?PROC ?X)
                    (patient ?PROC ?X))
                (or
                    (agent ?PROC ?CUST)
                    (experiencer ?PROC ?CUST)))) ?AGENT ?CUST))		 Hotel.kif 504-520
(=>
    (and
        (functionRoomAmenity ?FR ?PHY)
        (instance ?RM ?FR)
        (element ?RM
            (PropertyFn ?HOTEL))
        (instance ?RENT Renting)
        (patient ?RENT ?RM)
        (agent ?RENT ?HOTEL)
        (destination ?RENT ?CUST)
        (subclass ?PHY Object))
    (modalAttribute
        (exists (?O ?P)
            (and
                (instance ?O ?PHY)
                (instance ?P Process)
                (or
                    (resource ?P ?O)
                    (instrument ?P ?O)
                    (patient ?P ?O))
                (or
                    (agent ?P ?CUST)
                    (experiencer ?P ?CUST)))) Possibility))		 Hotel.kif 815-836
(=>
    (and
        (holdsDuring ?T
            (attribute ?A ?ES))
        (actionTendency ?ES ?PI))
    (modalAttribute
        (exists (?P)
            (and
                (instance ?P ?PI)
                (during
                    (WhenFn ?P) ?T)
                (experiencer ?P ?A))) Likely))		 emotion.kif 161-172
(=>
    (and
        (holdsDuring ?T
            (attribute ?H AVPUPainStatus))
        (instance ?P Pain)
        (during
            (WhenFn ?P) ?T)
        (experiencer ?P ?H))
    (exists (?BM)
        (and
            (instance ?BM BodyMotion)
            (experiencer ?BM ?H)
            (during
                (WhenFn ?BM) ?T)
            (causes ?P ?BM))))		 Medicine.kif 6488-6500
(=>
    (and
        (holdsDuring ?T1
            (attribute ?F Menopausal))
        (equal ?BEFORE
            (SubtractionFn
                (MeasureFn 1 YearDuration)
                (BeginFn ?T1)))
        (equal ?YBEFORE
            (TimeIntervalFn ?YBEFORE
                (BeginFn ?T1))))
    (not
        (exists (?M)
            (and
                (instance ?M Menstruation)
                (experiencer ?M ?F)))))		 Mid-level-ontology.kif 25535-25549
(=>
    (and
        (holdsDuring ?T1
            (attribute ?P Evacuee))
        (instance ?T1 TimeInterval))
    (exists (?EV ?MIL)
        (and
            (instance ?EV Evacuation)
            (agent ?EV ?MIL)
            (instance ?MIL MilitaryOrganization)
            (experiencer ?EV ?P)
            (earlier
                (WhenFn ?EV) ?T1))))		 MilitaryPersons.kif 120-131
(=>
    (and
        (instance ?A Accelerating)
        (equal ?T
            (WhenFn ?A))
        (experiencer ?A ?E))
    (not
        (exists (?D)
            (and
                (instance ?D Decelerating)
                (experiencer ?D ?E)
                (equal ?T
                    (WhenFn ?D))))))		 Mid-level-ontology.kif 18580-18590
(=>
    (and
        (instance ?A Anaphylaxis)
        (experiencer ?A ?H))
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Death)
                (experiencer ?D ?H)
                (causes ?A ?D))) Possibility))		 Medicine.kif 1538-1548
(=>
    (and
        (instance ?A Asphyxiation)
        (experiencer ?A ?M))
    (holdsDuring
        (WhenFn ?A)
        (not
            (exists (?B)
                (and
                    (instance ?B Breathing)
                    (experiencer ?B ?A))))))		 Medicine.kif 6321-6330
(=>
    (and
        (instance ?AVU AngryVoiceUtterance)
        (agent ?AVU ?A))
    (modalAttribute
        (causesProposition
            (exists (?ANG)
                (and
                    (instance ?ANG Anger)
                    (experiencer ?ANG ?A)))
            (and
                (instance ?AVU AngryVoiceUtterance)
                (agent ?AVU ?A))) Likely))		 emotion.kif 1945-1958
(=>
    (and
        (instance ?AWARD LegalAward)
        (refers ?AWARD ?ACTION)
        (instance ?ACTION LegalAction)
        (agent ?ACTION ?PLAINTIFF))
    (confersRight
        (exists (?GET ?OBJ ?VALUE)
            (and
                (instance ?GET Getting)
                (experiencer ?GET ?PLAINTIFF)
                (patient ?GET ?OBJ)
                (monetaryValue ?OBJ ?VALUE))) ?AWARD ?PLAINTIFF))		 Mid-level-ontology.kif 17587-17599
(=>
    (and
        (instance ?B Bequeathing)
        (agent ?B ?P)
        (destination ?B ?H)
        (objectTransferred ?B ?PROP))
    (exists (?D)
        (and
            (instance ?D Death)
            (experiencer ?D ?P)
            (earlier
                (WhenFn ?D)
                (WhenFn ?B))
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?D))
                (possesses ?P ?PROP))
            (confersNorm ?P
                (possesses ?H ?PROP) Permission))))		 Mid-level-ontology.kif 20250-20266
(=>
    (and
        (instance ?BI BreakthroughInfection)
        (objectTransferred ?BI ?V)
        (instance ?V ?VC)
        (experiencer ?BI ?H))
    (exists (?VAX)
        (and
            (instance ?VAX Vaccination)
            (experiencer ?VAX ?H)
            (vaccine ?VACCINECLASS ?VC)
            (instance ?VACCINE ?VACCINECLASS)
            (objectTransferred ?VAX ?VACCINE)
            (earlier
                (WhenFn ?VAX)
                (WhenFn ?BI)))))		 Medicine.kif 3180-3195
(=>
    (and
        (instance ?BIRTH Birth)
        (experiencer ?BIRTH ?AGENT))
    (exists (?DEATH)
        (and
            (instance ?DEATH Death)
            (experiencer ?DEATH ?AGENT))))		 Merge.kif 10337-10344
(=>
    (and
        (instance ?C Choking)
        (experiencer ?C ?H))
    (exists (?CO)
        (and
            (instance ?CO Coughing)
            (subProcess ?CO ?C)
            (experiencer ?CO ?H))))		 Mid-level-ontology.kif 13102-13110
(=>
    (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 6980-6991
(=>
    (and
        (instance ?DEATH Death)
        (instance ?REM OrganismRemains)
        (instance ?ORG Organism)
        (holdsDuring ?T2
            (part ?OBJ ?REM))
        (holdsDuring ?T1
            (part ?OBJ ?ORG))
        (earlier ?T1 ?T2)
        (result ?DEATH ?REM))
    (experiencer ?DEATH ?ORG))		 Mid-level-ontology.kif 74-83
(=>
    (and
        (instance ?DEGREE AcademicDegree)
        (possesses ?AGENT ?DEGREE))
    (exists (?PROGRAM ?STUDY)
        (and
            (instance ?PROGRAM EducationalProgram)
            (realization ?STUDY ?PROGRAM)
            (experiencer ?STUDY ?AGENT))))		 Mid-level-ontology.kif 17901-17909

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(and
    (instance ?YEAR
        (YearFn ?Y))
    (equal
        (ChildrenBornPerWomanFn ?AREA ?YEAR)
        (CardinalityFn
            (KappaFn ?INFANT
                (and
                    (instance ?BIRTH Birth)
                    (experiencer ?BIRTH ?INFANT)
                    (agent ?BIRTH ?WOMAN)
                    (instance ?WOMAN Human)
                    (attribute ?WOMAN Female)
                    (holdsDuring ?YEAR
                        (inhabits ?WOMAN ?AREA)))))))		 People.kif 456-469 Ann�e est une instance de l' ann�e nombre entier equal ChildrenBornPerWomanFn secteur g�opolitique and ann�e and le nombre d' instances dans la classe d�crite par cha�ne sympbolique
(decreasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentAntidote ?AGENT ?SUBSTANCE ?PROCESS)
        (instance ?SAMPLE ?SUBSTANCE)
        (instance ?THERAPY ?PROCESS)
        (experiencer ?THERAPY ?ORGANISM)
        (patient ?THERAPY ?SAMPLE))
    (attribute ?ORGANISM ?SYMPTOM))		 WMD.kif 921-929 biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE est une instance de ?SUBSTANCE ?THERAPY est une instance de ?PROCESS ?ORGANISM exp�rimente ?THERAPY ?SAMPLE est un patient de ?THERAPY diminue la probabilit� de ?SYMPTOM est un attribut de ?ORGANISM
(increasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE)
        (instance ?PROCESS ?PROCESSTYPE)
        (experiencer ?PROCESS ?ORGANISM))
    (attribute ?ORGANISM ?SYMPTOM))		 WMD.kif 767-773 biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE ?PROCESS est une instance de ?PROCESSTYPE ?ORGANISM exp�rimente ?PROCESS augmente la probabilit� de ?SYMPTOM est un attribut de ?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 is open source software produced by Articulate Software and its partners