TreeView Knowledge Base Browser

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 2402-2406
(domain experiencer 1 Process)	Merge.kif 2398-2398	domain experiencer, 1 and Process
(domain experiencer 2 Agent)	Merge.kif 2399-2399	domain experiencer, 2 and Agent
(instance experiencer CaseRole)	Merge.kif 2396-2396	instance experiencer and CaseRole
(instance experiencer PartialValuedRelation)	Merge.kif 2397-2397	instance experiencer and PartialValuedRelation
(subrelation experiencer involvedInEvent)	Merge.kif 2400-2400	subrelation experiencer and 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
(subrelation attends experiencer)	Merge.kif 12837-12837	subrelation attends and experiencer
(subrelation losesControl experiencer)	Mid-level-ontology.kif 22869-22869	subrelation losesControl and experiencer
(subrelation serviceRecipient experiencer)	Mid-level-ontology.kif 22313-22313	subrelation serviceRecipient and experiencer
(termFormat ChineseLanguage experiencer "体验者")	domainEnglishFormat.kif 22797-22797
(termFormat ChineseLanguage experiencer "经历者")	chinese_format.kif 104-104
(termFormat ChineseTraditionalLanguage experiencer "體驗者")	domainEnglishFormat.kif 22796-22796
(termFormat EnglishLanguage experiencer "experiencer")	domainEnglishFormat.kif 22795-22795

antecedent

(=> (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 ?CUST ?X)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT))	Hotel.kif 820-841	freeFunctionRoomAmenity HotelFunctionRoom and Class instance Entity and HotelFunctionRoom element Entity and PropertyFn CognitiveAgent instance Process and Renting patient Process and Entity destination Process and CognitiveAgent instance Agent and Class possesses CognitiveAgent and Agent customer CognitiveAgent and CognitiveAgent instance Agent and Process agent Agent and CognitiveAgent experiencer Agent and CognitiveAgent possesses CognitiveAgent and Agent instance Agent and Object uses CognitiveAgent and Agent price Agent, MeasureFn 0 and UnitedStatesDollar and CognitiveAgent
(=> (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 ?CUST ?X)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT))	Hotel.kif 526-541	freePropertyAmenity CognitiveAgent and Class instance Agent and Class customer CognitiveAgent and CognitiveAgent instance Agent and Process agent Agent and CognitiveAgent experiencer Agent and CognitiveAgent possesses CognitiveAgent and Agent instance Agent and Object uses CognitiveAgent and Agent price Agent, MeasureFn 0 and UnitedStatesDollar and CognitiveAgent
(=> (and (holdsDuring ?TIME (attribute ?ORG Embryonic)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (not (overlapsTemporally ?TIME ?BW)))	Merge.kif 17930-17936	holdsDuring TimeInterval and attribute Agent and Embryonic instance Process and Birth equal TimeInterval and WhenFn Process experiencer Process and Agent overlapsTemporally TimeInterval and TimeInterval
(=> (and (holdsDuring ?TIME (attribute ?ORG Larval)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (meetsTemporally ?BW ?TIME))	Merge.kif 17908-17914	holdsDuring TimeInterval and attribute Agent and Larval instance Process and Birth equal TimeInterval and WhenFn Process experiencer Process and Agent meetsTemporally TimeInterval and TimeInterval
(=> (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 16612-16622	instance Process and Accelerating equal TimeInterval and WhenFn Process experiencer Process and Agent Process instance Process and Decelerating experiencer Process and Agent equal TimeInterval and WhenFn Process
(=> (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 15764-15774	instance Process and BecomingDrunk experiencer Process and Agent holdsDuring BeginFn WhenFn Process and attribute Agent and Sober holdsDuring EndFn WhenFn Process and attribute Agent and Drunk
(=> (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 20767-20782	instance Process and Blushing experiencer Process and Agent TimeInterval TimeInterval, Entity and Entity instance Entity and EmotionalState instance Entity and EmotionalState equal Entity and Entity holdsDuring TimeInterval and attribute Agent and Entity holdsDuring TimeInterval and attribute Agent and Entity starts WhenFn Process and TimeInterval finishes WhenFn Process and TimeInterval
(=> (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 15784-15794	instance Process and SoberingUp experiencer Process and Agent holdsDuring BeginFn WhenFn Process and attribute Agent and Drunk holdsDuring EndFn WhenFn Process and attribute Agent and Sober
(=> (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?AGENT)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?AGENT))))	Merge.kif 10105-10112	instance Process and Birth experiencer Process and Agent Process instance Process and Death experiencer Process and Agent
(=> (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 20692-20700	instance Process and Bleeding experiencer Process and Agent Entity instance Entity and Blood holdsDuring BeginFn WhenFn Process and part Entity and Agent holdsDuring EndFn WhenFn Process and part Entity and Agent
(=> (and (instance ?BLEED Bleeding) (experiencer ?BLEED ?ANIMAL)) (instance ?ANIMAL Animal))	Mid-level-ontology.kif 20686-20690	instance Process and Bleeding experiencer Process and Agent instance Agent and Animal
(=> (and (instance ?C Chills) (experiencer ?C ?H)) (holdsDuring (WhenFn ?C) (attribute ?H FeelingCold)))	emotion.kif 1894-1900	instance Process and Chills experiencer Process and Agent holdsDuring WhenFn Process and attribute Agent and FeelingCold
(=> (and (instance ?C Choking) (experiencer ?C ?H)) (exists (?CO) (and (instance ?CO Coughing) (subProcess ?CO ?C) (experiencer ?CO ?H))))	Mid-level-ontology.kif 11252-11260	instance Process and Choking experiencer Process and Agent ProcessO instance ProcessO and Coughing subProcess ProcessO and Process experiencer ProcessO and Agent
(=> (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 11235-11250	instance Process and Choking experiencer Process and Agent Entity Object and Object instance Entity and Object instance Object and Trachea instance Object and Lung part Object and Agent part Object and Agent holdsDuring WhenFn Process and located Entity and Object located Entity and Object
(=> (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 5723-5734	instance Process and Coughing experiencer Process and Agent Process Process instance Process and Inhaling instance Process and Exhaling subProcess Process and Process subProcess Process and Process experiencer Process and Agent experiencer Process and Agent
(=> (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 5736-5755	instance Process and Coughing experiencer Process and Agent hasPurpose Process and entity entity, entity and entity instance entity and Lung instance entity and Throat instance entity and Object instance entity and Removing part entity and Agent part entity and Agent objectTransferred entity and entity holdsDuring ImmediatePastFn WhenFn Process and located entity and entity located entity and entity
(=> (and (instance ?C Crying) (experiencer ?C ?H)) (exists (?T ?E) (and (instance ?T TearSubstance) (origin ?C ?E) (objectTransferred ?C ?T) (instance ?E Eye) (part ?E ?H))))	emotion.kif 1137-1147	instance Transfer and Crying experiencer Transfer and Agent Object Object instance Object and TearSubstance origin Transfer and Object objectTransferred Transfer and Object instance Object and Eye part Object and Agent
(=> (and (instance ?C Crying) (experiencer ?C ?H)) (holdsDuring (WhenFn ?C) (attribute ?H Sadness)))	emotion.kif 1149-1155	instance Process and Crying experiencer Process and Agent holdsDuring WhenFn Process and attribute Agent and Sadness
(=> (and (instance ?C Sneezing) (experiencer ?C ?H)) (hasPurpose ?C (exists (?R ?N ?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 5802-5820	instance Process and Sneezing experiencer Process and Agent hasPurpose Process and entity entity and entity instance entity and NasalCavity instance entityOSE and Nose equal entityOSE and HoleHostFn entity instance entity and Object instance entity and Removing part entityOSE and Agent objectTransferred entity and entity holdsDuring ImmediatePastFn WhenFn Process and located entity and entity
(=> (and (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG)) (exists (?REM) (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 10130-10145	instance Process and Death instance Agent and Organism experiencer Process and Agent Entity result Process and Entity instance Entity and OrganicObject holdsDuring FutureFn WhenFn Process and attribute Entity and Dead holdsDuring ImmediateFutureFn WhenFn Process and part entity and Entity holdsDuring ImmediatePastFn WhenFn Process and part entity and Agent
(=> (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 83-92	instance Process and Death instance Entity and OrganismRemains instance Agent and Organism holdsDuring TimeInterval and part entity and Entity holdsDuring TimeInterval and part entity and Agent earlier TimeInterval and TimeInterval experiencer Process and Agent result Process and Entity
(=> (and (instance ?DREAM Dreaming) (experiencer ?DREAM ?AGENT)) (holdsDuring (WhenFn ?DREAM) (attribute ?AGENT Asleep)))	Mid-level-ontology.kif 17625-17629	instance Process and Dreaming experiencer Process and Agent holdsDuring WhenFn Process and attribute Agent and Asleep
(=> (and (instance ?E (EdemaFn ?P)) (experiencer ?E ?A)) (exists (?PI) (and (instance ?PI BodyPart) (part ?PI ?A) (located ?E ?PI))))	Mid-level-ontology.kif 9554-9562	instance Process and EdemaFn BodyPart experiencer Process and Agent BodyPartI instance BodyPartI and BodyPart part BodyPartI and Agent located Process and BodyPartI
(=> (and (instance ?E Edema) (experiencer ?E ?A)) (exists (?T ?P ?L) (and (instance ?T Transfer) (instance ?L Liquid) (instance ?P BodyPart) (part ?P ?A) (destination ?T ?P) (moves ?T ?L) (subProcess ?T ?E))))	Mid-level-ontology.kif 9532-9544	instance Process and Edema experiencer Process and Agent Motion Object and Object instance Motion and Transfer instance Object and Liquid instance Object and BodyPart part Object and Agent destination Motion and Object moves Motion and Object subProcess Motion and Process
(=> (and (instance ?ELT ExperiencingALumpInTheThroat) (experiencer ?ELT ?A)) (exists (?P) (and (instance ?P Perception) (subProcess ?P ?ELT) (agent ?P ?A) (patient ?P ?T) (instance ?T Throat) (part ?T ?A))))	emotion.kif 1718-1729	instance Process and ExperiencingALumpInTheThroat experiencer Process and Agent Process instance Process and Perception subProcess Process and Process agent Process and Agent patient Process and Object instance Object and Throat part Object and Agent

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) (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 372-405	instance Year and YearFn YearEAR equal MaleLifeExpectancyAtBirthFn GeopoliticalArea and Year and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human attribute entity and Male during WhenFn entity and Year equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (equal (BirthsPerThousandFn ?AREA (YearFn ?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) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 108-121	equal BirthsPerThousandFn GeopoliticalArea and YearFn Integer and RealNumber equal DivisionFn PopulationFn GeopoliticalArea and 1000 and RealNumber equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Birth experiencer SymbolicString and entity instance entity and Human during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn Integer and RealNumber and RealNumber
(<=> (equal (DeathsPerThousandFn ?AREA (YearFn ?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) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))	People.kif 142-155	equal DeathsPerThousandFn GeopoliticalArea and YearFn Integer and RealNumber equal DivisionFn PopulationFn GeopoliticalArea and 1000 and RealNumber equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Death experiencer SymbolicString and entity instance entity and Human during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn Integer and RealNumber and RealNumber
(<=> (equal (DeathsPerThousandLiveBirthsFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) (YearFn ?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) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))	People.kif 257-281	equal DeathsPerThousandLiveBirthsFn GeopoliticalArea and YearFn Integer and RealNumber equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Birth experiencer SymbolicString and entity instance entity and Human during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn Integer and 1000 and RealNumber equal entityDEATHCOUNT and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Death experiencer SymbolicString and entity instance entity and Human age entity and MeasureFn entity and YearDuration lessThan entity and 1 during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn entityDEATHCOUNT and RealNumber and RealNumber
(<=> (equal (FemaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (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) (YearFn ?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 418-449	equal FemaleLifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human attribute entity and Female during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (equal (LifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (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) (YearFn ?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 327-357	equal LifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(=> (and (allergic ?H ?S) (instance ?SUB ?S) (holdsDuring ?T (meetsSpatially ?S ?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 5907-5920	allergic Human and Substance instance SubstanceUB and Substance holdsDuring TimePosition and meetsSpatially Substance and Human modalAttribute entity instance entity and AllergicReaction experiencer entity and Human overlapsTemporally TimePosition and WhenFn entity before BeginFn TimePosition and BeginFn WhenFn entity and Likely
(=> (and (attribute ?H Mausaharati) (instance ?D Drumming) (agent ?D ?H) (instance ?DAY Day) (instance ?S Sunrise) (during ?S ?D) (before ?D ?S)) (hasPurpose ?D (exists (?P ?SUHUR ?WU) (and (instance ?WU WakingUp) (experiencer ?WU ?P) (instance ?SUHUR Suhur) (agent ?SUHUR ?P) (before ?WU ?SUHUR) (during ?WU ?DAY) (during ?SUHUR ?DAY)))))	ArabicCulture.kif 57-75	attribute Agent and Mausaharati instance TimeInterval and Drumming agent TimeInterval and Agent instance TimeIntervalAY and Day instance TimeInterval and Sunrise during TimeInterval and TimeInterval before TimeInterval and TimeInterval hasPurpose TimeInterval and entity TimeIntervalUHUR and entity instance entity and WakingUp experiencer entity and entity instance TimeIntervalUHUR and Suhur agent TimeIntervalUHUR and entity before entity and TimeIntervalUHUR during entity and TimeIntervalAY during TimeIntervalUHUR and TimeIntervalAY
(=> (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 484-500	customer CognitiveAgent and CognitiveAgent propertyAmenity CognitiveAgent and Physical subclass Physical and Object instance Entity and Physical confersRight entity instance entity and Process resource entity and Entity instrument entity and Entity patient entity and Entity agent entity and CognitiveAgent experiencer entity and CognitiveAgent, CognitiveAgent and CognitiveAgent
(=> (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 790-811	functionRoomAmenity HotelFunctionRoom and Physical instance Entity and HotelFunctionRoom element Entity and PropertyFn Agent instance Process and Renting patient Process and Entity agent Process and Agent destination Process and Entity subclass Physical and Object modalAttribute entity entity instance entity and Physical instance entity and Process resource entity and entity instrument entity and entity patient entity and entity agent entity and Entity experiencer entity and Entity and Possibility
(=> (and (holdsDuring ?T (attribute ?A ?ES)) (actionTendency ?ES ?P)) (modalAttribute (exists (?PI) (and (instance ?P ?PI) (during ?PI ?T) (experiencer ?PI ?A))) Likely))	emotion.kif 161-172	holdsDuring TimePosition and attribute entity and EmotionalState actionTendency EmotionalState and EmotionalBehavioralProcess modalAttribute EmotionalBehavioralProcessI instance EmotionalBehavioralProcess and EmotionalBehavioralProcessI during EmotionalBehavioralProcessI and TimePosition experiencer EmotionalBehavioralProcessI and entity and Likely
(=> (and (holdsDuring ?T1 (attribute ?F Menopausal)) (equal ?BEFORE (SubtractionFn (YearDuration 1) (BeginFn ?T1))) (equal ?YBEFORE (TimeIntervalFn ?YBEFORE (BeginFn ?T1)))) (not (exists (?M) (and (instance ?M Menstruation) (experiencer ?M ?F)))))	Mid-level-ontology.kif 23329-23343	holdsDuring TimeInterval and attribute Agent and Menopausal equal RealNumber and SubtractionFn YearDuration 1 and BeginFn TimeInterval equal TimeInterval and TimeIntervalFn TimeInterval and BeginFn TimeInterval Process instance Process and Menstruation experiencer Process and Agent
(=> (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	holdsDuring TimeInterval and attribute Agent and Evacuee instance TimeInterval and TimeInterval Process Agent instance Process and Evacuation agent Process and Agent instance Agent and MilitaryOrganization experiencer Process and Agent earlier WhenFn Process and TimeInterval
(=> (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 16612-16622	instance Process and Accelerating equal TimeInterval and WhenFn Process experiencer Process and Agent Process instance Process and Decelerating experiencer Process and Agent equal TimeInterval and WhenFn Process
(=> (and (instance ?A Armor) (or (part ?A ?OBJ) (meetsSpatially ?A ?OBJ))) (hasPurpose ?A (exists (?MAINTAINING) (and (instance ?MAINTAINING Maintaining) (instrument ?MAINTAINING ?A) (experiencer ?MAINTAINING ?OBJ)))))	MilitaryDevices.kif 1619-1630	instance Object and Armor part Object and Object meetsSpatially Object and Object hasPurpose Object and entity instance entity and Maintaining instrument entity and Object experiencer entity and Object
(=> (and (instance ?A Armor) (or (part ?A ?OBJ) (meetsSpatially ?A ?OBJ))) (hasPurpose ?A (not (exists (?DAMAGING) (and (instance ?DAMAGING Damaging) (instrument ?DAMAGING ?A) (experiencer ?DAMAGING ?OBJ))))))	MilitaryDevices.kif 1632-1644	instance Object and Armor part Object and Object meetsSpatially Object and Object hasPurpose Object and entity instance entity and Damaging instrument entity and Object experiencer entity and Object
(=> (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 1953-1966	instance Process and AngryVoiceUtterance agent Process and Agent modalAttribute causesProposition AgentNG instance AgentNG and Anger experiencer AgentNG and Agent and instance Process and AngryVoiceUtterance agent Process and Agent and Likely
(=> (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 15621-15633	instance Entity and LegalAward refers Entity and Process instance Process and LegalAction agent Process and CognitiveAgent confersRight entity entity and entity instance entity and Getting experiencer entity and CognitiveAgent patient entity and entity monetaryValue entity and entity, Entity and CognitiveAgent
(=> (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 18030-18046	instance Transfer and Bequeathing agent Transfer and Agent destination Transfer and Entity objectTransferred Transfer and AgentROP Process instance Process and Death experiencer Process and Agent earlier WhenFn Process and WhenFn Transfer holdsDuring ImmediatePastFn WhenFn Process and possesses Agent and AgentROP confersNorm Agent, possesses Entity and AgentROP and Permission
(=> (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?AGENT)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?AGENT))))	Merge.kif 10105-10112	instance Process and Birth experiencer Process and Agent Process instance Process and Death experiencer Process and Agent
(=> (and (instance ?C Choking) (experiencer ?C ?H)) (exists (?CO) (and (instance ?CO Coughing) (subProcess ?CO ?C) (experiencer ?CO ?H))))	Mid-level-ontology.kif 11252-11260	instance Process and Choking experiencer Process and Agent ProcessO instance ProcessO and Coughing subProcess ProcessO and Process experiencer ProcessO and Agent
(=> (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 5723-5734	instance Process and Coughing experiencer Process and Agent Process Process instance Process and Inhaling instance Process and Exhaling subProcess Process and Process subProcess Process and Process experiencer Process and Agent experiencer Process and Agent
(=> (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 72-81	instance Process and Death instance Entity and OrganismRemains instance Agent and Organism holdsDuring TimeInterval and part entity and Entity holdsDuring TimeInterval and part entity and Agent earlier TimeInterval and TimeInterval result Process and Entity experiencer Process and Agent
(=> (and (instance ?DEGREE AcademicDegree) (possesses ?AGENT ?DEGREE)) (exists (?PROGRAM ?STUDY) (and (instance ?PROGRAM EducationalProgram) (realization ?STUDY ?PROGRAM) (experiencer ?STUDY ?AGENT))))	Mid-level-ontology.kif 15934-15942	instance Object and AcademicDegree possesses Agent and Object Proposition Process instance Proposition and EducationalProgram realization Process and Proposition experiencer Process and Agent
(=> (and (instance ?DISEASE LifeThreateningDisease) (attribute ?AGENT ?DISEASE)) (capability Death experiencer ?AGENT))	WMD.kif 1021-1025	instance Attribute and LifeThreateningDisease attribute Object and Attribute capability Death, experiencer and Object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(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 917-925	decreasesLikelihood biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS instance ?SAMPLE and ?SUBSTANCE instance ?THERAPY and ?PROCESS experiencer ?THERAPY and ?ORGANISM patient ?THERAPY and ?SAMPLE and attribute ?ORGANISM and ?SYMPTOM
(equal (ChildrenBornPerWomanFn ?AREA (YearFn ?YEAR)) (CardinalityFn (KappaFn ?INFANT (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (agent ?BIRTH ?WOMAN) (instance ?WOMAN Human) (attribute ?WOMAN Female) (holdsDuring (YearFn ?YEAR) (inhabits ?WOMAN ?AREA))))))	People.kif 469-479	equal ChildrenBornPerWomanFn GeopoliticalArea and YearFn Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and SymbolicString agent entity and entity instance entity and Human attribute entity and Female holdsDuring YearFn Integer and inhabits entity and GeopoliticalArea
(increasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE) (instance ?PROCESS ?PROCESSTYPE) (experiencer ?PROCESS ?ORGANISM)) (attribute ?ORGANISM ?SYMPTOM))	WMD.kif 767-773	increasesLikelihood biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE instance ?PROCESS and ?PROCESSTYPE experiencer ?PROCESS and ?ORGANISM and attribute ?ORGANISM and ?SYMPTOM

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

KB Term:			Term intersection

English Word: