Object
(Oggetto)
(=>
(
instance
?SHIP
CombinationBulkOilCarrierShip
)
(
cargoType
?SHIP
Object
))
Transportation.kif 2400-2402
MezzoDiTrasporto
è un'
istanza
di
CombinationBulkOilCarrierShip
cargoType
MezzoDiTrasporto
and
Oggetto
(=>
(
instance
?SOAK
Soaking
)
(
exists
(?WATER ?OBJ)
(
and
(
instance
?OBJ
Object
)
(
patient
?SOAK ?OBJ)
(
instance
?WATER
FreshWater
)
(
resource
?SOAK ?WATER)
(
holdsDuring
?SOAK
(
orientation
?OBJ ?WATER
Surrounded
)))))
Mid-level-ontology.kif 26527-26536
Processo
è un'
istanza
di
Soaking
Oggetto
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
FreshWater
Oggetto
è una
risorsa
per
Processo
Entit�
è
Surrounded
a
Oggetto
vales
durante
Processo
(=>
(
instance
?T
Translocation
)
(
exists
(?O ?D ?P)
(
and
(
instance
?O
Object
)
(
instance
?D
Object
)
(
instance
?P
Object
)
(
path
?T ?P)
(
origin
?T ?O)
(
destination
?T ?D))))
Merge.kif 11569-11578
Movimento
è un'
istanza
di
Translocation
Oggetto
Entit�
and
Oggetto
Oggetto
è un'
istanza
di
Oggetto
Entit�
è un'
istanza
di
Oggetto
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è
cammino
mentre
Movimento
si verifica
Movimento
si
originas in
Oggetto
Movimento
fine
s in
Entit�
(=>
(
instance
?T
Truck
)
(
exists
(?L)
(
and
(
subclass
?L
Object
)
(
cargoType
?T ?L))))
Transportation.kif 2019-2024
MezzoDiTrasporto
è un'
istanza
di
Truck
Oggetto
Oggetto
è una
sottoclasse
di
Oggetto
cargoType
MezzoDiTrasporto
and
Oggetto
(=>
(
instance
?VM
VendingMachine
)
(
hasPurpose
?VM
(
exists
(?H ?O ?V)
(
and
(
instance
?V
Vending
)
(
instance
?H
Human
)
(
instance
?O
Object
)
(
objectTransferred
?V ?O)
(
instrument
?V ?VM)
(
origin
?V ?VM)
(
not
(
instance
?O
Currency
))
(
destination
?V ?H)))))
Mid-level-ontology.kif 1959-1972
Entit�Concreta
è un'
istanza
di
VendingMachine
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Vending
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Oggetto
objectTransferred
Entit�
and
Entit�
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
si
originas in
Entit�Concreta
Entit�
è un'
istanza
di
Currency
Entit�
fine
s in
Entit�
(=>
(
instance
?X
BusinessCenter
)
(
hasPurpose
?X
(
exists
(?PERSON ?WORK ?OBJ)
(
and
(
attribute
?PERSON
BusinessPerson
)
(
instance
?WORK
Working
)
(
instance
?OBJ
Object
)
(
located
?OBJ ?X)
(
agent
?WORK ?PERSON)
(
or
(
instrument
?WORK ?OBJ)
(
resource
?WORK ?OBJ)
(
patient
?WORK ?OBJ))))))
Hotel.kif 1655-1668
Entit�Concreta
è un'
istanza
di
BusinessCenter
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
attribute
Entit�
and
BusinessPerson
Entit�
è un'
istanza
di
Working
Entit�
è un'
istanza
di
Oggetto
Entit�
è
localizzato
in
Entit�Concreta
Entit�
è un
agente
di
Entit�
Entit�
è uno
strumento
per
Entit�
Entit�
è una
risorsa
per
Entit�
Entit�
è un
paziente
di
Entit�
(=>
(
instance
?X
Protecting
)
(
hasPurpose
?X
(
exists
(?OBJ ?T ?H ?HARM)
(
and
(
instance
?OBJ
Object
)
(
patient
?X
Object
)
(
subclass
?HARM
(
KappaFn
?H
(
and
(
or
(
instance
?H
CriminalAction
)
(
instance
?H
Damaging
))
(=>
(
holdsDuring
?T
(
patient
?H ?OBJ))
(
not
(
holdsDuring
?T
(
patient
?X ?OBJ)))))))
(
or
(
prevents
?X ?HARM)
(
hinders
?X ?HARM))))))
Mid-level-ontology.kif 18421-18442
Entit�Concreta
è un'
istanza
di
Protecting
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
ARM
Entit�
è un'
istanza
di
Oggetto
Oggetto
è un
paziente
di
Entit�Concreta
Entit�
ARM è una
sottoclasse
di la
classe
descritta da
Entit�
Entit�Concreta
impedisce
l'occorrenza di
Entit�
ARM
hinders
Entit�Concreta
and
Entit�
ARM
(=>
(
instance
?X
Sculpting
)
(
exists
(?SC ?OBJ)
(
and
(
instance
?OBJ
Object
)
(
patient
?X ?OBJ)
(
instance
?SC
ShapeChange
)
(
subProcess
?SC ?X)
(
patient
?SC ?OBJ))))
Mid-level-ontology.kif 3280-3288
Processo
è un'
istanza
di
Sculpting
Processo
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è un
paziente
di
Processo
Processo
è un'
istanza
di
CambiamentoDiForma
Processo
è un
sottoprocesso
di
Processo
Entit�
è un
paziente
di
Processo
(=>
(
instance
?X
WetBar
)
(
exists
(?SINK ?OBJ)
(
and
(
instance
?SINK
WashBasin
)
(
part
?SINK ?X)
(
instance
?OBJ
Object
)
(
attribute
?OBJ
Flat
)
(
hasPurpose
?OBJ
(
exists
(?PREP ?FOOD)
(
and
(
instance
?PREP
Making
)
(
result
?PREP ?FOOD)
(
or
(
instance
?FOOD
PreparedFood
)
(
instance
?FOOD
Beverage
))
(
eventLocated
?PREP ?OBJ))))
(
part
?OBJ ?X))))
Food.kif 331-348
Oggetto
è un'
istanza
di
WetBar
Oggetto
Oggetto
Oggetto
è un'
istanza
di
WashBasin
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Oggetto
attribute
Oggetto
and
Flat
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Fabbricazione
Entit�
è un
risultato
di
Entit�
Entit�
è un'
istanza
di
PreparedFood
Entit�
è un'
istanza
di
Bevanda
eventLocated
Entit�
and
Oggetto
Oggetto
è una
parte
di
Oggetto
(=>
(
relativeAngle
?L1 ?L2 ?M)
(
and
(
instance
?L1
Object
)
(
attribute
?L1
LongAndThin
)
(
instance
?L2
Object
)
(
attribute
?L2
LongAndThin
)
(
connected
?L1 ?L2)
(
not
(
equal
?L1 ?L2))))
Merge.kif 17894-17903
relativeAngle
Oggetto
,
Oggetto
and
NumeroReale
Oggetto
è un'
istanza
di
Oggetto
attribute
Oggetto
and
LongAndThin
Oggetto
è un'
istanza
di
Oggetto
attribute
Oggetto
and
LongAndThin
Oggetto
è
connesso
a
Oggetto
Oggetto
is
uguale
a
Oggetto
(=>
(
snowfallIntensity
?AREA ?TIME ?RATE)
(
exists
(?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL)
(
and
(
instance
?PROCESS
Snowing
)
(
eventLocated
?PROCESS ?AREA)
(
during
(
WhenFn
?PROCESS) ?TIME)
(
instance
?STUFF
Snow
)
(
objectTransferred
?PROCESS ?STUFF)
(
instance
?BOARD
BoardOrBlock
)
(
bottom
?BOTTOM ?BOARD)
(
attribute
?BOTTOM
Flat
)
(
located
?BOARD ?AREA)
(
holdsDuring
(
BeginFn
?TIME)
(
not
(
exists
(?X)
(
and
(
instance
?X
Object
)
(
located
?X ?BOARD)))))
(
holdsDuring
(
EndFn
?TIME)
(
and
(
located
?STUFF ?BOARD)
(
top
?TOP ?STUFF)
(
depth
?TOP ?BOTTOM ?SNOWFALL)
(
equal
?SNOWFALL
(
MultiplicationFn
?TIME ?RATE)))))))
Weather.kif 3035-3062
snowfallIntensity
AreaGeografica
,
IntervalloTemporale
and
FunzioneDiQuantit�
Trasferimento
Oggetto
,
OggettoIntegro
,
Entit�
,
OggettoIntegro
and
Entit�
Trasferimento
è un'
istanza
di
Snowing
eventLocated
Trasferimento
and
AreaGeografica
il
tempo
di esistenza di
Trasferimento
has luogo
durante
IntervalloTemporale
Oggetto
è un'
istanza
di
Snow
objectTransferred
Trasferimento
and
Oggetto
OggettoIntegro
è un'
istanza
di
BoardOrBlock
il
fondo
di
OggettoIntegro
è
OggettoIntegro
attribute
OggettoIntegro
and
Flat
OggettoIntegro
è
localizzato
in
AreaGeografica
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è
localizzato
in
OggettoIntegro
vales
durante
l'
inizio
di
IntervalloTemporale
Oggetto
è
localizzato
in
OggettoIntegro
il
vertice
Oggetto
è
Entit�
depth
Entit�
,
OggettoIntegro
and
Entit�
Entit�
is
uguale
a
IntervalloTemporale
+
FunzioneDiQuantit�
vales
durante
la
fine
di
IntervalloTemporale
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