Removing
(Spostamento)
(=>
(
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
Entit�Concreta
è un'
istanza
di
Sieve
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�Concreta
UB,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Spostamento
Entit�
è un'
istanza
di
Mistura
Entit�Concreta
UB è un'
istanza
di
Sostanza
Entit�Concreta
UB è una
parte
di
Entit�
Entit�Concreta
UB è un
paziente
di
Entit�
Entit�
è una
parte
di
Entit�Concreta
Entit�
è uno
strumento
per
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è un
agente
di
Entit�
Entit�
non
desidera
Entit�Concreta
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
Entit�Concreta
è un'
istanza
di
Strainer
Entit�Concreta
ha
scopo
Entit�
Entit�Concreta
UB,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Mistura
Entit�Concreta
UB è un'
istanza
di
Sostanza
Entit�
è un'
istanza
di
Sostanza
Entit�Concreta
UB è una
parte
di
Entit�
attribute
Entit�Concreta
UB and
Solid
Entit�
è un'
istanza
di
Spostamento
Entit�
è una
parte
di
Entit�
attribute
Entit�
and
Liquid
Entit�Concreta
UB è un
paziente
di
Entit�
Entit�
è un
risultato
di
Entit�
Entit�Concreta
è uno
strumento
per
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
Processo
è un'
istanza
di
Sostituzione
Processo
Processo
,
Entit�
,
Entit�
and
Oggetto
Processo
è un'
istanza
di
Porre
Processo
è un'
istanza
di
Spostamento
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
Entit�
è un
paziente
di
Processo
Processo
si
originas in
Oggetto
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Oggetto
Entit�
is
uguale
a
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
Entit�Concreta
è un'
istanza
di
TireChanger
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Spostamento
Entit�
è un'
istanza
di
Tire
Entit�
è un'
istanza
di
WheelRim
Entit�
si
originas in
Entit�
objectTransferred
Entit�
and
Entit�
Entit�Concreta
è uno
strumento
per
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