Object
(Objeto)
(=>
(
instance
?SHIP
CombinationBulkOilCarrierShip
)
(
cargoType
?SHIP
Object
))
Transportation.kif 2400-2402
Veiculo de Transporte
e' uma
instancia
de
CombinationBulkOilCarrierShip
cargoType
Veiculo de Transporte
and
Objeto
(=>
(
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
e' uma
instancia
de
Soaking
Objeto
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
FreshWater
Objeto
e' um
recurso
para
Processo
Entidade
e'
Surrounded
em relacao a
Objeto
vale
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
e' uma
instancia
de
Translocation
Objeto
Entidade
and
Objeto
Objeto
e' uma
instancia
de
Objeto
Entidade
e' uma
instancia
de
Objeto
Objeto
e' uma
instancia
de
Objeto
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
Movimento
tem como
origem
Objeto
Movimento
termina
em
Entidade
(=>
(
instance
?T
Truck
)
(
exists
(?L)
(
and
(
subclass
?L
Object
)
(
cargoType
?T ?L))))
Transportation.kif 2019-2024
Veiculo de Transporte
e' uma
instancia
de
Truck
Objeto
Objeto
e' uma
sub
-classe de
Objeto
cargoType
Veiculo de Transporte
and
Objeto
(=>
(
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
Fisico
e' uma
instancia
de
VendingMachine
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Vending
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Objeto
objectTransferred
Entidade
and
Entidade
Fisico
e' um
instrumento
para
Entidade
Entidade
tem como
origem
Fisico
Entidade
e' uma
instancia
de
Currency
Entidade
termina
em
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
BusinessCenter
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
BusinessPerson
e' um
atributo
de
Entidade
Entidade
e' uma
instancia
de
Working
Entidade
e' uma
instancia
de
Objeto
Entidade
e'
situado
em
Fisico
Entidade
e' um
agente
de
Entidade
Entidade
e' um
instrumento
para
Entidade
Entidade
e' um
recurso
para
Entidade
Entidade
e' um
patient
de
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
Protecting
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
ARM
Entidade
e' uma
instancia
de
Objeto
Objeto
e' um
patient
de
Fisico
Entidade
ARM e' uma
sub
-classe de a
classe
descrita por
Entidade
Fisico
proibe
a ocurrencia de
Entidade
ARM
hinders
Fisico
and
Entidade
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
e' uma
instancia
de
Sculpting
Processo
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Mudanca de Forma
Processo
e' um
sub
-processo de
Processo
Entidade
e' um
patient
de
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
Objeto
e' uma
instancia
de
WetBar
Objeto
Objeto
Objeto
e' uma
instancia
de
WashBasin
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Objeto
Flat
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Fazer
Entidade
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
PreparedFood
Entidade
e' uma
instancia
de
Bebida
eventLocated
Entidade
and
Objeto
Objeto
e' uma &parte de
Objeto
(=>
(
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
Objeto
,
Objeto
and
Numero Real
Objeto
e' uma
instancia
de
Objeto
LongAndThin
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Objeto
LongAndThin
e' um
atributo
de
Objeto
Objeto
e'
conectado
com
Objeto
Objeto
e'
igual
a
Objeto
(=>
(
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
Area Geografica
,
Intervalo Temporal
and
Funcao de Quantidade
Transferencia
Objeto
,
Objeto auto-conectado
,
Entidade
,
Objeto auto-conectado
and
Entidade
Transferencia
e' uma
instancia
de
Snowing
eventLocated
Transferencia
and
Area Geografica
tempo
de existencia de
Transferencia
acontece
durante
Intervalo Temporal
Objeto
e' uma
instancia
de
Snow
objectTransferred
Transferencia
and
Objeto
Objeto auto-conectado
e' uma
instancia
de
BoardOrBlock
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Flat
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e'
situado
em
Area Geografica
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e'
situado
em
Objeto auto-conectado
vale
durante o
comeco
de
Intervalo Temporal
Objeto
e'
situado
em
Objeto auto-conectado
o
topo
de
Objeto
e'
Entidade
depth
Entidade
,
Objeto auto-conectado
and
Entidade
Entidade
e'
igual
a
Intervalo Temporal
+
Funcao de Quantidade
vale
durante o
fim
de
Intervalo Temporal
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