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
O argumento numero 1 de
experiencer
e' uma
instancia
de
Processo
(
domain
experiencer
2
AutonomousAgent
)
Merge.kif 2459-2459
O argumento numero 2 de
experiencer
e' uma
instancia
de
AutonomousAgent
(
instance
experiencer
CaseRole
)
Merge.kif 2456-2456
experiencer
e' uma
instancia
de
Role em Caso
(
instance
experiencer
PartialValuedRelation
)
Merge.kif 2457-2457
experiencer
e' uma
instancia
de
Relacao Parcial
(
subrelation
experiencer
involvedInEvent
)
Merge.kif 2460-2460
experiencer
e' uma
sub
-relacao 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
e' uma
sub
-relacao de
experiencer
(
subrelation
losesControl
experiencer
)
Mid-level-ontology.kif 23446-23446
losesControl
e' uma
sub
-relacao de
experiencer
(
subrelation
serviceRecipient
experiencer
)
Mid-level-ontology.kif 22890-22890
serviceRecipient
e' uma
sub
-relacao 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
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
PainFn
Parte do Corpo
Parte do Corpo
ART
Parte do Corpo
ART e' uma &parte de
Processo
Parte do Corpo
ART e'
situado
em
Parte do Corpo
(=>
(
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
Fisico
Entidade
e' uma
instancia
de
HotelFunctionRoom
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
Processo
e' uma
instancia
de
Renting
Entidade
e' um
patient
de
Processo
Processo
termina
em
Agente Cognitivo
Objeto
e' uma
instancia
de
Fisico
AutonomousAgent
possui
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Objeto
e' uma
instancia
de
Processo
Objeto
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Objeto
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
Objeto
Agente Cognitivo
usa
Objeto
price
Objeto
, 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
Fisico
Processo
e' uma
instancia
de
Fisico
customer
Agente Cognitivo
and
AutonomousAgent
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Processo
AutonomousAgent
possui
Processo
Processo
e' uma
instancia
de
Objeto
Agente Cognitivo
usa
Processo
price
Processo
, 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
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Pain
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
AutonomousAgent
experimenta
Processo
Processo
Processo
e' uma
instancia
de
Movimento do Corpo
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Processo
causa
Processo
(=>
(
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
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Nascimento
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Processo
AutonomousAgent
experimenta
Processo
Intervalo Temporal
nao
engloba
%n
Intervalo Temporal
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Larval
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
meetsTemporally
?BW ?TIME))
Merge.kif 18181-18187
Larval
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Nascimento
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Processo
AutonomousAgent
experimenta
Processo
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
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
Processo
e' uma
instancia
de
Accelerating
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Processo
AutonomousAgent
experimenta
Processo
Processo
Processo
e' uma
instancia
de
Decelerating
AutonomousAgent
experimenta
Processo
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Anaphylaxis
AutonomousAgent
experimenta
Processo
o argumento
Entidade
Entidade
e' uma
instancia
de
Morte
AutonomousAgent
experimenta
Entidade
Processo
causa
Entidade
tem a
forca
modal
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
Processo
e' uma
instancia
de
Asphyxiation
AutonomousAgent
experimenta
Processo
Entidade
Entidade
e' uma
instancia
de
Respirar
Processo
experimenta
Entidade
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?A
RheumatoidArthritis
)
(
experiencer
?A ?H))
(
modalAttribute
(
exists
(?JP)
(
and
(
instance
?JP
JointPain
)
(
causes
?A ?JP)))
Likely
))
Medicine.kif 2230-2239
Processo
e' uma
instancia
de
RheumatoidArthritis
AutonomousAgent
experimenta
Processo
o argumento
Entidade
Entidade
e' uma
instancia
de
JointPain
Processo
causa
Entidade
tem a
forca
modal
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
Processo
e' uma
instancia
de
AutoImmuneDisorder
Agente Cognitivo
experimenta
Processo
Objeto
Processo
and
Objeto
Objeto
e' uma
instancia
de
Antibody
Objeto
e' uma &parte de
Agente Cognitivo
Objeto
e' uma
instancia
de
Celula
Objeto
e' uma &parte de
Agente Cognitivo
Processo
e' uma
instancia
de
Destrucao
Objeto
e' um
instrumento
para
Processo
Agente Cognitivo
nao
deseja
%n
Processo
e' uma
instancia
de
Destrucao
Objeto
e' um
instrumento
para
Processo
(=>
(
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
Processo
e' uma
instancia
de
BecomingDrunk
AutonomousAgent
experimenta
Processo
Sober
e' um
atributo
de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Processo
Drunk
e' um
atributo
de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Bleeding
AutonomousAgent
experimenta
Processo
Objeto
Processo
Objeto
e' uma
instancia
de
Vein
Objeto
e' uma
instancia
de
Artery
Objeto
e' uma &parte de
AutonomousAgent
Processo
e' uma
instancia
de
Causar Dano
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
Objeto
e' um
patient
de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Bleeding
Entidade
e' uma
instancia
de
Morte
Formula
e' uma
instancia
de
Humano
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
experimenta
Processo
Formula
e'
Near
em relacao a
AutonomousAgent
o argumento
Processo
causa
Entidade
tem a
forca
modal
de
Likely
Entidade
Entidade
e' uma
instancia
de
Colar
Entidade
e' um
agente
de
Formula
Entidade
termina
em
AutonomousAgent
e'
obrigado
a executar tarefas de tipo
Formula
(=>
(
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
Processo
e' uma
instancia
de
Blushing
AutonomousAgent
experimenta
Processo
Intervalo Temporal
Intervalo Temporal
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Estado Emocional
Entidade
e' uma
instancia
de
Estado Emocional
Entidade
e'
igual
a
Entidade
Entidade
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Entidade
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
tempo
de existencia de
Processo
comeca
em
Intervalo Temporal
tempo
de existencia de
Processo
termina
em
Intervalo Temporal
(=>
(
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
Processo
e' uma
instancia
de
SoberingUp
AutonomousAgent
experimenta
Processo
Drunk
e' um
atributo
de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Processo
Sober
e' um
atributo
de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Transferencia
e' uma
instancia
de
BreakthroughInfection
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Objeto
C
AutonomousAgent
experimenta
Transferencia
Objeto
AX
Objeto
AX e' uma
instancia
de
Vaccination
AutonomousAgent
experimenta
Objeto
AX
vaccine
Objeto
ACCINECLASS and
Objeto
C
Objeto
ACCINE e' uma
instancia
de
Objeto
ACCINECLASS
objectTransferred
Objeto
AX and
Objeto
ACCINE
tempo
de existencia de
Objeto
AX acontence
antes
de
tempo
de existencia de
Transferencia
(=>
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?AGENT))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?AGENT))))
Merge.kif 10197-10204
Processo
e' uma
instancia
de
Nascimento
AutonomousAgent
experimenta
Processo
Processo
Processo
e' uma
instancia
de
Morte
AutonomousAgent
experimenta
Processo
(=>
(
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
Processo
e' uma
instancia
de
Bleeding
AutonomousAgent
experimenta
Processo
Entidade
Entidade
e' uma
instancia
de
Sangue
Entidade
e' uma &parte de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e' uma &parte de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?BLEED
Bleeding
)
(
experiencer
?BLEED ?ANIMAL))
(
instance
?ANIMAL
Animal
))
Mid-level-ontology.kif 21389-21393
Processo
e' uma
instancia
de
Bleeding
AutonomousAgent
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
Animal
(=>
(
and
(
instance
?C
Chills
)
(
experiencer
?C ?H))
(
holdsDuring
(
WhenFn
?C)
(
attribute
?H
FeelingCold
)))
emotion.kif 1886-1892
Processo
e' uma
instancia
de
Chills
AutonomousAgent
experimenta
Processo
FeelingCold
e' um
atributo
de
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Choking
AutonomousAgent
experimenta
Processo
Processo
O
Processo
O e' uma
instancia
de
Coughing
Processo
O e' um
sub
-processo de
Processo
AutonomousAgent
experimenta
Processo
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
Processo
e' uma
instancia
de
Choking
AutonomousAgent
experimenta
Processo
Entidade
Objeto
and
Objeto
Entidade
e' uma
instancia
de
Objeto
Objeto
e' uma
instancia
de
Trachea
Objeto
e' uma
instancia
de
Lung
Objeto
e' uma &parte de
AutonomousAgent
Objeto
e' uma &parte de
AutonomousAgent
Entidade
e'
situado
em
Objeto
Entidade
e'
situado
em
Objeto
vale
durante
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Coughing
AutonomousAgent
experimenta
Processo
Processo
Processo
Processo
e' uma
instancia
de
Inhaling
Processo
e' uma
instancia
de
Exhaling
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
AutonomousAgent
experimenta
Processo
AutonomousAgent
experimenta
Processo
(=>
(
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
Processo
e' uma
instancia
de
Coughing
AutonomousAgent
experimenta
Processo
Processo
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Lung
Entidade
e' uma
instancia
de
Throat
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma
instancia
de
Remover
Entidade
e' uma &parte de
AutonomousAgent
Entidade
e' uma &parte de
AutonomousAgent
objectTransferred
Entidade
and
Entidade
Entidade
e'
situado
em
Entidade
Entidade
e'
situado
em
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
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
Ano
e' uma
instancia
de o
ano
Ano
EAR
MaleLifeExpectancyAtBirthFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Lista
Numero Inteiro
,
Sequencia Simbolica
,
Entidade
,
Entidade
and
Entidade
Lista
e' uma
instancia
de
Lista
comprimento
de
Lista
e' uma
instancia
de
Numero Inteiro
Lista
ITEM
Lista
ITEM e' um
membro
de
Lista
Lista
ITEM e' uma
instancia
de
Sequencia Simbolica
Entidade
Entidade
e' uma
instancia
de
Sequencia Simbolica
Entidade
e' um
membro
de
Lista
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
average
Lista
and
Numero Real
(<=>
(
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
Ano
e' uma
instancia
de o
ano
Numero Inteiro
BirthsPerThousandFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
PopulationFn
Area Geopolitica
+ 1000 e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
+
Numero Real
e'
igual
a
Numero Real
(<=>
(
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
Ano
e' uma
instancia
de o
ano
Numero Inteiro
DeathsPerThousandFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
PopulationFn
Area Geopolitica
+ 1000 e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
+
Numero Real
e'
igual
a
Numero Real
(<=>
(
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
Ano
e' uma
instancia
de o
ano
Numero Inteiro
DeathsPerThousandLiveBirthsFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
+ 1000 e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
+
Numero Real
e'
igual
a
Numero Real
(<=>
(
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
Ano
e' uma
instancia
de o
ano
Numero Inteiro
FemaleLifeExpectancyAtBirthFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Lista
Numero Inteiro
,
Sequencia Simbolica
,
Entidade
,
Entidade
and
Entidade
Lista
e' uma
instancia
de
Lista
comprimento
de
Lista
e' uma
instancia
de
Numero Inteiro
Lista
ITEM
Lista
ITEM e' um
membro
de
Lista
Lista
ITEM e' uma
instancia
de
Sequencia Simbolica
Entidade
Entidade
e' uma
instancia
de
Sequencia Simbolica
Entidade
e' um
membro
de
Lista
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
average
Lista
and
Numero Real
(<=>
(
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
Ano
e' uma
instancia
de o
ano
Numero Inteiro
LifeExpectancyAtBirthFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Lista
Numero Inteiro
,
Sequencia Simbolica
,
Entidade
,
Entidade
and
Entidade
Lista
e' uma
instancia
de
Lista
comprimento
de
Lista
e' uma
instancia
de
Numero Inteiro
Lista
ITEM
Lista
ITEM e' um
membro
de
Lista
Lista
ITEM e' uma
instancia
de
Sequencia Simbolica
Entidade
Entidade
e' uma
instancia
de
Sequencia Simbolica
Entidade
e' um
membro
de
Lista
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
average
Lista
and
Numero Real
(=>
(
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
Humano
and
Substancia
Substancia
UB e' uma
instancia
de
Substancia
Substancia
UB
encontra
Humano
vale
durante
Posicao Temporal
o argumento
Entidade
Entidade
e' uma
instancia
de
AllergicReaction
Humano
experimenta
Entidade
tempo
de existencia de
Entidade
engloba
Posicao Temporal
o
comeco
de
Posicao Temporal
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
tem a
forca
modal
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
Agente Cognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Fisico
Fisico
e' uma
sub
-classe de
Objeto
Entidade
e' uma
instancia
de
Fisico
AutonomousAgent
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
recurso
para
Entidade
Entidade
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Entidade
(=>
(
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
Fisico
Entidade
e' uma
instancia
de
HotelFunctionRoom
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
Processo
e' uma
instancia
de
Renting
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Entidade
Fisico
e' uma
sub
-classe de
Objeto
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Fisico
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
recurso
para
Entidade
Entidade
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Entidade
Entidade
experimenta
Entidade
tem a
forca
modal
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
Estado Emocional
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
actionTendency
Estado Emocional
and
EmotionalBehavioralProcess
o argumento
Entidade
Entidade
e' uma
instancia
de
EmotionalBehavioralProcess
tempo
de existencia de
Entidade
acontece
durante
Posicao Temporal
Entidade
experimenta
Entidade
tem a
forca
modal
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
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Pain
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
AutonomousAgent
experimenta
Processo
Processo
Processo
e' uma
instancia
de
Movimento do Corpo
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Processo
causa
Processo
(=>
(
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
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Numero Real
e'
igual
a (1
YearDuration
(s) + o
comeco
de
Intervalo Temporal
)
Intervalo Temporal
e'
igual
a o
intervalo
entre
Intervalo Temporal
e o
comeco
de
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
Menstruation
AutonomousAgent
experimenta
Processo
(=>
(
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
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Evacuation
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
MilitaryOrganization
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
acontence
antes
de
Intervalo Temporal
(=>
(
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
Processo
e' uma
instancia
de
Accelerating
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Processo
AutonomousAgent
experimenta
Processo
Processo
Processo
e' uma
instancia
de
Decelerating
AutonomousAgent
experimenta
Processo
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
Anaphylaxis
AutonomousAgent
experimenta
Processo
o argumento
Entidade
Entidade
e' uma
instancia
de
Morte
AutonomousAgent
experimenta
Entidade
Processo
causa
Entidade
tem a
forca
modal
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
Objeto
e' uma
instancia
de
Armor
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Preservar
Objeto
e' um
instrumento
para
Entidade
Objeto
experimenta
Entidade
(=>
(
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
Objeto
e' uma
instancia
de
Armor
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Objeto
e' um
instrumento
para
Entidade
Objeto
experimenta
Entidade
(=>
(
and
(
instance
?A
Asphyxiation
)
(
experiencer
?A ?M))
(
holdsDuring
(
WhenFn
?A)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
experiencer
?B ?A))))))
Medicine.kif 6304-6313
Processo
e' uma
instancia
de
Asphyxiation
AutonomousAgent
experimenta
Processo
Entidade
Entidade
e' uma
instancia
de
Respirar
Processo
experimenta
Entidade
vale
durante
tempo
de existencia de
Processo
(=>
(
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
Processo
e' uma
instancia
de
AngryVoiceUtterance
Processo
e' um
agente
de
AutonomousAgent
o argumento
causesProposition
AutonomousAgent
NG
AutonomousAgent
NG e' uma
instancia
de
Anger
AutonomousAgent
experimenta
AutonomousAgent
NG and
Processo
e' uma
instancia
de
AngryVoiceUtterance
Processo
e' um
agente
de
AutonomousAgent
tem a
forca
modal
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
Entidade
e' uma
instancia
de
LegalAward
Entidade
inclui uma
referencia
a
Processo
Processo
e' uma
instancia
de
Acao Legal
Processo
e' um
agente
de
Agente Cognitivo
Entidade
autoriza
Agente Cognitivo
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Obter
Agente Cognitivo
experimenta
Entidade
Entidade
e' um
patient
de
Entidade
o
valor
de
Entidade
e'
Entidade
(=>
(
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
Transferencia
e' uma
instancia
de
Bequeathing
Transferencia
e' um
agente
de
AutonomousAgent
Transferencia
termina
em
Entidade
objectTransferred
Transferencia
and
AutonomousAgent
ROP
Processo
Processo
e' uma
instancia
de
Morte
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Transferencia
AutonomousAgent
possui
AutonomousAgent
ROP
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
confersNorm
AutonomousAgent
,
Entidade
possui
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
Transferencia
e' uma
instancia
de
BreakthroughInfection
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Objeto
C
AutonomousAgent
experimenta
Transferencia
Objeto
AX
Objeto
AX e' uma
instancia
de
Vaccination
AutonomousAgent
experimenta
Objeto
AX
vaccine
Objeto
ACCINECLASS and
Objeto
C
Objeto
ACCINE e' uma
instancia
de
Objeto
ACCINECLASS
objectTransferred
Objeto
AX and
Objeto
ACCINE
tempo
de existencia de
Objeto
AX acontence
antes
de
tempo
de existencia de
Transferencia
(=>
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?AGENT))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?AGENT))))
Merge.kif 10197-10204
Processo
e' uma
instancia
de
Nascimento
AutonomousAgent
experimenta
Processo
Processo
Processo
e' uma
instancia
de
Morte
AutonomousAgent
experimenta
Processo
(=>
(
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
Processo
e' uma
instancia
de
Choking
AutonomousAgent
experimenta
Processo
Processo
O
Processo
O e' uma
instancia
de
Coughing
Processo
O e' um
sub
-processo de
Processo
AutonomousAgent
experimenta
Processo
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
Processo
e' uma
instancia
de
Coughing
AutonomousAgent
experimenta
Processo
Processo
Processo
Processo
e' uma
instancia
de
Inhaling
Processo
e' uma
instancia
de
Exhaling
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
AutonomousAgent
experimenta
Processo
AutonomousAgent
experimenta
Processo
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
Ano
e' uma
instancia
de o
ano
Numero Inteiro
ChildrenBornPerWomanFn
Area Geopolitica
and
Ano
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
(
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 e' uma
instancia
de ?SUBSTANCE ?THERAPY e' uma
instancia
de ?PROCESS ?ORGANISM
experimenta
?THERAPY ?SAMPLE e' um
patient
de ?THERAPY
diminui
a probabilidade de ?SYMPTOM e' um
atributo
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 e' uma
instancia
de ?PROCESSTYPE ?ORGANISM
experimenta
?PROCESS
aumenta
a probabilidade de ?SYMPTOM e' um
atributo
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