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
Physique
est une
instance
de
TapeRecorder
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
processus intentionnel
physique
est un
instrument
pour
entit�
entit�
est le
resultat
de
entit�
entit�
est une
instance
de
AudioRecording
entit�
est une
instance
de
RecordingTape
entit�
est
connect
� �
physique
pendant
entit�
le
d
�but de
temps
d'existence de
entit�
se produit
avant
le
d
�but de
temps
d'existence de
entit�
est une
partie
de
entit�
(=>
(
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
Physique
est une
instance
de
Tripod
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
artefact
entit�
est une
instance
de
mettre
entit�
est un
patient
de
entit�
entit�
aboutit
�
physique
entit�
est une
instance
de
processus
entit�
est un
instrument
pour
entit�
la
fin
de
temps
d'existence de
entit�
se produit
avant
le
d
�but de
temps
d'existence de
entit�
(=>
(
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
proposition
and
langage
expression linguistique
interval temporel
expression linguistique
est une
instance
de
expression linguistique
expression linguistique
repr
�sente
proposition
dans le langage
langage
interval temporel
est
temps
d'existence de
expression linguistique
interval temporel
physique
physique
est une
instance
de
expression linguistique
physique
d
�finie
proposition
interval temporel
est
temps
d'existence de
physique
interval temporel
se produit
avant
interval temporel
(=>
(
parent
?CHILD ?PARENT)
(
before
(
BeginFn
(
WhenFn
?PARENT))
(
BeginFn
(
WhenFn
?CHILD))))
Merge.kif 16375-16377
Organisme
est un
parent
de
organisme
le
d
�but de
temps
d'existence de
organisme
se produit
avant
le
d
�but de
temps
d'existence de
organisme
(=>
(
result
?PROC ?OBJ)
(
forall
(?TIME)
(=>
(
before
?TIME
(
BeginFn
(
WhenFn
?PROC)))
(
not
(
time
?OBJ ?TIME)))))
Merge.kif 8124-8130
Physique
est le
resultat
de
processus
point temporel
point temporel
se produit
avant
le
d
�but de
temps
d'existence de
processus
physique
n' existe %n{pas}
pendant
point temporel
(=>
(
starts
?INTERVAL1 ?INTERVAL2)
(
and
(
equal
(
BeginFn
?INTERVAL1)
(
BeginFn
?INTERVAL2))
(
before
(
EndFn
?INTERVAL1)
(
EndFn
?INTERVAL2))))
Merge.kif 8044-8052
Interval temporel
commence
interval temporel
le
d
�but de
interval temporel
est
d
�but de
interval temporel
la
fin
de
interval temporel
se produit
avant
la
fin
de
interval temporel
(=>
(
temporallyBetween
?POINT1 ?POINT2 ?POINT3)
(
and
(
before
?POINT1 ?POINT2)
(
before
?POINT2 ?POINT3)))
Merge.kif 8170-8174
Point temporel
est
entre
point temporel
et
point temporel
point temporel
se produit
avant
point temporel
point temporel
se produit
avant
point temporel
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