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 2439-2443
(domain experiencer 1 Process)	Merge.kif 2435-2435	domain experiencer, 1 and Process
(domain experiencer 2 AutonomousAgent)	Merge.kif 2436-2436	domain experiencer, 2 and AutonomousAgent
(instance experiencer CaseRole)	Merge.kif 2433-2433	instance experiencer and CaseRole
(instance experiencer PartialValuedRelation)	Merge.kif 2434-2434	instance experiencer and PartialValuedRelation
(subrelation experiencer involvedInEvent)	Merge.kif 2437-2437	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 12942-12942	subrelation attends and experiencer
(subrelation losesControl experiencer)	Mid-level-ontology.kif 23396-23396	subrelation losesControl and experiencer
(subrelation serviceRecipient experiencer)	Mid-level-ontology.kif 22840-22840	subrelation serviceRecipient and experiencer
(termFormat ChineseLanguage experiencer "体验者")	domainEnglishFormat.kif 22792-22792
(termFormat ChineseLanguage experiencer "经历者")	chinese_format.kif 104-104
(termFormat ChineseTraditionalLanguage experiencer "體驗者")	domainEnglishFormat.kif 22791-22791
(termFormat EnglishLanguage experiencer "experiencer")	domainEnglishFormat.kif 22790-22790

antecedent

(=> (and (experiencer ?ORGANISM ?PAIN) (instance ?PAIN (PainFn ?P))) (exists (?PART) (and (part ?PART ?ORGANISM) (located ?PART ?P))))	Mid-level-ontology.kif 6317-6324	experiencer Process and AutonomousAgent instance AutonomousAgent and PainFn BodyPart BodyPartART part BodyPartART and Process located BodyPartART and BodyPart
(=> (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 841-862	freeFunctionRoomAmenity HotelFunctionRoom and Physical instance Entity and HotelFunctionRoom element Entity and PropertyFn AutonomousAgent instance Process and Renting patient Process and Entity destination Process and CognitiveAgent instance Object and Physical possesses AutonomousAgent and Object customer CognitiveAgent and AutonomousAgent instance Object and Process agent Object and CognitiveAgent experiencer Object and CognitiveAgent possesses AutonomousAgent and Object instance Object and Object uses Object and CognitiveAgent price Object, MeasureFn 0 and UnitedStatesDollar and AutonomousAgent
(=> (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 546-561	freePropertyAmenity AutonomousAgent and Physical instance Process and Physical customer CognitiveAgent and AutonomousAgent instance Process and Process agent Process and CognitiveAgent experiencer Process and CognitiveAgent possesses AutonomousAgent and Process instance Process and Object uses Process and CognitiveAgent price Process, MeasureFn 0 and UnitedStatesDollar and AutonomousAgent
(=> (and (holdsDuring ?TIME (attribute ?ORG Embryonic)) (instance ?BIRTH Birth) (equal ?BW (WhenFn ?BIRTH)) (experiencer ?BIRTH ?ORG)) (not (overlapsTemporally ?TIME ?BW)))	Merge.kif 18041-18047	holdsDuring TimeInterval and attribute AutonomousAgent and Embryonic instance Process and Birth equal TimeInterval and WhenFn Process experiencer Process and AutonomousAgent 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 18019-18025	holdsDuring TimeInterval and attribute AutonomousAgent and Larval instance Process and Birth equal TimeInterval and WhenFn Process experiencer Process and AutonomousAgent 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 17036-17046	instance Process and Accelerating equal TimeInterval and WhenFn Process experiencer Process and AutonomousAgent Process instance Process and Decelerating experiencer Process and AutonomousAgent 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 16186-16196	instance Process and BecomingDrunk experiencer Process and AutonomousAgent holdsDuring BeginFn WhenFn Process and attribute AutonomousAgent and Sober holdsDuring EndFn WhenFn Process and attribute AutonomousAgent 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 21253-21268	instance Process and Blushing experiencer Process and AutonomousAgent TimeInterval TimeInterval, Entity and Entity instance Entity and EmotionalState instance Entity and EmotionalState equal Entity and Entity holdsDuring TimeInterval and attribute AutonomousAgent and Entity holdsDuring TimeInterval and attribute AutonomousAgent 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 16206-16216	instance Process and SoberingUp experiencer Process and AutonomousAgent holdsDuring BeginFn WhenFn Process and attribute AutonomousAgent and Drunk holdsDuring EndFn WhenFn Process and attribute AutonomousAgent and Sober
(=> (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?AGENT)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?AGENT))))	Merge.kif 10149-10156	instance Process and Birth experiencer Process and AutonomousAgent Process instance Process and Death experiencer Process and AutonomousAgent
(=> (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 21174-21182	instance Process and Bleeding experiencer Process and AutonomousAgent Entity instance Entity and Blood holdsDuring BeginFn WhenFn Process and part Entity and AutonomousAgent holdsDuring EndFn WhenFn Process and part Entity and AutonomousAgent
(=> (and (instance ?BLEED Bleeding) (experiencer ?BLEED ?ANIMAL)) (instance ?ANIMAL Animal))	Mid-level-ontology.kif 21168-21172	instance Process and Bleeding experiencer Process and AutonomousAgent instance AutonomousAgent and Animal
(=> (and (instance ?C Chills) (experiencer ?C ?H)) (holdsDuring (WhenFn ?C) (attribute ?H FeelingCold)))	emotion.kif 1886-1892	instance Process and Chills experiencer Process and AutonomousAgent holdsDuring WhenFn Process and attribute AutonomousAgent 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 11618-11626	instance Process and Choking experiencer Process and AutonomousAgent ProcessO instance ProcessO and Coughing subProcess ProcessO and Process experiencer ProcessO and AutonomousAgent
(=> (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 11601-11616	instance Process and Choking experiencer Process and AutonomousAgent Entity Object and Object instance Entity and Object instance Object and Trachea instance Object and Lung part Object and AutonomousAgent part Object and AutonomousAgent 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 6003-6014	instance Process and Coughing experiencer Process and AutonomousAgent Process Process instance Process and Inhaling instance Process and Exhaling subProcess Process and Process subProcess Process and Process experiencer Process and AutonomousAgent experiencer Process and AutonomousAgent
(=> (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 6016-6035	instance Process and Coughing experiencer Process and AutonomousAgent 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 AutonomousAgent part entity and AutonomousAgent 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 1129-1139	instance Transfer and Crying experiencer Transfer and AutonomousAgent Object Object instance Object and TearSubstance origin Transfer and Object objectTransferred Transfer and Object instance Object and Eye part Object and AutonomousAgent
(=> (and (instance ?C Crying) (experiencer ?C ?H)) (holdsDuring (WhenFn ?C) (attribute ?H Sadness)))	emotion.kif 1141-1147	instance Process and Crying experiencer Process and AutonomousAgent holdsDuring WhenFn Process and attribute AutonomousAgent and Sadness
(=> (and (instance ?C Sneezing) (experiencer ?C ?H)) (hasPurpose ?C (exists (?R ?N ?NOSE ?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 6082-6100	instance Process and Sneezing experiencer Process and AutonomousAgent hasPurpose Process and entity entity, entityOSE 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 AutonomousAgent 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 ?OBJ) (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 10174-10189	instance Process and Death instance AutonomousAgent and Organism experiencer Process and AutonomousAgent Entity 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 AutonomousAgent
(=> (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 AutonomousAgent and Organism holdsDuring TimeInterval and part entity and Entity holdsDuring TimeInterval and part entity and AutonomousAgent earlier TimeInterval and TimeInterval experiencer Process and AutonomousAgent result Process and Entity
(=> (and (instance ?DREAM Dreaming) (experiencer ?DREAM ?AGENT)) (holdsDuring (WhenFn ?DREAM) (attribute ?AGENT Asleep)))	Mid-level-ontology.kif 18052-18056	instance Process and Dreaming experiencer Process and AutonomousAgent holdsDuring WhenFn Process and attribute AutonomousAgent 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 9915-9923	instance Process and EdemaFn BodyPart experiencer Process and AutonomousAgent BodyPartI instance BodyPartI and BodyPart part BodyPartI and AutonomousAgent 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 9893-9905	instance Process and Edema experiencer Process and AutonomousAgent Motion Object and Object instance Motion and Transfer instance Object and Liquid instance Object and BodyPart part Object and AutonomousAgent destination Motion and Object moves Motion and Object subProcess Motion and Process

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 383-416	instance Year and YearFn YearEAR equal MaleLifeExpectancyAtBirthFn GeopoliticalArea and Year and RealNumber List Integer, SymbolicString, entity, entity and entity 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
(<=> (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 108-123	instance Year and YearFn Integer equal BirthsPerThousandFn GeopoliticalArea and Year 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 Year equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn Integer and RealNumber and RealNumber
(<=> (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 144-159	instance Year and YearFn Integer equal DeathsPerThousandFn GeopoliticalArea and Year 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 Year equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn Integer and RealNumber and RealNumber
(<=> (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 264-290	instance Year and YearFn Integer equal DeathsPerThousandLiveBirthsFn GeopoliticalArea and Year 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 Year 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 Year equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn entityDEATHCOUNT and RealNumber and RealNumber
(<=> (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 429-462	instance Year and YearFn Integer equal FemaleLifeExpectancyAtBirthFn GeopoliticalArea and Year and RealNumber List Integer, SymbolicString, entity, entity and entity 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 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
(<=> (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 336-368	instance Year and YearFn Integer equal LifeExpectancyAtBirthFn GeopoliticalArea and Year and RealNumber List Integer, SymbolicString, entity, entity and entity 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 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
(=> (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 6191-6204	allergic Human and Substance instance SubstanceUB and Substance holdsDuring TimePosition and meetsSpatially SubstanceUB 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 (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	customer CognitiveAgent and AutonomousAgent propertyAmenity AutonomousAgent 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, AutonomousAgent 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 811-832	functionRoomAmenity HotelFunctionRoom and Physical instance Entity and HotelFunctionRoom element Entity and PropertyFn AutonomousAgent instance Process and Renting patient Process and Entity agent Process and AutonomousAgent 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 ?PI)) (modalAttribute (exists (?P) (and (instance ?P ?PI) (during (WhenFn ?P) ?T) (experiencer ?P ?A))) Likely))	emotion.kif 161-172	holdsDuring TimePosition and attribute entity and EmotionalState actionTendency EmotionalState and EmotionalBehavioralProcess modalAttribute entity instance entity and EmotionalBehavioralProcess during WhenFn entity and TimePosition experiencer entity and entity and Likely
(=> (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 23856-23870	holdsDuring TimeInterval and attribute AutonomousAgent and Menopausal equal RealNumber and SubtractionFn MeasureFn 1 and YearDuration and BeginFn TimeInterval equal TimeInterval and TimeIntervalFn TimeInterval and BeginFn TimeInterval Process instance Process and Menstruation experiencer Process and AutonomousAgent
(=> (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 AutonomousAgent and Evacuee instance TimeInterval and TimeInterval Process AutonomousAgent instance Process and Evacuation agent Process and AutonomousAgent instance AutonomousAgent and MilitaryOrganization experiencer Process and AutonomousAgent 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 17036-17046	instance Process and Accelerating equal TimeInterval and WhenFn Process experiencer Process and AutonomousAgent Process instance Process and Decelerating experiencer Process and AutonomousAgent 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 1945-1958	instance Process and AngryVoiceUtterance agent Process and AutonomousAgent modalAttribute causesProposition AutonomousAgentNG instance AutonomousAgentNG and Anger experiencer AutonomousAgentNG and AutonomousAgent and instance Process and AngryVoiceUtterance agent Process and AutonomousAgent 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 16043-16055	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 18461-18477	instance Transfer and Bequeathing agent Transfer and AutonomousAgent destination Transfer and Entity objectTransferred Transfer and AutonomousAgentROP Process instance Process and Death experiencer Process and AutonomousAgent earlier WhenFn Process and WhenFn Transfer holdsDuring ImmediatePastFn WhenFn Process and possesses AutonomousAgent and AutonomousAgentROP confersNorm AutonomousAgent, possesses Entity and AutonomousAgentROP and Permission
(=> (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?AGENT)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?AGENT))))	Merge.kif 10149-10156	instance Process and Birth experiencer Process and AutonomousAgent Process instance Process and Death experiencer Process and AutonomousAgent
(=> (and (instance ?C Choking) (experiencer ?C ?H)) (exists (?CO) (and (instance ?CO Coughing) (subProcess ?CO ?C) (experiencer ?CO ?H))))	Mid-level-ontology.kif 11618-11626	instance Process and Choking experiencer Process and AutonomousAgent ProcessO instance ProcessO and Coughing subProcess ProcessO and Process experiencer ProcessO and AutonomousAgent
(=> (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 6003-6014	instance Process and Coughing experiencer Process and AutonomousAgent Process Process instance Process and Inhaling instance Process and Exhaling subProcess Process and Process subProcess Process and Process experiencer Process and AutonomousAgent experiencer Process and AutonomousAgent
(=> (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 AutonomousAgent and Organism holdsDuring TimeInterval and part entity and Entity holdsDuring TimeInterval and part entity and AutonomousAgent earlier TimeInterval and TimeInterval result Process and Entity experiencer Process and AutonomousAgent
(=> (and (instance ?DEGREE AcademicDegree) (possesses ?AGENT ?DEGREE)) (exists (?PROGRAM ?STUDY) (and (instance ?PROGRAM EducationalProgram) (realization ?STUDY ?PROGRAM) (experiencer ?STUDY ?AGENT))))	Mid-level-ontology.kif 16357-16365	instance Object and AcademicDegree possesses AutonomousAgent and Object Proposition Process instance Proposition and EducationalProgram realization Process and Proposition experiencer Process and AutonomousAgent
(=> (and (instance ?DISEASE LifeThreateningDisease) (attribute ?AGENT ?DISEASE)) (capability Death experiencer ?AGENT))	WMD.kif 1029-1033	instance Attribute and LifeThreateningDisease attribute Object and Attribute capability Death, experiencer and Object
(=> (and (instance ?DVU DisgustedVoiceUtterance) (agent ?DVU ?A)) (exists (?D) (and (instance ?D Disgust) (experiencer ?D ?A) (causes ?D ?DVU))))	emotion.kif 2000-2008	instance Process and DisgustedVoiceUtterance agent Process and AutonomousAgent Process instance Process and Disgust experiencer Process and AutonomousAgent causes Process and Process

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 482-495	instance Year and YearFn Integer equal ChildrenBornPerWomanFn GeopoliticalArea and Year 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 Year and inhabits entity and GeopoliticalArea
(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	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
(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: