Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
experiencer
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 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
Process
O
instance
Process
O and
Coughing
subProcess
Process
O and
Process
experiencer
Process
O 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
entity
OSE and
Nose
equal
entity
OSE and
HoleHostFn
entity
instance
entity
and
Object
instance
entity
and
Removing
part
entity
OSE 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
BodyPart
I
instance
BodyPart
I and
BodyPart
part
BodyPart
I and
Agent
located
Process
and
BodyPart
I
(=>
(
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
Year
EAR
equal
MaleLifeExpectancyAtBirthFn
GeopoliticalArea
and
Year
and
RealNumber
List
instance
List
and
List
instance
ListLengthFn
List
and
Integer
List
ITEM
inList
List
ITEM and
List
instance
List
ITEM 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
entity
DEATHCOUNT 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
entity
DEATHCOUNT 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
List
ITEM
inList
List
ITEM and
List
instance
List
ITEM 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
List
ITEM
inList
List
ITEM and
List
instance
List
ITEM 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
Substance
UB 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
TimeInterval
AY and
Day
instance
TimeInterval
and
Sunrise
during
TimeInterval
and
TimeInterval
before
TimeInterval
and
TimeInterval
hasPurpose
TimeInterval
and
entity
TimeInterval
UHUR and
entity
instance
entity
and
WakingUp
experiencer
entity
and
entity
instance
TimeInterval
UHUR and
Suhur
agent
TimeInterval
UHUR and
entity
before
entity
and
TimeInterval
UHUR
during
entity
and
TimeInterval
AY
during
TimeInterval
UHUR and
TimeInterval
AY
(=>
(
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
EmotionalBehavioralProcess
I
instance
EmotionalBehavioralProcess
and
EmotionalBehavioralProcess
I
during
EmotionalBehavioralProcess
I and
TimePosition
experiencer
EmotionalBehavioralProcess
I 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
Agent
NG
instance
Agent
NG and
Anger
experiencer
Agent
NG 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
Agent
ROP
Process
instance
Process
and
Death
experiencer
Process
and
Agent
earlier
WhenFn
Process
and
WhenFn
Transfer
holdsDuring
ImmediatePastFn
WhenFn
Process
and
possesses
Agent
and
Agent
ROP
confersNorm
Agent
,
possesses
Entity
and
Agent
ROP 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
Process
O
instance
Process
O and
Coughing
subProcess
Process
O and
Process
experiencer
Process
O 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)
Show without tree
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