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 19347-19353
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 8672-8683
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 9017-9023
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 14943-14949
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 22333-22345
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 17322-17344
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 7969-7974
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 1341-1351
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 14977-14983
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 7962-7967
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 9407-9417
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 8367-8374
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 8256-8262
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 8312-8318
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 10129-10131
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 7996-7999
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