Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
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 2462-2466
(
documentation
experiencer
JapaneseLanguage
"(
experiencer
?PROCESS ?AGENT) とは、?AGENT
Process
?PROCESS を経験することを意味する。 例:ヨージョは、次の命題で見るの
experiencer
である: ヨジョは魚を見る。
experiencer
は
agent
とは異なり、引数間の因果関係を伴わない。")
japanese_format.kif 496-498
(
domain
experiencer
1
Process
)
Merge.kif 2458-2458
Le nombre 1 argument de
experiencer
est une
instance
de
processus
(
domain
experiencer
2
AutonomousAgent
)
Merge.kif 2459-2459
Le nombre 2 argument de
experiencer
est une
instance
de
AutonomousAgent
(
instance
experiencer
CaseRole
)
Merge.kif 2456-2456
experiencer
est une
instance
de
r�le d�pendant du cas
(
instance
experiencer
PartialValuedRelation
)
Merge.kif 2457-2457
experiencer
est une
instance
de
relation partielle
(
subrelation
experiencer
involvedInEvent
)
Merge.kif 2460-2460
experiencer
est une
sous
-relation de
involvedInEvent
appearance as argument number 2
(
format
ChineseLanguage
experiencer
"%2 %n{doesn't} 经历了 %1")
chinese_format.kif 103-103
(
format
EnglishLanguage
experiencer
"%2 %n{doesn't} experience%p{s} %1")
english_format.kif 103-103
(
format
FrenchLanguage
experiencer
"%2 %n{n'} exp�rimente %n{pas} %1")
french_format.kif 74-74
(
format
ItalianLanguage
experiencer
"%2 %n{non} esperisce%p{s} %1")
relations-it.txt 102-102
(
format
JapaneseLanguage
experiencer
"%2 が %1 を experience%p{s} %n{ない}")
japanese_format.kif 1900-1900
(
format
PortugueseLanguage
experiencer
"%2 %n{nao} experimenta %n %1")
portuguese_format.kif 26-26
(
format
cz
experiencer
"%2 %n{ne}prod�l�v� %1")
relations-cz.txt 82-82
(
format
de
experiencer
"%2 erfaehrt %1 %n{nicht}")
relations-de.txt 118-118
(
format
hi
experiencer
"%2 %1 kaa anubhava-kartaa %n{nahiin} hai")
relations-hindi.txt 142-142
(
format
ro
experiencer
"%2 %n{nu} experience%t{percepe} %1")
relations-ro.kif 93-93
(
format
sv
experiencer
"%2 upplever %n{inte} %1")
relations-sv.txt 73-73
(
format
tg
experiencer
"%2 %n ay danas %1")
relations-tg.txt 215-215
(
subrelation
attends
experiencer
)
Merge.kif 13083-13083
attends
est une
sous
-relation de
experiencer
(
subrelation
losesControl
experiencer
)
Mid-level-ontology.kif 23446-23446
losesControl
est une
sous
-relation de
experiencer
(
subrelation
serviceRecipient
experiencer
)
Mid-level-ontology.kif 22890-22890
serviceRecipient
est une
sous
-relation de
experiencer
(
termFormat
ChineseLanguage
experiencer
"体验者")
domainEnglishFormat.kif 22804-22804
(
termFormat
ChineseLanguage
experiencer
"经历者")
chinese_format.kif 104-104
(
termFormat
ChineseTraditionalLanguage
experiencer
"體驗者")
domainEnglishFormat.kif 22803-22803
(
termFormat
EnglishLanguage
experiencer
"experiencer")
domainEnglishFormat.kif 22802-22802
(
termFormat
de
experiencer
"experiencer")
terms-de.txt 34-34
(
termFormat
tg
experiencer
"tagakaranasan")
relations-tg.txt 216-216
antecedent
(=>
(
and
(
experiencer
?ORGANISM ?PAIN)
(
instance
?PAIN
(
PainFn
?P)))
(
exists
(?PART)
(
and
(
part
?PART ?ORGANISM)
(
located
?PART ?P))))
Mid-level-ontology.kif 6357-6364
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
PainFn
partie du corps
partie du corps
ART
partie du corps
ART est une
partie
de
processus
partie du corps
ART est
situ
� �
partie du corps
(=>
(
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
physique
entit�
est une
instance
de
HotelFunctionRoom
entit�
est un
appartenir
�
AutonomousAgent
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
aboutit
�
agent cognitif
objet
est une
instance
de
physique
AutonomousAgent
poss
�de
objet
customer
agent cognitif
and
AutonomousAgent
objet
est une
instance
de
processus
objet
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
objet
AutonomousAgent
poss
�de
objet
objet
est une
instance
de
objet
agent cognitif
utilise
objet
price
objet
, 0
UnitedStatesDollar
(s) 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
physique
processus
est une
instance
de
physique
customer
agent cognitif
and
AutonomousAgent
processus
est une
instance
de
processus
processus
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
processus
AutonomousAgent
poss
�de
processus
processus
est une
instance
de
objet
agent cognitif
utilise
processus
price
processus
, 0
UnitedStatesDollar
(s) and
AutonomousAgent
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
AVPUPainStatus
))
(
instance
?P
Pain
)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?H))
(
exists
(?BM)
(
and
(
instance
?BM
BodyMotion
)
(
experiencer
?BM ?H)
(
during
(
WhenFn
?BM) ?T)
(
causes
?P ?BM))))
Medicine.kif 6470-6482
AVPUPainStatus
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
Pain
temps
d'existence de
processus
prend place
pendant
interval temporel
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
mouvement du corps
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
prend place
pendant
interval temporel
processus
cause
processus
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Embryonic
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
not
(
overlapsTemporally
?TIME ?BW)))
Merge.kif 18203-18209
Embryonic
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
naissance
interval temporel
est
temps
d'existence de
processus
AutonomousAgent
exp
�rimente
processus
interval temporel
ne
recouvre
%n{pas}
interval temporel
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Larval
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
meetsTemporally
?BW ?TIME))
Merge.kif 18181-18187
Larval
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
naissance
interval temporel
est
temps
d'existence de
processus
AutonomousAgent
exp
�rimente
processus
interval temporel
rencontre
interval temporel
(=>
(
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 17193-17203
Processus
est une
instance
de
Accelerating
interval temporel
est
temps
d'existence de
processus
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
Decelerating
AutonomousAgent
exp
�rimente
processus
interval temporel
est
temps
d'existence de
processus
(=>
(
and
(
instance
?A
Anaphylaxis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
causes
?A ?D)))
Possibility
))
Medicine.kif 1545-1555
Processus
est une
instance
de
Anaphylaxis
AutonomousAgent
exp
�rimente
processus
l'argument
entit�
entit�
est une
instance
de
mort
AutonomousAgent
exp
�rimente
entit�
processus
cause
entit�
a la
force
modale
de
Possibility
(=>
(
and
(
instance
?A
Asphyxiation
)
(
experiencer
?A ?M))
(
holdsDuring
(
WhenFn
?A)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
experiencer
?B ?A))))))
Medicine.kif 6304-6313
Processus
est une
instance
de
Asphyxiation
AutonomousAgent
exp
�rimente
processus
entit�
entit�
est une
instance
de
respirer
processus
exp
�rimente
entit�
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?A
RheumatoidArthritis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?JP)
(
and
(
instance
?JP
JointPain
)
(
causes
?A ?JP)))
Likely
))
Medicine.kif 2230-2239
Processus
est une
instance
de
RheumatoidArthritis
AutonomousAgent
exp
�rimente
processus
l'argument
entit�
entit�
est une
instance
de
JointPain
processus
cause
entit�
a la
force
modale
de
Likely
(=>
(
and
(
instance
?AI
AutoImmuneDisorder
)
(
experiencer
?AI ?H))
(
exists
(?A ?D ?C)
(
and
(
instance
?A
Antibody
)
(
part
?A ?H)
(
instance
?C
Cell
)
(
part
?C ?H)
(
instance
?D
Destruction
)
(
instrument
?D ?A)
(
not
(
desires
?H
(
and
(
instance
?D
Destruction
)
(
instrument
?D ?A)))))))
Medicine.kif 2200-2216
Processus
est une
instance
de
AutoImmuneDisorder
agent cognitif
exp
�rimente
processus
objet
processus
and
objet
objet
est une
instance
de
Antibody
objet
est une
partie
de
agent cognitif
objet
est une
instance
de
cellule
objet
est une
partie
de
agent cognitif
processus
est une
instance
de
destruction
objet
est un
instrument
pour
processus
agent cognitif
ne
desire
%n{pas}
processus
est une
instance
de
destruction
objet
est un
instrument
pour
processus
(=>
(
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 16343-16353
Processus
est une
instance
de
BecomingDrunk
AutonomousAgent
exp
�rimente
processus
Sober
est un
attribut
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
Drunk
est un
attribut
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?B
Bleeding
)
(
experiencer
?B ?H))
(
exists
(?VA ?D)
(
and
(
or
(
instance
?VA
Vein
)
(
instance
?VA
Artery
))
(
part
?VA ?H)
(
instance
?D
Damaging
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
patient
?D ?VA))))
Medicine.kif 80-94
Processus
est une
instance
de
Bleeding
AutonomousAgent
exp
�rimente
processus
objet
processus
objet
est une
instance
de
Vein
objet
est une
instance
de
Artery
objet
est une
partie
de
AutonomousAgent
processus
est une
instance
de
endommager
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
objet
est un
patient
de
processus
(=>
(
and
(
instance
?B
Bleeding
)
(
instance
?D
Death
)
(
instance
?H
Human
)
(
instance
?P
Human
)
(
experiencer
?B ?P)
(
orientation
?H ?P
Near
)
(
modalAttribute
(
causes
?B ?D)
Likely
))
(
holdsObligation
?H
(
exists
(?A)
(
and
(
instance
?A
Attaching
)
(
agent
?A ?H)
(
destination
?A ?P)))))
Medicine.kif 44-59
Processus
est une
instance
de
Bleeding
entit�
est une
instance
de
mort
formule
est une
instance
de
humain
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
exp
�rimente
processus
formule
est
Near
�
AutonomousAgent
l'argument
processus
cause
entit�
a la
force
modale
de
Likely
entit�
entit�
est une
instance
de
attacher
entit�
est un
agent
de
formule
entit�
aboutit
�
AutonomousAgent
est
oblig
� d'ex�cut� des t�ches du type
formule
(=>
(
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 21474-21489
Processus
est une
instance
de
Blushing
AutonomousAgent
exp
�rimente
processus
interval temporel
interval temporel
,
entit�
and
entit�
entit�
est une
instance
de
�tat �motionnel
entit�
est une
instance
de
�tat �motionnel
entit�
est
entit�
entit�
est un
attribut
de
AutonomousAgent
pendant
interval temporel
entit�
est un
attribut
de
AutonomousAgent
pendant
interval temporel
temps
d'existence de
processus
commence
interval temporel
temps
d'existence de
processus
finit
interval temporel
(=>
(
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 16363-16373
Processus
est une
instance
de
SoberingUp
AutonomousAgent
exp
�rimente
processus
Drunk
est un
attribut
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
Sober
est un
attribut
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?BI
BreakthroughInfection
)
(
objectTransferred
?BI ?V)
(
instance
?V ?VC)
(
experiencer
?BI ?H))
(
exists
(?VAX)
(
and
(
instance
?VAX
Vaccination
)
(
experiencer
?VAX ?H)
(
vaccine
?VACCINECLASS ?VC)
(
instance
?VACCINE ?VACCINECLASS)
(
objectTransferred
?VAX ?VACCINE)
(
earlier
(
WhenFn
?VAX)
(
WhenFn
?BI)))))
Medicine.kif 3179-3194
Transf�re
est une
instance
de
BreakthroughInfection
objectTransferred
transf�re
and
objet
objet
est une
instance
de
objet
C
AutonomousAgent
exp
�rimente
transf�re
objet
AX
objet
AX est une
instance
de
Vaccination
AutonomousAgent
exp
�rimente
objet
AX
vaccine
objet
ACCINECLASS and
objet
C
objet
ACCINE est une
instance
de
objet
ACCINECLASS
objectTransferred
objet
AX and
objet
ACCINE
temps
d'existence de
objet
AX arrive
plus
t�t que
temps
d'existence de
transf�re
(=>
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?AGENT))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?AGENT))))
Merge.kif 10197-10204
Processus
est une
instance
de
naissance
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
mort
AutonomousAgent
exp
�rimente
processus
(=>
(
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 21395-21403
Processus
est une
instance
de
Bleeding
AutonomousAgent
exp
�rimente
processus
entit�
entit�
est une
instance
de
sang
entit�
est une
partie
de
AutonomousAgent
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est une
partie
de
AutonomousAgent
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?BLEED
Bleeding
)
(
experiencer
?BLEED ?ANIMAL))
(
instance
?ANIMAL
Animal
))
Mid-level-ontology.kif 21389-21393
Processus
est une
instance
de
Bleeding
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
animal
(=>
(
and
(
instance
?C
Chills
)
(
experiencer
?C ?H))
(
holdsDuring
(
WhenFn
?C)
(
attribute
?H
FeelingCold
)))
emotion.kif 1886-1892
Processus
est une
instance
de
Chills
AutonomousAgent
exp
�rimente
processus
FeelingCold
est un
attribut
de
AutonomousAgent
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?C
Choking
)
(
experiencer
?C ?H))
(
exists
(?CO)
(
and
(
instance
?CO
Coughing
)
(
subProcess
?CO ?C)
(
experiencer
?CO ?H))))
Mid-level-ontology.kif 11771-11779
Processus
est une
instance
de
Choking
AutonomousAgent
exp
�rimente
processus
processus
O
processus
O est une
instance
de
Coughing
processus
O est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
O
(=>
(
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 11754-11769
Processus
est une
instance
de
Choking
AutonomousAgent
exp
�rimente
processus
entit�
objet
and
objet
entit�
est une
instance
de
objet
objet
est une
instance
de
Trachea
objet
est une
instance
de
Lung
objet
est une
partie
de
AutonomousAgent
objet
est une
partie
de
AutonomousAgent
entit�
est
situ
� �
objet
entit�
est
situ
� �
objet
pendant
temps
d'existence de
processus
(=>
(
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 6043-6054
Processus
est une
instance
de
Coughing
AutonomousAgent
exp
�rimente
processus
processus
processus
processus
est une
instance
de
Inhaling
processus
est une
instance
de
Exhaling
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
exp
�rimente
processus
(=>
(
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 6056-6075
Processus
est une
instance
de
Coughing
AutonomousAgent
exp
�rimente
processus
processus
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Lung
entit�
est une
instance
de
Throat
entit�
est une
instance
de
objet
entit�
est une
instance
de
supprimer
entit�
est une
partie
de
AutonomousAgent
entit�
est une
partie
de
AutonomousAgent
objectTransferred
entit�
and
entit�
entit�
est
situ
� �
entit�
entit�
est
situ
� �
entit�
pendant
immediatement
avant
temps
d'existence de
processus
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
and
(
instance
?Y
(
YearFn
?YEAR))
(
equal
(
MaleLifeExpectancyAtBirthFn
?AREA ?Y) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Male
)
(
during
(
WhenFn
?BIRTH) ?Y)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 357-390
Ann�e
est une
instance
de l'
ann
�e
ann�e
EAR
MaleLifeExpectancyAtBirthFn
secteur g�opolitique
and
ann�e
est
nombre r�el
liste
nombre entier
,
cha�ne sympbolique
,
entit�
,
entit�
and
entit�
liste
est une
instance
de
liste
longueur
de
liste
est une
instance
de
nombre entier
liste
ITEM
liste
ITEM est un
membre
de
liste
liste
ITEM est une
instance
de
cha�ne sympbolique
entit�
entit�
est une
instance
de
cha�ne sympbolique
entit�
est un
membre
de
liste
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
average
liste
and
nombre r�el
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
BirthsPerThousandFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
(
DivisionFn
(
PopulationFn
?AREA) 1000) ?THOUSANDS)
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 82-97
Ann�e
est une
instance
de l'
ann
�e
nombre entier
BirthsPerThousandFn
secteur g�opolitique
and
ann�e
est
nombre r�el
PopulationFn
secteur g�opolitique
+ 1000 est
nombre r�el
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
nombre entier
+
nombre r�el
est
nombre r�el
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
DeathsPerThousandFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
(
DivisionFn
(
PopulationFn
?AREA) 1000) ?THOUSANDS)
(
equal
?DEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
instance
?PERSON
Human
)
(
during
(
WhenFn
?DEATH) ?YEAR)
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?DEATHCOUNT ?THOUSANDS) ?REALNUMBER)))
People.kif 118-133
Ann�e
est une
instance
de l'
ann
�e
nombre entier
DeathsPerThousandFn
secteur g�opolitique
and
ann�e
est
nombre r�el
PopulationFn
secteur g�opolitique
+ 1000 est
nombre r�el
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
nombre entier
+
nombre r�el
est
nombre r�el
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
DeathsPerThousandLiveBirthsFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
(
equal
?INFANTDEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INFANT)
(
instance
?INFANT
Human
)
(
age
?INFANT
(
MeasureFn
?AGE
YearDuration
))
(
lessThan
?AGE 1)
(
during
(
WhenFn
?DEATH) ?YEAR)
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 238-264
Ann�e
est une
instance
de l'
ann
�e
nombre entier
DeathsPerThousandLiveBirthsFn
secteur g�opolitique
and
ann�e
est
nombre r�el
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
nombre entier
+ 1000 est
nombre r�el
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
nombre entier
+
nombre r�el
est
nombre r�el
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
FemaleLifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Female
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 403-436
Ann�e
est une
instance
de l'
ann
�e
nombre entier
FemaleLifeExpectancyAtBirthFn
secteur g�opolitique
and
ann�e
est
nombre r�el
liste
nombre entier
,
cha�ne sympbolique
,
entit�
,
entit�
and
entit�
liste
est une
instance
de
liste
longueur
de
liste
est une
instance
de
nombre entier
liste
ITEM
liste
ITEM est un
membre
de
liste
liste
ITEM est une
instance
de
cha�ne sympbolique
entit�
entit�
est une
instance
de
cha�ne sympbolique
entit�
est un
membre
de
liste
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
average
liste
and
nombre r�el
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
LifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 310-342
Ann�e
est une
instance
de l'
ann
�e
nombre entier
LifeExpectancyAtBirthFn
secteur g�opolitique
and
ann�e
est
nombre r�el
liste
nombre entier
,
cha�ne sympbolique
,
entit�
,
entit�
and
entit�
liste
est une
instance
de
liste
longueur
de
liste
est une
instance
de
nombre entier
liste
ITEM
liste
ITEM est un
membre
de
liste
liste
ITEM est une
instance
de
cha�ne sympbolique
entit�
entit�
est une
instance
de
cha�ne sympbolique
entit�
est un
membre
de
liste
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
average
liste
and
nombre r�el
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 6231-6244
allergic
humain
and
substance
substance
UB est une
instance
de
substance
substance
UB
rencontre
humain
pendant
position temporel
l'argument
entit�
entit�
est une
instance
de
AllergicReaction
humain
exp
�rimente
entit�
temps
d'existence de
entit�
recouvre
position temporel
le
d
�but de
position temporel
se produit
avant
le
d
�but de
temps
d'existence de
entit�
a la
force
modale
de
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
agent cognitif
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
physique
physique
est une
sous
-classe de
objet
entit�
est une
instance
de
physique
AutonomousAgent
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
processus
entit�
est une
resource
pour
entit�
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
entit�
(=>
(
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
physique
entit�
est une
instance
de
HotelFunctionRoom
entit�
est un
appartenir
�
AutonomousAgent
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
entit�
physique
est une
sous
-classe de
objet
l'argument
entit�
entit�
entit�
est une
instance
de
physique
entit�
est une
instance
de
processus
entit�
est une
resource
pour
entit�
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est un
agent
de
entit�
entit�
exp
�rimente
entit�
a la
force
modale
de
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
�tat �motionnel
Est un
attribut
de
entit�
pendant
position temporel
actionTendency
�tat �motionnel
and
EmotionalBehavioralProcess
l'argument
entit�
entit�
est une
instance
de
EmotionalBehavioralProcess
temps
d'existence de
entit�
prend place
pendant
position temporel
entit�
exp
�rimente
entit�
a la
force
modale
de
Likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
AVPUPainStatus
))
(
instance
?P
Pain
)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?H))
(
exists
(?BM)
(
and
(
instance
?BM
BodyMotion
)
(
experiencer
?BM ?H)
(
during
(
WhenFn
?BM) ?T)
(
causes
?P ?BM))))
Medicine.kif 6470-6482
AVPUPainStatus
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
Pain
temps
d'existence de
processus
prend place
pendant
interval temporel
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
mouvement du corps
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
prend place
pendant
interval temporel
processus
cause
processus
(=>
(
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 23889-23903
Menopausal
est un
attribut
de
AutonomousAgent
pendant
interval temporel
nombre r�el
est
YearDuration
(s) + le
d
�but de
interval temporel
)
interval temporel
est
intervale
entre
interval temporel
et le
d
�but de
interval temporel
processus
processus
est une
instance
de
Menstruation
AutonomousAgent
exp
�rimente
processus
(=>
(
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
Evacuee
est un
attribut
de
AutonomousAgent
pendant
interval temporel
interval temporel
est une
instance
de
interval temporel
processus
AutonomousAgent
processus
est une
instance
de
Evacuation
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
MilitaryOrganization
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
(=>
(
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 17193-17203
Processus
est une
instance
de
Accelerating
interval temporel
est
temps
d'existence de
processus
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
Decelerating
AutonomousAgent
exp
�rimente
processus
interval temporel
est
temps
d'existence de
processus
(=>
(
and
(
instance
?A
Anaphylaxis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
causes
?A ?D)))
Possibility
))
Medicine.kif 1545-1555
Processus
est une
instance
de
Anaphylaxis
AutonomousAgent
exp
�rimente
processus
l'argument
entit�
entit�
est une
instance
de
mort
AutonomousAgent
exp
�rimente
entit�
processus
cause
entit�
a la
force
modale
de
Possibility
(=>
(
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
Objet
est une
instance
de
Armor
objet
est une
partie
de
objet
objet
rencontre
objet
objet
a pour
but
entit�
entit�
est une
instance
de
maintenir
objet
est un
instrument
pour
entit�
objet
exp
�rimente
entit�
(=>
(
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
Objet
est une
instance
de
Armor
objet
est une
partie
de
objet
objet
rencontre
objet
objet
a pour
but
entit�
entit�
est une
instance
de
endommager
objet
est un
instrument
pour
entit�
objet
exp
�rimente
entit�
(=>
(
and
(
instance
?A
Asphyxiation
)
(
experiencer
?A ?M))
(
holdsDuring
(
WhenFn
?A)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
experiencer
?B ?A))))))
Medicine.kif 6304-6313
Processus
est une
instance
de
Asphyxiation
AutonomousAgent
exp
�rimente
processus
entit�
entit�
est une
instance
de
respirer
processus
exp
�rimente
entit�
pendant
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
AngryVoiceUtterance
processus
est un
agent
de
AutonomousAgent
l'argument
causesProposition
AutonomousAgent
NG
AutonomousAgent
NG est une
instance
de
colère
AutonomousAgent
exp
�rimente
AutonomousAgent
NG and
processus
est une
instance
de
AngryVoiceUtterance
processus
est un
agent
de
AutonomousAgent
a la
force
modale
de
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 16200-16212
Entit�
est une
instance
de
LegalAward
entit�
inclut une
r
�f�rence �
processus
processus
est une
instance
de
action l�gale
processus
est un
agent
de
agent cognitif
entit�
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
entit�
est une
instance
de
obtenir
agent cognitif
exp
�rimente
entit�
entit�
est un
patient
de
entit�
valeur
de
entit�
est
entit�
(=>
(
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 18679-18695
Transf�re
est une
instance
de
Bequeathing
transf�re
est un
agent
de
AutonomousAgent
transf�re
aboutit
�
entit�
objectTransferred
transf�re
and
AutonomousAgent
ROP
processus
processus
est une
instance
de
mort
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
transf�re
AutonomousAgent
poss
�de
AutonomousAgent
ROP
pendant
immediatement
avant
temps
d'existence de
processus
confersNorm
AutonomousAgent
,
entit�
poss
�de
AutonomousAgent
ROP and
Permission
(=>
(
and
(
instance
?BI
BreakthroughInfection
)
(
objectTransferred
?BI ?V)
(
instance
?V ?VC)
(
experiencer
?BI ?H))
(
exists
(?VAX)
(
and
(
instance
?VAX
Vaccination
)
(
experiencer
?VAX ?H)
(
vaccine
?VACCINECLASS ?VC)
(
instance
?VACCINE ?VACCINECLASS)
(
objectTransferred
?VAX ?VACCINE)
(
earlier
(
WhenFn
?VAX)
(
WhenFn
?BI)))))
Medicine.kif 3179-3194
Transf�re
est une
instance
de
BreakthroughInfection
objectTransferred
transf�re
and
objet
objet
est une
instance
de
objet
C
AutonomousAgent
exp
�rimente
transf�re
objet
AX
objet
AX est une
instance
de
Vaccination
AutonomousAgent
exp
�rimente
objet
AX
vaccine
objet
ACCINECLASS and
objet
C
objet
ACCINE est une
instance
de
objet
ACCINECLASS
objectTransferred
objet
AX and
objet
ACCINE
temps
d'existence de
objet
AX arrive
plus
t�t que
temps
d'existence de
transf�re
(=>
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?AGENT))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?AGENT))))
Merge.kif 10197-10204
Processus
est une
instance
de
naissance
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
mort
AutonomousAgent
exp
�rimente
processus
(=>
(
and
(
instance
?C
Choking
)
(
experiencer
?C ?H))
(
exists
(?CO)
(
and
(
instance
?CO
Coughing
)
(
subProcess
?CO ?C)
(
experiencer
?CO ?H))))
Mid-level-ontology.kif 11771-11779
Processus
est une
instance
de
Choking
AutonomousAgent
exp
�rimente
processus
processus
O
processus
O est une
instance
de
Coughing
processus
O est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
O
(=>
(
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 6043-6054
Processus
est une
instance
de
Coughing
AutonomousAgent
exp
�rimente
processus
processus
processus
processus
est une
instance
de
Inhaling
processus
est une
instance
de
Exhaling
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
exp
�rimente
processus
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
ChildrenBornPerWomanFn
?AREA ?YEAR)
(
CardinalityFn
(
KappaFn
?INFANT
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
agent
?BIRTH ?WOMAN)
(
instance
?WOMAN
Human
)
(
attribute
?WOMAN
Female
)
(
holdsDuring
?YEAR
(
inhabits
?WOMAN ?AREA)))))))
People.kif 456-469
Ann�e
est une
instance
de l'
ann
�e
nombre entier
ChildrenBornPerWomanFn
secteur g�opolitique
and
ann�e
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
(
decreasesLikelihood
(
and
(
biochemicalAgentSyndrome
?AGENT ?SYMPTOM)
(
biochemicalAgentAntidote
?AGENT ?SUBSTANCE ?PROCESS)
(
instance
?SAMPLE ?SUBSTANCE)
(
instance
?THERAPY ?PROCESS)
(
experiencer
?THERAPY ?ORGANISM)
(
patient
?THERAPY ?SAMPLE))
(
attribute
?ORGANISM ?SYMPTOM))
WMD.kif 921-929
biochemicalAgentSyndrome
?AGENT and ?SYMPTOM
biochemicalAgentAntidote
?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE est une
instance
de ?SUBSTANCE ?THERAPY est une
instance
de ?PROCESS ?ORGANISM
exp
�rimente ?THERAPY ?SAMPLE est un
patient
de ?THERAPY
diminue
la probabilit� de ?SYMPTOM est un
attribut
de ?ORGANISM
(
increasesLikelihood
(
and
(
biochemicalAgentSyndrome
?AGENT ?SYMPTOM)
(
biochemicalAgentDelivery
?AGENT ?PROCESSTYPE)
(
instance
?PROCESS ?PROCESSTYPE)
(
experiencer
?PROCESS ?ORGANISM))
(
attribute
?ORGANISM ?SYMPTOM))
WMD.kif 767-773
biochemicalAgentSyndrome
?AGENT and ?SYMPTOM
biochemicalAgentDelivery
?AGENT and ?PROCESSTYPE ?PROCESS est une
instance
de ?PROCESSTYPE ?ORGANISM
exp
�rimente ?PROCESS
augmente
la probabilit� de ?SYMPTOM est un
attribut
de ?ORGANISM
Show 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