Removing
(supprimer)
(=>
(
instance
?S
Sieve
)
(
hasPurpose
?S
(
exists
(?REMOVE ?MIX ?SUB ?HOLE ?A)
(
and
(
instance
?REMOVE
Removing
)
(
instance
?MIX
Mixture
)
(
instance
?SUB
Substance
)
(
part
?SUB ?MIX)
(
patient
?REMOVE ?SUB)
(
part
?HOLE ?S)
(
instrument
?REMOVE ?HOLE)
(
instance
?A
Human
)
(
agent
?REMOVE ?A)
(
not
(
desires
?A ?SUB))))))
Mid-level-ontology.kif 4528-4543
Physique
est une
instance
de
Sieve
physique
a pour
but
entit�
entit�
,
physique
UB,
entit�
and
entit�
entit�
est une
instance
de
supprimer
entit�
est une
instance
de
mixture
physique
UB est une
instance
de
substance
physique
UB est une
partie
de
entit�
physique
UB est un
patient
de
entit�
entit�
est une
partie
de
physique
entit�
est un
instrument
pour
entit�
entit�
est une
instance
de
humain
entit�
est un
agent
de
entit�
entit�
ne
desire
%n{pas}
physique
UB
(=>
(
instance
?S
Strainer
)
(
hasPurpose
?S
(
exists
(?MIX ?SUB ?LIQUID ?REMOVE)
(
and
(
instance
?MIX
Mixture
)
(
instance
?SUB
Substance
)
(
instance
?LIQUID
Substance
)
(
part
?SUB ?MIX)
(
attribute
?SUB
Solid
)
(
instance
?REMOVE
Removing
)
(
part
?LIQUID ?MIX)
(
attribute
?LIQUID
Liquid
)
(
patient
?REMOVE ?SUB)
(
result
?REMOVE ?LIQUID)
(
instrument
?REMOVE ?S)))))
Mid-level-ontology.kif 4549-4564
Physique
est une
instance
de
Strainer
physique
a pour
but
entit�
physique
UB,
entit�
and
entit�
entit�
est une
instance
de
mixture
physique
UB est une
instance
de
substance
entit�
est une
instance
de
substance
physique
UB est une
partie
de
entit�
Solid
est un
attribut
de
physique
UB
entit�
est une
instance
de
supprimer
entit�
est une
partie
de
entit�
Liquid
est un
attribut
de
entit�
physique
UB est un
patient
de
entit�
entit�
est le
resultat
de
entit�
physique
est un
instrument
pour
entit�
(=>
(
instance
?SUB
Substituting
)
(
exists
(?PUT ?REMOVE ?OBJ1 ?OBJ2 ?PLACE)
(
and
(
instance
?PUT
Putting
)
(
instance
?REMOVE
Removing
)
(
subProcess
?PUT ?SUB)
(
subProcess
?REMOVE ?SUB)
(
patient
?REMOVE ?OBJ1)
(
origin
?REMOVE ?PLACE)
(
patient
?PUT ?OBJ2)
(
destination
?PUT ?PLACE)
(
not
(
equal
?OBJ1 ?OBJ2)))))
Merge.kif 11476-11488
Processus
est une
instance
de
remplacer
processus
processus
,
entit�
,
entit�
and
objet
processus
est une
instance
de
mettre
processus
est une
instance
de
supprimer
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
entit�
est un
patient
de
processus
processus
a pour
origine
objet
entit�
est un
patient
de
processus
processus
aboutit
�
objet
entit�
est
entit�
(=>
(
instance
?TC
TireChanger
)
(
hasPurpose
?TC
(
exists
(?RE ?T ?R)
(
and
(
instance
?RE
Removing
)
(
instance
?T
Tire
)
(
instance
?R
WheelRim
)
(
origin
?RE ?R)
(
objectTransferred
?RE ?T)
(
instrument
?RE ?TC)))))
Cars.kif 4895-4905
Physique
est une
instance
de
TireChanger
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
supprimer
entit�
est une
instance
de
Tire
entit�
est une
instance
de
WheelRim
entit�
a pour
origine
entit�
objectTransferred
entit�
and
entit�
physique
est un
instrument
pour
entit�
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