holdsDuring
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
modalAttribute
(
not
?F)
Likely
))
Merge.kif 18225-18235
ImpairedBodyPartFn
Classe
e' um
atributo
de
Objeto
vale
durante
Posicao Temporal
Classe
I e' uma
instancia
de
Classe
Classe
I e' uma &parte de
Objeto
Classe
I tem por
fim
Formula
o argumento
Formula
tem a
forca
modal
de
Likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?H ?C))
(
instance
?H
ChronicDisease
)
(
duration
?T ?D))
(
greaterThan
?D
(
MeasureFn
3
MonthDuration
)))
Mid-level-ontology.kif 5919-5926
Entidade
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Entidade
e' uma
instancia
de
ChronicDisease
a
duracao
de
Intervalo Temporal
e'
Numero Real
Numero Real
e'
maior
que 3
MonthDuration
(s)
(=>
(
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
?T
(
attribute
?H
AVPUVerbalStatus
))
(
instance
?S
Speaking
)
(
destination
?S ?H)
(
during
(
WhenFn
?S) ?T))
(
exists
(?IA)
(
and
(
instance
?IA
IntentionalProcess
)
(
agent
?IA ?H)
(
during
(
WhenFn
?IA) ?T)
(
causes
?S ?IA))))
Medicine.kif 6447-6459
AVPUVerbalStatus
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Speaking
Processo
termina
em
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
Processo Intencional
Processo
e' um
agente
de
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Processo
causa
Processo
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
ChronicFatigueSyndrome
))
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
(
WhenFn
?R) ?T))
(
modalAttribute
(
and
(
holdsDuring
?T2
(
attribute
?H
PostExertionalMalaise
))
(
earlier
(
WhenFn
?R) ?T2))
Likely
))
Medicine.kif 1500-1512
ChronicFatigueSyndrome
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Processo
e' uma
instancia
de
Recreacao ou Exercicio
Processo
e' um
agente
de
AutonomousAgent
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
o argumento
PostExertionalMalaise
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
2
tempo
de existencia de
Processo
acontence
antes
de
Intervalo Temporal
2 tem a
forca
modal
de
Likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?X
Booting
))
(
holdsDuring
?T2
(
attribute
?X
HostReady
))
(
equal
?T2
(
ImmediateFutureFn
(
WhenFn
?T)))
(
instance
?DIS
ComputerDisplay
)
(
connectedEngineeringComponents
?DIS ?X))
(
modalAttribute
(
exists
(?HS)
(
and
(
instance
?HS
HomeScreen
)
(
displayedUpon
?HS ?DIS)))
Likely
))
ComputingBrands.kif 3231-3245
Booting
e' um
atributo
de
Componente de Engenharia
vale
durante
Fisico
HostReady
e' um
atributo
de
Componente de Engenharia
vale
durante
Fisico
2
Fisico
2 e'
igual
a imediatemente
apos
tempo
de existencia de
Fisico
Componente de Engenharia
e' uma
instancia
de
ComputerDisplay
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
o argumento
Entidade
Entidade
e' uma
instancia
de
HomeScreen
displayedUpon
Entidade
and
Componente de Engenharia
tem a
forca
modal
de
Likely
(=>
(
and
(
holdsDuring
?T
(
desires
?M
(
attribute
?V
Dead
)))
(
instance
?MURDER
Murder
)
(
agent
?MURDER ?M)
(
patient
?MURDER ?V)
(
earlier
?T
(
WhenFn
?MURDER)))
(
attribute
?MURDER
Premeditated
))
Law.kif 480-489
AutonomousAgent
deseja
Dead
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
AutonomousAgent
URDER e' uma
instancia
de
Murder
AutonomousAgent
URDER e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
AutonomousAgent
URDER
Intervalo Temporal
acontence
antes
de
tempo
de existencia de
AutonomousAgent
URDER
Premeditated
e' um
atributo
de
AutonomousAgent
URDER
(=>
(
and
(
holdsDuring
?T
(
measure
?C ?S))
(
engineIdleSpeed
?E ?S)
(
instance
?A
Automobile
)
(
part
?E ?A)
(
part
?C ?E))
(
modalAttribute
(
not
(
exists
(?P ?GP)
(
and
(
during
?P ?T)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?GP ?A))))
Likely
))
Cars.kif 2567-2583
A
medida
de
Objeto
e'
Funcao de Quantidade
vale
durante
Posicao Temporal
engineIdleSpeed
InternalCombustionEngine
and
Funcao de Quantidade
Objeto
e' uma
instancia
de
Automobile
InternalCombustionEngine
e' uma &parte de
Objeto
Objeto
e' uma &parte de
InternalCombustionEngine
o argumento
Entidade
Entidade
Entidade
acontece
durante
Posicao Temporal
Entidade
e' uma
instancia
de
Pushing
Entidade
termina
em
Entidade
Entidade
e' uma &parte de
Objeto
tem a
forca
modal
de
Likely
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4257-4263
Entidade
possui
Objeto
vale
durante
Posicao Temporal
Objeto
e' uma &parte de
Objeto
Entidade
possui
Objeto
vale
durante
Posicao Temporal
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?P
Expellee
)
(
citizen
?P ?HOME-NATION)))
(
instance
?T1
TimeInterval
))
(
exists
(?TRANS ?NATION)
(
and
(
instance
?NATION
Nation
)
(
not
(
equal
?NATION ?HOME-NATION))
(
instance
?TRANS
Translocation
)
(
origin
?TRANS ?NATION)
(
patient
?TRANS ?P)
(
destination
?TRANS ?HOME-NATION)
(
temporalPart
?T1
(
WhenFn
?TRANS)))))
MilitaryPersons.kif 151-167
Expellee
e' um
atributo
de
Entidade
Entidade
e' um
cidadao
de
Entidade
-NATION
vale
durante
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Processo
Objeto
Objeto
e' uma
instancia
de
Nacao
Objeto
e'
igual
a
Entidade
-NATION
Processo
e' uma
instancia
de
Translocation
Processo
tem como
origem
Objeto
Entidade
e' um
patient
de
Processo
Processo
termina
em
Entidade
-NATION
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Processo
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?PERSON
DislocatedCivilian
)
(
inhabits
?PERSON ?RESIDENCE)
(
located
?RESIDENCE ?PLACE)))
(
instance
?PLACE
GeographicArea
)
(
instance
?T1
TimeInterval
))
(
exists
(?T0 ?PRIOR-PLACE ?PRIOR-RES)
(
and
(
instance
?T0
TimeInterval
)
(
earlier
?T0 ?T1)
(
instance
?PRIOR-RES
Object
)
(
instance
?PRIOR-PLACE
GeopoliticalArea
)
(
located
?PRIOR-RES ?PRIOR-PLACE)
(
not
(
equal
?PLACE ?PRIOR-PLACE))
(
not
(
equal
?RESIDENCE ?PRIOR-RES))
(
not
(
geographicSubregion
?PLACE ?PRIOR-PLACE))
(
not
(
geographicSubregion
?PRIOR-PLACE ?PLACE))
(
holdsDuring
?T0
(
inhabits
?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
DislocatedCivilian
e' um
atributo
de
Entidade
Entidade
vive
em
Entidade
Entidade
e'
situado
em
Area Geografica
vale
durante
Intervalo Temporal
Area Geografica
e' uma
instancia
de
Area Geografica
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
Entidade
-PLACE and
Entidade
-RES
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
Entidade
-RES e' uma
instancia
de
Objeto
Entidade
-PLACE e' uma
instancia
de
Area Geopolitica
Entidade
-RES e'
situado
em
Entidade
-PLACE
Area Geografica
e'
igual
a
Entidade
-PLACE
Entidade
e'
igual
a
Entidade
-RES
geographicSubregion
Area Geografica
and
Entidade
-PLACE
geographicSubregion
Entidade
-PLACE and
Area Geografica
Entidade
vive
em
Entidade
-RES
vale
durante
Intervalo Temporal
(=>
(
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
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30662-30683
Dieting
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Dieting
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Meal
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
recurso
para
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
a
medida
de
Objeto
e'
Numero Real
Calorie
(s)
Objeto
e' uma
instancia
de
Meal
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
recurso
para
Processo
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
a
medida
de
Objeto
e'
Numero Real
Calorie
(s)
o argumento
Numero Real
e'
maior
que
Numero Real
tem a
forca
modal
de
Likely
(=>
(
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
(
holdsDuring
?T1
(
attribute
?P
InternallyDisplacedPerson
))
(
instance
?T1
TimeInterval
))
(
exists
(?SITUATION ?T0)
(
and
(
earlier
?T0 ?T1)
(
causesProposition
(
holdsDuring
?T0
(
fears
?P ?SITUATION))
(
holdsDuring
?T1
(
attribute
?P
InternallyDisplacedPerson
))))))
MilitaryPersons.kif 101-111
InternallyDisplacedPerson
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Entidade
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
causesProposition
fears
Entidade
and
Entidade
vale
durante
Intervalo Temporal
and
InternallyDisplacedPerson
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
StatelessPerson
))
(
instance
?NAT
Nation
))
(
holdsDuring
?T1
(
not
(
citizen
?P ?NAT))))
MilitaryPersons.kif 195-201
StatelessPerson
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de
Nacao
Entidade
e' um
cidadao
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
holdsDuring
?T1
(
legalRelation
?A1 ?A2))
(
instance
?A1
Organism
)
(
instance
?A2
Organism
))
(
holdsDuring
?T1
(
relative
?A1 ?A2)))
Merge.kif 16324-16329
Existe uma
relacao
legal
entre
Entidade
e
Entidade
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de
Organismo
Entidade
e' uma
instancia
de
Organismo
relative
Entidade
and
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
holdsDuring
?T1
(
member
?OBJ ?GROUP))
(
instance
?OBJ
Human
)
(
instance
?GROUP
GroupOfPeople
))
(
holdsDuring
?T1
(
groupMember
?OBJ ?GROUP)))
Mid-level-ontology.kif 7562-7569
Entidade
e'
membro
de
Entidade
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
GroupOfPeople
groupMember
Entidade
and
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Book
))
(
holdsDuring
?T1
(
attribute
?AGENT
BookPublishers
)))
Media.kif 1900-1904
Entidade
publica
Classe
vale
durante
Posicao Temporal
Classe
e' uma
sub
-classe de
Livro
BookPublishers
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
MusicalComposition
))
(
holdsDuring
?T1
(
attribute
?AGENT
MusicPublishers
)))
Media.kif 1888-1892
Entidade
publica
Classe
vale
durante
Posicao Temporal
Classe
e' uma
sub
-classe de
MusicalComposition
MusicPublishers
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Newspaper
))
(
holdsDuring
?T1
(
attribute
?AGENT
NewspaperPublishers
)))
Media.kif 1912-1916
Entidade
publica
Classe
vale
durante
Posicao Temporal
Classe
e' uma
sub
-classe de
Newspaper
NewspaperPublishers
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Periodical
))
(
holdsDuring
?T1
(
attribute
?AGENT
PeriodicalPublishers
)))
Media.kif 1906-1910
Entidade
publica
Classe
vale
durante
Posicao Temporal
Classe
e' uma
sub
-classe de
Periodico
PeriodicalPublishers
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Text
))
(
holdsDuring
?T1
(
attribute
?AGENT
InformationIndustries
)))
Media.kif 1894-1898
Entidade
publica
Classe
vale
durante
Posicao Temporal
Classe
e' uma
sub
-classe de
Texto
InformationIndustries
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
holdsDuring
?T1
(
spouse
?P1 ?P2))
(
instance
?T1
TimeInterval
))
(
exists
(?WED)
(
and
(
instance
?WED
Wedding
)
(
patient
?WED ?P1)
(
patient
?WED ?P2)
(
earlier
(
WhenFn
?WED) ?T1))))
Mid-level-ontology.kif 7972-7982
spouse
Entidade
and
Entidade
vale
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Processo
Processo
e' uma
instancia
de
Wedding
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
tempo
de existencia de
Processo
acontence
antes
de
Intervalo Temporal
(=>
(
and
(
holdsDuring
?T2 ?SIT2)
(
holdsDuring
?T1 ?SIT1)
(
instance
?T1
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
causesProposition
?SIT1 ?SIT2))
(
beforeOrEqual
(
BeginFn
?T1)
(
BeginFn
?T2)))
Merge.kif 3836-3843
Formula
vale
durante
Intervalo Temporal
Formula
vale
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
causesProposition
Formula
and
Formula
o
comeco
de
Intervalo Temporal
ocorre
antes ou durante o
comeco
de
Intervalo 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