desires
(=>
(
and
(
parent
?CHILD ?PARENT)
(
or
(
instance
?CHILD
HumanChild
)
(
instance
?CHILD
HumanBaby
)))
(
modalAttribute
(
exists
(?CARE)
(
and
(
instance
?CARE
ChildCareService
)
(
desires
?PARENT ?CARE)))
Possibility
))
Hotel.kif 1890-1900
Organismo
e' um
genitor
de
Organismo
Organismo
e' uma
instancia
de
HumanChild
Organismo
e' uma
instancia
de
HumanBaby
o argumento
Entidade
Entidade
e' uma
instancia
de
ChildCareService
Organismo
deseja
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
prosecutor
?P ?A)
(
defendant
?P ?D))
(
desires
?A
(
exists
(?L)
(
and
(
instance
?L
LegalDecision
)
(
refers
?L ?P)
(
not
(
wants
?D ?L))))))
Law.kif 318-328
prosecutor
Acao Legal
and
Agente Cognitivo
defendant
Acao Legal
and
Agente Cognitivo
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
LegalDecision
Entidade
inclui uma
referencia
a
Acao Legal
Agente Cognitivo
nao
quer
%n
Entidade
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30956-30971
shortage
Agente Cognitivo
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Quantidade
Quantidade
e' uma
instancia
de
Numero Inteiro
Agente Cognitivo
deseja
Entidade
Entidade
Entidade
e' uma
instancia
de
Comprar
tempo
de existencia de
Entidade
acontece
durante
Intervalo Temporal
objectTransferred
Entidade
and
Entidade
transactionAmount
Entidade
and
Medida de Divisa
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' uma
instancia
de
Colecao
memberType
Entidade
and
Objeto
memberCount
Entidade
and
Quantidade
Agente Cognitivo
possui
Entidade
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?G)
(
and
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30898-30908
shortage
Agente Cognitivo
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Quantidade
Quantidade
e' uma
instancia
de
Numero Inteiro
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Colecao
memberType
Entidade
and
Objeto
memberCount
Entidade
and
Quantidade
Agente Cognitivo
possui
Entidade
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30973-30987
shortage
Agente Cognitivo
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Quantidade
Quantidade
e' uma
instancia
de
Quantidade Fisica
Agente Cognitivo
deseja
Entidade
Entidade
Entidade
e' uma
instancia
de
Comprar
tempo
de existencia de
Entidade
acontece
durante
Intervalo Temporal
objectTransferred
Entidade
and
Entidade
transactionAmount
Entidade
and
Medida de Divisa
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Quantidade
Agente Cognitivo
possui
Entidade
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?G)
(
and
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30912-30921
shortage
Agente Cognitivo
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Quantidade
Quantidade
e' uma
instancia
de
Quantidade Fisica
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Quantidade
Agente Cognitivo
possui
Entidade
(=>
(
and
(
wants
?AGENT ?OBJ)
(
instance
?OBJ
Object
))
(
desires
?AGENT
(
possesses
?AGENT ?OBJ)))
Merge.kif 2777-2782
Agente Cognitivo
quer
Fisico
Fisico
e' uma
instancia
de
Objeto
Agente Cognitivo
deseja
Agente Cognitivo
possui
Fisico
(=>
(
and
(
watchingListings
?USER ?COLL ?SITE)
(
instance
?LISTING
WebListing
)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ)
(
member
?LISTING ?COLL))
(
modalAttribute
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER))))
Likely
))
UXExperimentalTerms.kif 1257-1271
watchingListings
AutonomousAgent
,
Colecao
and
WebSite
Processo
e' uma
instancia
de
WebListing
Entidade
e' uma
instancia
de
Objeto
Entidade
e' um
patient
de
Processo
Processo
e'
membro
de
Colecao
o argumento
AutonomousAgent
deseja
Entidade
Entidade
e' uma
instancia
de
Comprar
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
AutonomousAgent
tem a
forca
modal
de
Likely
(=>
(
and
(
webcart
?USER ?COLL ?SITE)
(
instance
?OBJ
Object
)
(
member
?OBJ ?COLL))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 690-700
webcart
Agente Cognitivo
,
Colecao
and
WebSite
Fisico
e' uma
instancia
de
Objeto
Fisico
e'
membro
de
Colecao
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Comprar
Fisico
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
(=>
(
attribute
?A
Bored
)
(
exists
(?DO)
(
and
(
instance
?DO
IntentionalProcess
)
(
agent
?DO ?A)
(
holdsDuring
(
WhenFn
?DO)
(
desires
?A
(
not
(
agent
?DO ?A)))))))
Mid-level-ontology.kif 19828-19837
Bored
e' um
atributo
de
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Processo Intencional
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
deseja
Processo
e' um
agente
de
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
(=>
(
attribute
?A
Hungry
)
(
desires
?A
(
exists
(?E)
(
and
(
instance
?E
Eating
)
(
agent
?E ?A)))))
Mid-level-ontology.kif 19791-19797
Hungry
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Agente Cognitivo
(=>
(
attribute
?A
Schadenfreude
)
(
exists
(?A2 ?P)
(
and
(
causesProposition
?P
(
attribute
?A
Schadenfreude
))
(
not
(
equal
?A ?A2))
(
not
(
desires
?A2 ?P)))))
emotion.kif 766-775
Schadenfreude
e' um
atributo
de
Objeto
Objeto
2
Formula
causesProposition
Formula
and
Schadenfreude
e' um
atributo
de
Objeto
Objeto
e'
igual
a
Objeto
2
Objeto
2 nao
deseja
%n
Formula
(=>
(
attribute
?A
Thirsty
)
(
desires
?A
(
exists
(?D)
(
and
(
instance
?D
Drinking
)
(
agent
?D ?A)))))
Mid-level-ontology.kif 19804-19810
Thirsty
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Beber
Entidade
e' um
agente
de
Agente Cognitivo
(=>
(
attribute
?A
Tired
)
(
desires
?A
(
exists
(?S)
(
and
(
instance
?S
Sleeping
)
(
agent
?S ?A)))))
Mid-level-ontology.kif 19816-19822
Tired
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Sleeping
Entidade
e' um
agente
de
Agente Cognitivo
(=>
(
attribute
?X
PoliticalFigure
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
or
(
member
?X ?GOV)
(
desires
?X
(
member
?X ?GOV))))))
Mid-level-ontology.kif 22543-22551
PoliticalFigure
e' um
atributo
de
Agente Cognitivo
Colecao
Colecao
e' uma
instancia
de
Governo
Agente Cognitivo
e'
membro
de
Colecao
Agente Cognitivo
deseja
Agente Cognitivo
e'
membro
de
Colecao
(=>
(
counselInCase
?H ?A ?L)
(
desires
?H
(
exists
(?LD)
(
and
(
instance
?LD
LegalDecision
)
(
causes
?L ?LD)
(
benefits
?LD ?A)))))
Law.kif 464-471
counselInCase
Humano
,
AutonomousAgent
and
Acao Legal
Humano
deseja
Acao Legal
D
Acao Legal
D e' uma
instancia
de
LegalDecision
Acao Legal
causa
Acao Legal
D
benefits
Acao Legal
D and
AutonomousAgent
(=>
(
dislikes
?AGENT ?OBJECT)
(
desires
?AGENT
(
not
(
possesses
?AGENT ?OBJECT))))
Mid-level-ontology.kif 7432-7434
dislikes
Agente Cognitivo
and
Objeto
Agente Cognitivo
deseja
Agente Cognitivo
nao
possui
%n
Objeto
(=>
(
enjoys
?AGENT ?PROCESS)
(
desires
?AGENT
(
exists
(?INSTANCE)
(
and
(
instance
?INSTANCE ?PROCESS)
(
or
(
agent
?INSTANCE ?AGENT)
(
experiencer
?INSTANCE ?AGENT))))))
Mid-level-ontology.kif 7376-7384
enjoys
Agente Cognitivo
and
Entidade
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Entidade
(=>
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
not
(
desires
?COMP
(
exists
(?P)
(
and
(
instance
?P ?PHYS)
(
involvedInEvent
?P ?COMP))))))
Mid-level-ontology.kif 18408-18415
Organizacao
e'
igual
a
DepartmentOfPreventingFn
Organizacao
and
Fisico
Organizacao
nao
deseja
%n
Entidade
Entidade
e' uma
instancia
de
Fisico
involvedInEvent
Entidade
and
Organizacao
(=>
(
fears
?AGENT ?FORMULA)
(
not
(
desires
?AGENT ?FORMULA)))
Mid-level-ontology.kif 7393-7396
fears
Agente Cognitivo
and
Formula
Agente Cognitivo
nao
deseja
%n
Formula
(=>
(
holdsDuring
?T
(
and
(
located
?H ?L)
(
airTemperature
?L
(
MeasureFn
?T ?TU))
(
attribute
?H
FeelingCold
)))
(
desires
?H
(
holdsDuring
?T
(
and
(
airTemperature
?L
(
MeasureFn
?T2 ?TU))
(
greaterThan
?T2 ?T)))))
emotion.kif 1865-1877
Agente Cognitivo
e'
situado
em
Entidade
airTemperature
Entidade
and
Posicao Temporal
Posicao Temporal
U(s)
FeelingCold
e' um
atributo
de
Agente Cognitivo
vale
durante
Posicao Temporal
Agente Cognitivo
deseja
airTemperature
Entidade
and
Posicao Temporal
2
Posicao Temporal
U(s)
Posicao Temporal
2 e'
maior
que
Posicao Temporal
vale
durante
Posicao Temporal
(=>
(
holdsDuring
?T
(
and
(
located
?H ?L)
(
airTemperature
?L
(
MeasureFn
?T ?TU))
(
attribute
?H
FeelingHot
)))
(
desires
?H
(
holdsDuring
?T
(
and
(
airTemperature
?L
(
MeasureFn
?T2 ?TU))
(
greaterThan
?T ?T2)))))
emotion.kif 1902-1914
Agente Cognitivo
e'
situado
em
Entidade
airTemperature
Entidade
and
Posicao Temporal
Posicao Temporal
U(s)
FeelingHot
e' um
atributo
de
Agente Cognitivo
vale
durante
Posicao Temporal
Agente Cognitivo
deseja
airTemperature
Entidade
and
Posicao Temporal
2
Posicao Temporal
U(s)
Posicao Temporal
e'
maior
que
Posicao Temporal
2
vale
durante
Posicao Temporal
(=>
(
holdsDuring
?T
(
attribute
?H
Insomnia
))
(
holdsDuring
?T
(
and
(
desires
?H
(
attribute
?H
Asleep
))
(
not
(
attribute
?H
Asleep
)))))
Medicine.kif 2095-2103
Insomnia
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
deseja
Dormindo
e' um
atributo
de
Entidade
Dormindo
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
holdsDuring
?T
(
attribute
?H
RectalTenesmus
))
(
holdsDuring
?T
(
and
(
desires
?H
(
exists
(?D)
(
and
(
instance
?D
Defecation
)
(
agent
?D ?H))))
(
not
(
needs
?H
(
exists
(?D)
(
and
(
instance
?D
Defecation
)
(
agent
?D ?H))))))))
Medicine.kif 5110-5125
RectalTenesmus
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
deseja
Entidade
Entidade
e' uma
instancia
de
Defecation
Entidade
e' um
agente
de
Entidade
Entidade
nao tem %n
necessidade
de
Entidade
Entidade
e' uma
instancia
de
Defecation
Entidade
e' um
agente
de
Entidade
vale
durante
Posicao Temporal
(=>
(
holdsDuring
?T
(
attribute
?H
Sleepy
))
(
desires
?H
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?H
Asleep
))))
Mid-level-ontology.kif 16434-16440
Sleepy
e' um
atributo
de
Agente Cognitivo
vale
durante
Posicao Temporal
Agente Cognitivo
deseja
Dormindo
e' um
atributo
de
Agente Cognitivo
vale
durante imediatemente
apos
Posicao Temporal
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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