result
(=>
(
instance
?BAKERY
Bakery
)
(
exists
(?SERVICE ?FOOD ?BAKE)
(
and
(
instance
?BAKE
Baking
)
(
result
?BAKE ?FOOD)
(
instance
?FOOD
(
FoodForFn
Human
))
(
agent
?BAKE ?BAKERY)
(
instance
?SERVICE
CommercialService
)
(
agent
?SERVICE ?BAKERY)
(
instance
?SERVICE
Selling
)
(
patient
?SERVICE ?FOOD))))
Dining.kif 70-81
AutonomousAgent
e' uma
instancia
de
Bakery
Processo
Entidade
and
Processo
Processo
e' uma
instancia
de
Baking
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
FoodForFn
Humano
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
CommercialService
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Processo
(=>
(
instance
?BM
BestMatchAlgorithm
)
(
hasPurpose
?BM
(
exists
(?RESULT)
(
and
(
instance
?RESULT
SRPResults
)
(
result
?BM ?RESULT)))))
UXExperimentalTerms.kif 2293-2299
Fisico
e' uma
instancia
de
BestMatchAlgorithm
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
SRPResults
Entidade
e' o
resultado
de
Fisico
(=>
(
instance
?BRAND
Brand
)
(
exists
(?AGENT ?CREATION)
(
and
(
instance
?CREATION
Creation
)
(
result
?CREATION ?BRAND)
(
agent
?CREATION ?AGENT))))
Hotel.kif 1293-1299
Entidade
e' uma
instancia
de
Brand
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Criacao
Entidade
e' o
resultado
de
Processo
Processo
e' um
agente
de
AutonomousAgent
(=>
(
instance
?C
CalendaringProgram
)
(
hasPurpose
?C
(
exists
(?T ?P)
(
and
(
instance
?T
CalendarText
)
(
programRunning
?P ?C)
(
result
?P ?T)))))
ComputingBrands.kif 2320-2327
Fisico
e' uma
instancia
de
CalendaringProgram
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
CalendarText
programRunning
Entidade
and
Fisico
Entidade
e' o
resultado
de
Entidade
(=>
(
instance
?C
Cappuccino
)
(
exists
(?E ?M ?P)
(
and
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
instance
?P
Pouring
)
(
patient
?P ?M)
(
destination
?P ?E)
(
result
?P ?C))))
Food.kif 1269-1278
Entidade
e' uma
instancia
de
Cappuccino
Entidade
Entidade
and
Processo
Entidade
e' uma
instancia
de
Espresso
Entidade
e' uma
instancia
de
MilkFoam
Processo
e' uma
instancia
de
Pouring
Entidade
e' um
patient
de
Processo
Processo
termina
em
Entidade
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?C
Carpentry
)
(
exists
(?B ?W)
(
and
(
instance
?B
Building
)
(
instance
?W
Wood
)
(
part
?W ?B)
(
result
?C ?B))))
Mid-level-ontology.kif 20792-20799
Processo
e' uma
instancia
de
Carpentry
Objeto
Objeto
Objeto
e' uma
instancia
de
Predio
Objeto
e' uma
instancia
de
Wood
Objeto
e' uma &parte de
Objeto
Objeto
e' o
resultado
de
Processo
(=>
(
instance
?C
Chromatography
)
(
exists
(?S)
(
and
(
instance
?S
PureSubstance
)
(
result
?C ?S))))
Mid-level-ontology.kif 19657-19662
Processo
e' uma
instancia
de
Chromatography
Entidade
Entidade
e' uma
instancia
de
Substancia Pura
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?C
ChurningButter
)
(
hasPurpose
?C
(
exists
(?M ?R ?B)
(
and
(
instance
?M
Milk
)
(
instance
?R
Rotating
)
(
patient
?R ?M)
(
result
?R ?B)
(
instance
?B
Butter
)))))
Food.kif 3065-3074
Fisico
e' uma
instancia
de
ChurningButter
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Milk
Entidade
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Entidade
Entidade
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
Butter
(=>
(
instance
?C
Clot
)
(
exists
(?CL)
(
and
(
instance
?CL
Clotting
)
(
result
?CL ?C))))
Mid-level-ontology.kif 10517-10522
Entidade
e' uma
instancia
de
Clot
Entidade
L
Entidade
L e' uma
instancia
de
Clotting
Entidade
e' o
resultado
de
Entidade
L
(=>
(
instance
?C
Colander
)
(
hasPurpose
?C
(
exists
(?MIX ?SUB ?SOLID ?REMOVE)
(
and
(
instance
?MIX
Mixture
)
(
instance
?SUB
Substance
)
(
part
?SUB ?MIX)
(
attribute
?SUB
Liquid
)
(
instance
?REMOVE
Removing
)
(
patient
?REMOVE ?SUB)
(
instance
?SOLID
Substance
)
(
part
?SOLID ?MIX)
(
attribute
?SOLID
Solid
)
(
result
?REMOVE ?SOLID)
(
instrument
?REMOVE ?C)))))
Mid-level-ontology.kif 4570-4585
Fisico
e' uma
instancia
de
Colander
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Mistura
Entidade
e' uma
instancia
de
Substancia
Entidade
e' uma &parte de
Entidade
Liquid
e' um
atributo
de
Entidade
Entidade
e' uma
instancia
de
Remover
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Substancia
Entidade
e' uma &parte de
Entidade
Solid
e' um
atributo
de
Entidade
Entidade
e' o
resultado
de
Entidade
Fisico
e' um
instrumento
para
Entidade
(=>
(
instance
?C
ComposingMusic
)
(
exists
(?M)
(
and
(
instance
?M
MusicalComposition
)
(
result
?C ?M))))
Mid-level-ontology.kif 3325-3330
Processo
e' uma
instancia
de
ComposingMusic
Entidade
Entidade
e' uma
instancia
de
MusicalComposition
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?C
ContraceptiveDevice
)
(
hasPurpose
?C
(
exists
(?M)
(
and
(
instance
?M
Mating
)
(
patient
?M ?C)
(
not
(
exists
(?SR)
(
and
(
instance
?SR
BiologicalConception
)
(
result
?M ?SR))))))))
Mid-level-ontology.kif 24059-24070
Fisico
e' uma
instancia
de
ContraceptiveDevice
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Mating
Fisico
e' um
patient
de
Entidade
Entidade
Entidade
e' uma
instancia
de
BiologicalConception
Entidade
e' o
resultado
de
Entidade
(=>
(
instance
?C
Cream
)
(
exists
(?CH ?M)
(
and
(
instance
?CH
Separating
)
(
patient
?CH ?M)
(
instance
?M
Milk
)
(
result
?CH
Cream
))))
Food.kif 3115-3122
Entidade
e' uma
instancia
de
Cream
Entidade
H
Entidade
Entidade
H e' uma
instancia
de
Separar
Entidade
e' um
patient
de
Entidade
H
Entidade
e' uma
instancia
de
Milk
Cream
e' o
resultado
de
Entidade
H
(=>
(
instance
?C
ElectricCoffeeMaker
)
(
hasPurpose
?C
(
exists
(?COFFEE ?M)
(
and
(
instance
?M
CoffeeMaking
)
(
instrument
?M ?C)
(
result
?M ?COFFEE)
(
instance
?COFFEE
Coffee
)))))
Food.kif 379-387
Fisico
e' uma
instancia
de
ElectricCoffeeMaker
Fisico
tem por
fim
Fisico
OFFEE
Entidade
Entidade
e' uma
instancia
de
CoffeeMaking
Fisico
e' um
instrumento
para
Entidade
Fisico
OFFEE e' o
resultado
de
Entidade
Fisico
OFFEE e' uma
instancia
de
Coffee
(=>
(
instance
?CG
CoffeeGrind
)
(
exists
(?G ?CB)
(
and
(
instance
?G
Grinding
)
(
patient
?G ?CB)
(
instance
?CB
CoffeeBean
)
(
attribute
?CB
CookedAttribute
)
(
result
?G ?CG))))
Food.kif 1034-1042
Entidade
e' uma
instancia
de
CoffeeGrind
Processo
Objeto
Processo
e' uma
instancia
de
Grinding
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
CoffeeBean
CookedAttribute
e' um
atributo
de
Objeto
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?CH
Charcoal
)
(
exists
(?C ?W)
(
and
(
instance
?C
Combustion
)
(
instance
?W
Wood
)
(
result
?C ?CH)
(
resource
?C ?W))))
Cars.kif 1674-1681
Entidade
e' uma
instancia
de
Charcoal
Processo
Objeto
Processo
e' uma
instancia
de
Combustao
Objeto
e' uma
instancia
de
Wood
Entidade
e' o
resultado
de
Processo
Objeto
e' um
recurso
para
Processo
(=>
(
instance
?CM
CoffeeMaking
)
(
exists
(?C)
(
and
(
instance
?C
Coffee
)
(
result
?CM ?C))))
Food.kif 657-662
Processo
e' uma
instancia
de
CoffeeMaking
Entidade
Entidade
e' uma
instancia
de
Coffee
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?CM
CoffeeMaking
)
(
exists
(?R ?LM ?CG ?W ?F ?C)
(
and
(
subProcess
?R ?CM)
(
instance
?R
Removing
)
(
origin
?R ?LM)
(
instance
?LM
LiquidMixture
)
(
part
?W ?LM)
(
instance
?W
DrinkingWater
)
(
part
?CG ?LM)
(
instance
?CG
CoffeeGrind
)
(
instrument
?R ?F)
(
instance
?F
Filter
)
(
result
?R ?C)
(
instance
?C
Coffee
))))
Food.kif 686-701
Processo
e' uma
instancia
de
CoffeeMaking
Processo
Objeto
,
Objeto
,
Objeto
,
Objeto
and
Entidade
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Remover
Processo
tem como
origem
Objeto
Objeto
e' uma
instancia
de
LiquidMixture
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
DrinkingWater
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
CoffeeGrind
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
Filter
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Coffee
(=>
(
instance
?CM
CurdlingMilk
)
(
exists
(?C ?W)
(
and
(
result
?CM ?C)
(
result
?CM ?W)
(
instance
?C
Curd
)
(
instance
?W
Whey
))))
Food.kif 3249-3256
Processo
e' uma
instancia
de
CurdlingMilk
Entidade
Entidade
Entidade
e' o
resultado
de
Processo
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Curd
Entidade
e' uma
instancia
de
Whey
(=>
(
instance
?COMPOUND
CompoundSubstance
)
(
exists
(?ELEMENT1 ?ELEMENT2 ?PROCESS)
(
and
(
instance
?ELEMENT1
ElementalSubstance
)
(
instance
?ELEMENT2
ElementalSubstance
)
(
not
(
equal
?ELEMENT1 ?ELEMENT2))
(
instance
?PROCESS
ChemicalSynthesis
)
(
resource
?PROCESS ?ELEMENT1)
(
resource
?PROCESS ?ELEMENT2)
(
result
?PROCESS ?COMPOUND))))
Merge.kif 12535-12545
Entidade
e' uma
instancia
de
Substancia Composta
Objeto
Objeto
and
Processo
Objeto
e' uma
instancia
de
Substancia Elementar
Objeto
e' uma
instancia
de
Substancia Elementar
Objeto
e'
igual
a
Objeto
Processo
e' uma
instancia
de
Sintese Quimica
Objeto
e' um
recurso
para
Processo
Objeto
e' um
recurso
para
Processo
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?COOK
Cooking
)
(
exists
(?FOOD)
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
result
?COOK ?FOOD))))
Merge.kif 12867-12872
Processo
e' uma
instancia
de
Cozinhar
Entidade
Entidade
e' uma
instancia
de
FoodForFn
Humano
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?CP
ComputerProgramming
)
(
exists
(?C)
(
and
(
instance
?C
ComputerProgram
)
(
result
?CP ?C))))
Merge.kif 16791-16796
Processo
e' uma
instancia
de
ComputerProgramming
Entidade
Entidade
e' uma
instancia
de
Programa de Computador
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?CTRL
TemperatureControl
)
(
exists
(?DEVICE ?TEMP)
(
and
(
instance
?DEVICE
ElectricDevice
)
(
part
?CTRL ?DEVICE)
(
hasPurpose
?DEVICE
(
exists
(?PROC ?AREA)
(
and
(
instance
?AREA
Region
)
(
instance
?PROC
Process
)
(
instrument
?PROC ?CTRL)
(
result
?PROC
(
airTemperature
?AREA ?TEMP))))))))
engineering.kif 1139-1151
Objeto
e' uma
instancia
de
TemperatureControl
Objeto
Entidade
Objeto
e' uma
instancia
de
ElectricDevice
Objeto
e' uma &parte de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Regiao
Entidade
e' uma
instancia
de
Processo
Objeto
e' um
instrumento
para
Entidade
airTemperature
Entidade
and
Entidade
e' o
resultado
de
Entidade
(=>
(
instance
?Canyon
Canyon
)
(
exists
(?Erosion)
(
and
(
instance
?Erosion
Erosion
)
(
result
?Erosion ?Canyon))))
Geography.kif 4267-4272
Entidade
e' uma
instancia
de
Canyon
Processo
Processo
e' uma
instancia
de
Erosion
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?Cave
Cave
)
(
exists
(?Erosion)
(
and
(
instance
?Erosion
Erosion
)
(
result
?Erosion ?Cave))))
Geography.kif 6020-6025
Entidade
e' uma
instancia
de
Cave
Processo
Processo
e' uma
instancia
de
Erosion
Entidade
e' o
resultado
de
Processo
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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
