temporalPart
(=>
(
holdsDuring
?TIME
(
attribute
?AGENT
Surprise
))
(
exists
(?PART ?PROP)
(
and
(
temporalPart
?PART
(
PastFn
?TIME))
(
holdsDuring
?PART
(
expects
?AGENT ?PROP))
(
holdsDuring
?TIME
(
truth
?PROP
False
)))))
Mid-level-ontology.kif 19348-19354
Surprise
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Posicao Temporal
Entidade
Posicao Temporal
e' uma &parte de
antes
de
Posicao Temporal
expects
Entidade
and
Entidade
vale
durante
Posicao Temporal
truth
Entidade
and
False
vale
durante
Posicao Temporal
(=>
(
holdsDuring
?TIME
(
attribute
?PERSON
Drunk
))
(
exists
(?PAST)
(
and
(
temporalPart
?PAST
(
PastFn
?TIME))
(
holdsDuring
?PAST
(
exists
(?DRINK ?ALCOHOL)
(
and
(
instance
?DRINK
Drinking
)
(
patient
?DRINK ?ALCOHOL)
(
instance
?ALCOHOL
AlcoholicBeverage
)
(
agent
?DRINK ?PERSON)))))))
Mid-level-ontology.kif 8673-8684
Drunk
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Posicao Temporal
Posicao Temporal
e' uma &parte de
antes
de
Posicao Temporal
Entidade
Entidade
Entidade
e' uma
instancia
de
Beber
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
AlcoholicBeverage
Entidade
e' um
agente
de
Entidade
vale
durante
Posicao Temporal
(=>
(
holdsDuring
?TIME
(
instance
?AREA
MilitaryFront
))
(
exists
(?BATTLE)
(
and
(
instance
?BATTLE
Battle
)
(
eventLocated
?BATTLE ?AREA)
(
temporalPart
?TIME ?BATTLE))))
Mid-level-ontology.kif 9018-9024
Objeto
e' uma
instancia
de
MilitaryFront
vale
durante
Posicao Temporal
Processo
Processo
e' uma
instancia
de
Batalha
eventLocated
Processo
and
Objeto
Posicao Temporal
e' uma &parte de
Processo
(=>
(
instance
?ANAT
AnatomicalStructure
)
(
exists
(?ORGANISM ?TIME)
(
and
(
instance
?ORGANISM
Organism
)
(
temporalPart
?TIME
(
WhenFn
?ORGANISM))
(
holdsDuring
?TIME
(
part
?ANAT ?ORGANISM)))))
Merge.kif 14921-14927
Entidade
e' uma
instancia
de
Estructura Anatomica
Fisico
Posicao Temporal
Fisico
e' uma
instancia
de
Organismo
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Fisico
Entidade
e' uma &parte de
Fisico
vale
durante
Posicao Temporal
(=>
(
instance
?C
Convoy
)
(
exists
(?V1 ?V2 ?TIME)
(
and
(
not
(
equal
?V1 ?V2))
(
instance
?V1
Vehicle
)
(
instance
?V2
Vehicle
)
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME
(
WhenFn
?C))
(
holdsDuring
?TIME
(
and
(
member
?V1 ?C)
(
member
?V2 ?C))))))
Mid-level-ontology.kif 22334-22346
Fisico
e' uma
instancia
de
Convoy
Entidade
Entidade
and
Posicao Temporal
Entidade
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
Vehicle
Entidade
e' uma
instancia
de
Vehicle
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Fisico
Entidade
e'
membro
de
Fisico
Entidade
e'
membro
de
Fisico
vale
durante
Posicao Temporal
(=>
(
instance
?D
Disappearing
)
(
exists
(?OBJ ?AGENT ?SEARCH ?TIME)
(
and
(
instance
?SEARCH
Searching
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?SEARCH))
(
agent
?SEARCH ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?D ?OBJ)
(
patient
?SEARCH ?OBJ)
(
instance
?TIME
TimeInterval
)
(
temporalPart
?TIME
(
WhenFn
?SEARCH))
(
holdsDuring
?TIME
(
not
(
modalAttribute
(
exists
(?DISC)
(
and
(
instance
?DISC
Discovering
)
(
agent
?DISC ?AGENT)
(
patient
?DISC ?OBJ)))
Possibility
))))))
Mid-level-ontology.kif 17323-17345
Processo
e' uma
instancia
de
Disappearing
Entidade
AutonomousAgent
,
Processo
and
Posicao Temporal
Processo
e' uma
instancia
de
Searching
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' uma
instancia
de
Objeto
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Processo
o argumento
Processo
ISC
Processo
ISC e' uma
instancia
de
Discovering
Processo
ISC e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
ISC nao %n a
forca
modal
de
Possibility
vale
durante
Posicao Temporal
(=>
(
instance
?INTERVAL
TimeInterval
)
(
exists
(?POINT)
(
and
(
instance
?POINT
TimePoint
)
(
temporalPart
?POINT ?INTERVAL))))
Merge.kif 7947-7952
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Ponto no tempo
Posicao Temporal
e' uma &parte de
Posicao Temporal
(=>
(
instance
?O
OlympicGames
)
(
or
(
exists
(?W)
(
and
(
instance
?W
WinterSeason
)
(
temporalPart
(
WhenFn
?O) ?W)))
(
exists
(?S)
(
and
(
instance
?S
SummerSeason
)
(
temporalPart
(
WhenFn
?O) ?S)))))
Sports.kif 1340-1350
Fisico
e' uma
instancia
de
OlympicGames
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
WinterSeason
tempo
de existencia de
Fisico
e' uma &parte de
Posicao Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
SummerSeason
tempo
de existencia de
Fisico
e' uma &parte de
Posicao Temporal
(=>
(
instance
?PART
BodyPart
)
(
exists
(?ORGANISM ?TIME)
(
and
(
instance
?ORGANISM
Organism
)
(
temporalPart
?TIME
(
WhenFn
?ORGANISM))
(
holdsDuring
?TIME
(
component
?PART ?ORGANISM)))))
Merge.kif 14955-14961
Entidade
e' uma
instancia
de
Parte do Corpo
Fisico
Posicao Temporal
Fisico
e' uma
instancia
de
Organismo
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Fisico
Entidade
e' um
componente
de
Fisico
vale
durante
Posicao Temporal
(=>
(
instance
?POINT
TimePoint
)
(
exists
(?INTERVAL)
(
and
(
instance
?INTERVAL
TimeInterval
)
(
temporalPart
?POINT ?INTERVAL))))
Merge.kif 7940-7945
Posicao Temporal
e' uma
instancia
de
Ponto no tempo
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Posicao Temporal
e' uma &parte de
Posicao Temporal
(=>
(
instance
?S
Scar
)
(
exists
(?T ?OP ?L)
(
and
(
temporalPart
?T
(
PastFn
(
WhenFn
?S)))
(
holdsDuring
?T
(
instance
?L
Lesion
))
(
instance
?OP
OrganOrTissueProcess
)
(
patient
?OP ?L)
(
result
?OP ?S))))
Mid-level-ontology.kif 9408-9418
Fisico
e' uma
instancia
de
Scar
Posicao Temporal
Processo
and
Entidade
Posicao Temporal
e' uma &parte de
antes
de
tempo
de existencia de
Fisico
Entidade
e' uma
instancia
de
Lesion
vale
durante
Posicao Temporal
Processo
e' uma
instancia
de
Processo de Orgao or Tecido
Entidade
e' um
patient
de
Processo
Fisico
e' o
resultado
de
Processo
(=>
(
meetsTemporally
?T1 ?T2)
(
not
(
exists
(?T3)
(
and
(
instance
?T3
TimeInterval
)
(
temporalPart
?T3 ?T1)
(
temporalPart
?T3 ?T2)))))
Merge.kif 8345-8352
Intervalo Temporal
encontra
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Posicao Temporal
e' uma &parte de
Intervalo Temporal
Posicao Temporal
e' uma &parte de
Intervalo Temporal
(=>
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2)
(
exists
(?INTERVAL3)
(
and
(
instance
?INTERVAL3
TimeInterval
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))))
Merge.kif 8234-8240
Intervalo Temporal
engloba
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
Posicao Temporal
e' uma &parte de
Intervalo Temporal
Posicao Temporal
e' uma &parte de
Intervalo Temporal
(=>
(
overlapsTemporally
?INTERVAL1 ?INTERVAL2)
(
exists
(?INTERVAL3)
(
and
(
instance
?INTERVAL3
TimePosition
)
(
temporalPart
?INTERVAL3 ?INTERVAL1)
(
temporalPart
?INTERVAL3 ?INTERVAL2))))
Merge.kif 8290-8296
Intervalo Temporal
engloba
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Posicao Temporal
Posicao Temporal
e' uma &parte de
Intervalo Temporal
Posicao Temporal
e' uma &parte de
Intervalo Temporal
(=>
(
subProcess
?SUBPROC ?PROC)
(
temporalPart
(
WhenFn
?SUBPROC)
(
WhenFn
?PROC)))
Merge.kif 10107-10109
Processo
e' um
sub
-processo de
Processo
tempo
de existencia de
Processo
e' uma &parte de
tempo
de existencia de
Processo
(=>
(
time
?THING ?POS)
(
temporalPart
?POS
(
WhenFn
?THING)))
Merge.kif 7974-7977
Fisico
existe
durante
Posicao Temporal
Posicao Temporal
e' uma &parte de
tempo
de existencia de
Fisico
(=>
(
typicalTemporalPart
?PART ?WHOLE)
(
exists
(?X ?Y)
(
and
(
instance
?X ?WHOLE)
(
instance
?Y ?PART)
(
temporalPart
?Y ?X))))
Cars.kif 1445-1451
typicalTemporalPart
Processo
and
Processo
Posicao Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Processo
Posicao Temporal
e' uma
instancia
de
Processo
Posicao Temporal
e' uma &parte de
Posicao Temporal
(=>
(
typicallyContainsTemporalPart
?PART ?WHOLE)
(
exists
(?X ?Y)
(
and
(
instance
?X ?WHOLE)
(
instance
?Y ?PART)
(
temporalPart
?Y ?X))))
Cars.kif 1485-1491
typicallyContainsTemporalPart
Processo
and
Processo
Posicao Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Processo
Posicao Temporal
e' uma
instancia
de
Processo
Posicao Temporal
e' uma &parte de
Posicao Temporal
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