ImmediatePastFn
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?SHEET)
(
and
(
subclass
?SHEET
Glacier
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?BERG))
(
material
?SHEET ?BERG)))))
Geography.kif 4732-4740
Physique
est une
instance
de
Iceberg
classe
classe
est une
sous
-classe de
Glacier
classe
est
fait
de
physique
pendant
immediatement
avant
temps
d'existence de
physique
(=>
(
instance
?C
Clotting
)
(
exists
(?B)
(
and
(
instance
?B
Blood
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
attribute
?B
Liquid
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
attribute
?B
Solid
)))))
Mid-level-ontology.kif 10525-10537
Physique
est une
instance
de
Clotting
entit�
entit�
est une
instance
de
sang
Liquid
est un
attribut
de
entit�
pendant
immediatement
avant
temps
d'existence de
physique
Solid
est un
attribut
de
entit�
pendant
immediatement
apr
�s
temps
d'existence de
physique
(=>
(
instance
?FMIP
FindMyIPhone
)
(
hasPurpose
?FMIP
(
exists
(?A ?IP ?P ?L)
(
and
(
instance
?IP
AppleIPhone
)
(
instrument
?P ?FMIP)
(
agent
?P ?A)
(
patient
?P ?IP)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?P))
(
not
(
knows
?A
(
located
?IP ?L))))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?P))
(
knows
?A
(
located
?IP ?L)))))))
ComputingBrands.kif 4263-4282
Physique
est une
instance
de
FindMyIPhone
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
AppleIPhone
physique
est un
instrument
pour
entit�
entit�
est un
agent
de
entit�
entit�
est un
patient
de
entit�
entit�
ne
conna
�t %n{pas}
entit�
est
situ
� �
entit�
pendant
immediatement
avant
temps
d'existence de
entit�
entit�
conna
�t
entit�
est
situ
� �
entit�
pendant
immediatement
apr
�s
temps
d'existence de
entit�
(=>
(
instance
?I
Inflating
)
(
exists
(?G1 ?G2 ?V1 ?V2 ?S ?U)
(
and
(
instance
?G1 ?S)
(
instance
?G2 ?S)
(
instance
?S
Substance
)
(
attribute
?G1
Gas
)
(
attribute
?G2
Gas
)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
measure
?G1
(
MeasureFn
?V1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
measure
?G2
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V2 ?V1))))
Cars.kif 3591-3607
Physique
est une
instance
de
Inflating
objet
objet
,
nombre r�el
,
nombre r�el
,
classe
and
entit�
objet
est une
instance
de
classe
objet
est une
instance
de
classe
classe
est une
instance
de
substance
Gas
est un
attribut
de
objet
Gas
est un
attribut
de
objet
entit�
est une
instance
de
UnitOfVolume
la
mesure
de
objet
est
nombre r�el
entit�
(s)
pendant
immediatement
avant
temps
d'existence de
physique
la
mesure
de
objet
est
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
temps
d'existence de
physique
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
instance
?INTERVAL
TimeInterval
)
(
finishes
(
ImmediatePastFn
?INTERVAL)
(
PastFn
?INTERVAL)))
Merge.kif 8540-8542
Position temporel
est une
instance
de
interval temporel
immediatement
avant
position temporel
finit
avant
position temporel
(=>
(
instance
?S
Shrapnel
)
(
exists
(?B ?E)
(
and
(
instance
?B
Bomb
)
(
instance
?E
Explosion
)
(
instrument
?E ?B)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?E))
(
part
?S ?B))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?E))
(
not
(
part
?S ?B))))))
MilitaryDevices.kif 2103-2118
Entit�
est une
instance
de
Shrapnel
objet
processus
objet
est une
instance
de
Bomb
processus
est une
instance
de
Explosion
objet
est un
instrument
pour
processus
entit�
est une
partie
de
objet
pendant
immediatement
avant
temps
d'existence de
processus
entit�
est une
partie
de
objet
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
instance
?X
Hijacking
)
(
exists
(?V ?A)
(
and
(
agent
?X ?A)
(
instance
?V
TransportationDevice
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?X))
(
not
(
possesses
?A ?V)))
(
holdsDuring
(
WhenFn
?X)
(
possesses
?A ?V)))))
Mid-level-ontology.kif 21956-21969
Processus
est une
instance
de
Hijacking
entit�
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
entit�
est une
instance
de
v�hicule de transport
AutonomousAgent
ne
poss
�de %n{pas}
entit�
pendant
immediatement
avant
temps
d'existence de
processus
AutonomousAgent
poss
�de
entit�
pendant
temps
d'existence de
processus
(=>
(
instance
?X
Kidnapping
)
(
exists
(?A ?LOC1 ?LOC2)
(
and
(
instance
?A
SentientAgent
)
(
instance
?LOC1
GeographicArea
)
(
instance
?LOC2
GeographicArea
)
(
not
(
equal
?LOC1 ?LOC2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?X))
(
located
?A ?LOC1))
(
holdsDuring
(
WhenFn
?X)
(
located
?A ?LOC2)))))
Mid-level-ontology.kif 22012-22027
Physique
est une
instance
de
Kidnapping
entit�
entit�
and
entit�
entit�
est une
instance
de
sentient agent
entit�
est une
instance
de
secteur g�ographique
entit�
est une
instance
de
secteur g�ographique
entit�
est
entit�
entit�
est
situ
� �
entit�
pendant
immediatement
avant
temps
d'existence de
physique
entit�
est
situ
� �
entit�
pendant
temps
d'existence de
physique
(=>
(
objectTransferred
?P ?OBJ)
(
exists
(?O ?D)
(
and
(
origin
?P ?O)
(
destination
?P ?D)
(
holdsDuring
(
ImmediatePastFn
?P)
(
located
?OBJ ?O))
(
holdsDuring
(
ImmediateFutureFn
?P)
(
located
?OBJ ?D)))))
Merge.kif 11385-11396
objectTransferred
transf�re
and
objet
objet
entit�
transf�re
a pour
origine
objet
transf�re
aboutit
�
entit�
objet
est
situ
� �
objet
pendant
immediatement
avant
transf�re
objet
est
situ
� �
entit�
pendant
immediatement
apr
�s
transf�re
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