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 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
BodyPart
ART
part
BodyPart
ART and
Process
located
BodyPart
ART 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
Process
O
instance
Process
O and
Coughing
subProcess
Process
O and
Process
experiencer
Process
O 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
,
entity
OSE 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
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
BodyPart
I
instance
BodyPart
I and
BodyPart
part
BodyPart
I and
AutonomousAgent
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 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
Year
EAR
equal
MaleLifeExpectancyAtBirthFn
GeopoliticalArea
and
Year
and
RealNumber
List
Integer
,
SymbolicString
,
entity
,
entity
and
entity
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
(<=>
(
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
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
Year
equal
WhereFn
SymbolicString
and
WhenFn
SymbolicString
and
GeopoliticalArea
equal
DivisionFn
entity
DEATHCOUNT 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
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
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
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
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
Substance
UB and
Substance
holdsDuring
TimePosition
and
meetsSpatially
Substance
UB 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
AutonomousAgent
NG
instance
AutonomousAgent
NG and
Anger
experiencer
AutonomousAgent
NG 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
AutonomousAgent
ROP
Process
instance
Process
and
Death
experiencer
Process
and
AutonomousAgent
earlier
WhenFn
Process
and
WhenFn
Transfer
holdsDuring
ImmediatePastFn
WhenFn
Process
and
possesses
AutonomousAgent
and
AutonomousAgent
ROP
confersNorm
AutonomousAgent
,
possesses
Entity
and
AutonomousAgent
ROP 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
Process
O
instance
Process
O and
Coughing
subProcess
Process
O and
Process
experiencer
Process
O 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)
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