before
(=>
(
instance
?X
TapeRecorder
)
(
hasPurpose
?X
(
exists
(?AUDIO ?TAPE ?PROC)
(
and
(
instance
?PROC
IntentionalProcess
)
(
instrument
?PROC ?X)
(
result
?PROC ?AUDIO)
(
instance
?AUDIO
AudioRecording
)
(
instance
?TAPE
RecordingTape
)
(
holdsDuring
?PROC
(
connected
?TAPE ?X))
(
before
(
BeginFn
(
WhenFn
?PROC))
(
BeginFn
(
WhenFn
(
part
?AUDIO ?TAPE))))))))
Media.kif 1336-1350
Fisico
e' uma
instancia
de
TapeRecorder
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo Intencional
Fisico
e' um
instrumento
para
Entidade
Entidade
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
AudioRecording
Entidade
e' uma
instancia
de
RecordingTape
Entidade
e'
conectado
com
Fisico
vale
durante
Entidade
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
e' uma &parte de
Entidade
(=>
(
instance
?X
Tripod
)
(
hasPurpose
?X
(
exists
(?OBJ ?PUT ?PROC)
(
and
(
instance
?OBJ
Artifact
)
(
instance
?PUT
Putting
)
(
patient
?PUT ?OBJ)
(
destination
?PUT ?X)
(
instance
?PROC
Process
)
(
instrument
?PROC ?OBJ)
(
before
(
EndFn
(
WhenFn
?PUT))
(
BeginFn
(
WhenFn
?PROC)))))))
Mid-level-ontology.kif 26719-26732
Fisico
e' uma
instancia
de
Tripod
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Artefato
Entidade
e' uma
instancia
de
Colocar
Entidade
e' um
patient
de
Entidade
Entidade
termina
em
Fisico
Entidade
e' uma
instancia
de
Processo
Entidade
e' um
instrumento
para
Entidade
o
fim
de
tempo
de existencia de
Entidade
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
(=>
(
originalExpressedInLanguage
?PROP ?LANG)
(
exists
(?PHYS ?TIME)
(
and
(
instance
?PHYS
LinguisticExpression
)
(
representsInLanguage
?PHYS ?PROP ?LANG)
(
equal
?TIME
(
WhenFn
?PHYS))
(
not
(
exists
(?BEFORE ?OTHER)
(
and
(
instance
?OTHER
LinguisticExpression
)
(
represents
?OTHER ?PROP)
(
equal
?BEFORE
(
WhenFn
?OTHER))
(
before
?BEFORE ?TIME)))))))
Music.kif 1457-1470
originalExpressedInLanguage
Proposicao
and
Linguagem
Expressao Linguistica
Intervalo Temporal
Expressao Linguistica
e' uma
instancia
de
Expressao Linguistica
Expressao Linguistica
representa
Proposicao
na linguagem
Linguagem
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Expressao Linguistica
Intervalo Temporal
Fisico
Fisico
e' uma
instancia
de
Expressao Linguistica
Fisico
define
Proposicao
Intervalo Temporal
e'
igual
a
tempo
de existencia de
Fisico
Intervalo Temporal
comeca
antes
de
Intervalo Temporal
(=>
(
parent
?CHILD ?PARENT)
(
before
(
BeginFn
(
WhenFn
?PARENT))
(
BeginFn
(
WhenFn
?CHILD))))
Merge.kif 16375-16377
Organismo
e' um
genitor
de
Organismo
o
comeco
de
tempo
de existencia de
Organismo
comeca
antes
de o
comeco
de
tempo
de existencia de
Organismo
(=>
(
result
?PROC ?OBJ)
(
forall
(?TIME)
(=>
(
before
?TIME
(
BeginFn
(
WhenFn
?PROC)))
(
not
(
time
?OBJ ?TIME)))))
Merge.kif 8124-8130
Fisico
e' o
resultado
de
Processo
Ponto no tempo
Ponto no tempo
comeca
antes
de o
comeco
de
tempo
de existencia de
Processo
Fisico
nao existe %n
durante
Ponto no tempo
(=>
(
starts
?INTERVAL1 ?INTERVAL2)
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2))))
Merge.kif 8044-8052
Intervalo Temporal
comeca
em
Intervalo Temporal
o
comeco
de
Intervalo Temporal
e'
igual
a o
comeco
de
Intervalo Temporal
o
fim
de
Intervalo Temporal
comeca
antes
de o
fim
de
Intervalo Temporal
(=>
(
temporallyBetween
?POINT1 ?POINT2 ?POINT3)
(
and
(
before
?POINT1 ?POINT2)
(
before
?POINT2 ?POINT3)))
Merge.kif 8170-8174
Ponto no tempo
e'
entre
Ponto no tempo
e
Ponto no tempo
Ponto no tempo
comeca
antes
de
Ponto no tempo
Ponto no tempo
comeca
antes
de
Ponto no tempo
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