resource
(=>
(
instance
?C
ColdBrewingCoffee
)
(
exists
(?W)
(
and
(
instance
?W
DrinkingWater
)
(
resource
?C ?W)
(
measure
?W
(
MeasureFn
20
CelsiusDegree
)))))
Food.kif 844-851
Processo
è un'
istanza
di
ColdBrewingCoffee
Oggetto
Oggetto
è un'
istanza
di
DrinkingWater
Oggetto
è una
risorsa
per
Processo
la
misura
Oggetto
è 20
CelsiusDegree
(s
(=>
(
instance
?C
Combustion
)
(
exists
(?O)
(
and
(
instance
?O
Oxygen
)
(
resource
?C ?O))))
Cars.kif 20-25
Processo
è un'
istanza
di
Combustione
Oggetto
Oggetto
è un'
istanza
di
Oxygen
Oggetto
è una
risorsa
per
Processo
(=>
(
instance
?CH
Charcoal
)
(
exists
(?C ?W)
(
and
(
instance
?C
Combustion
)
(
instance
?W
Wood
)
(
result
?C ?CH)
(
resource
?C ?W))))
Cars.kif 1680-1687
Entit�
è un'
istanza
di
Charcoal
Processo
Oggetto
Processo
è un'
istanza
di
Combustione
Oggetto
è un'
istanza
di
Wood
Entit�
è un
risultato
di
Processo
Oggetto
è una
risorsa
per
Processo
(=>
(
instance
?CM
CoffeeMaking
)
(
exists
(?S ?W ?CG)
(
and
(
subProcess
?S ?CM)
(
instance
?S
Soaking
)
(
resource
?S ?W)
(
instance
?W
DrinkingWater
)
(
patient
?S ?CG)
(
instance
?CG
CoffeeGrind
))))
Food.kif 675-684
Processo
è un'
istanza
di
CoffeeMaking
Processo
Oggetto
and
Entit�
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
Soaking
Oggetto
è una
risorsa
per
Processo
Oggetto
è un'
istanza
di
DrinkingWater
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
CoffeeGrind
(=>
(
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 12557-12567
Entit�
è un'
istanza
di
Composto
Oggetto
Oggetto
and
Processo
Oggetto
è un'
istanza
di
SostanzaElementare
Oggetto
è un'
istanza
di
SostanzaElementare
Oggetto
is
uguale
a
Oggetto
Processo
è un'
istanza
di
SintesiChimica
Oggetto
è una
risorsa
per
Processo
Oggetto
è una
risorsa
per
Processo
Entit�
è un
risultato
di
Processo
(=>
(
instance
?DIALYSIS
Dialysis
)
(
exists
(?SOLUTION ?SUBSTANCE1 ?SUBSTANCE2)
(
and
(
resource
?DIALYSIS ?SOLUTION)
(
instance
?SOLUTION
Solution
)
(
result
?DIALYSIS ?SUBSTANCE1)
(
instance
?SUBSTANCE1
PureSubstance
)
(
result
?DIALYSIS ?SUBSTANCE2)
(
instance
?SUBSTANCE2
PureSubstance
)
(
not
(
equal
?SUBSTANCE1 ?SUBSTANCE2)))))
Mid-level-ontology.kif 19601-19611
Processo
è un'
istanza
di
Dialysis
Oggetto
Entit�
and
Entit�
Oggetto
è una
risorsa
per
Processo
Oggetto
è un'
istanza
di
Soluzione
Entit�
è un
risultato
di
Processo
Entit�
è un'
istanza
di
SostanzaPura
Entit�
è un
risultato
di
Processo
Entit�
è un'
istanza
di
SostanzaPura
Entit�
is
uguale
a
Entit�
(=>
(
instance
?DSAVE
DataSaving
)
(
exists
(?DSTORE)
(
and
(
instance
?DSTORE
DataStorageDevice
)
(
resource
?DSAVE ?DSTORE))))
QoSontology.kif 1914-1919
Processo
è un'
istanza
di
DataSaving
Oggetto
Oggetto
è un'
istanza
di
DataStorageDevice
Oggetto
è una
risorsa
per
Processo
(=>
(
instance
?F
CottonFabric
)
(
exists
(?M ?C)
(
and
(
instance
?M
Making
)
(
resource
?M ?C)
(
instance
?C
Cotton
)
(
result
?M ?F))))
Mid-level-ontology.kif 5452-5459
Entit�
è un'
istanza
di
CottonFabric
Processo
Oggetto
Processo
è un'
istanza
di
Fabbricazione
Oggetto
è una
risorsa
per
Processo
Oggetto
è un'
istanza
di
Cotton
Entit�
è un
risultato
di
Processo
(=>
(
instance
?F
Fermentation
)
(
exists
(?C ?M)
(
and
(
instance
?C
Carbohydrate
)
(
instance
?M
Microorganism
)
(
instrument
?F ?M)
(
resource
?F ?C))))
Food.kif 3547-3554
Processo
è un'
istanza
di
Fermentation
Oggetto
Oggetto
Oggetto
è un'
istanza
di
Carboidrato
Oggetto
è un'
istanza
di
Microorganismo
Oggetto
è uno
strumento
per
Processo
Oggetto
è una
risorsa
per
Processo
(=>
(
instance
?F
Frying
)
(
exists
(?O)
(
and
(
instance
?O
Oil
)
(
resource
?F ?O))))
Food.kif 2569-2574
Processo
è un'
istanza
di
Frying
Oggetto
Oggetto
è un'
istanza
di
Oil
Oggetto
è una
risorsa
per
Processo
(=>
(
instance
?FA
FuelAtomizer
)
(
hasPurpose
?FA
(
exists
(?F ?S ?A ?C)
(
and
(
instance
?F
Fuel
)
(
instance
?S
Spraying
)
(
instance
?A
Air
)
(
instance
?C
Combustion
)
(
patient
?S ?A)
(
patient
?S ?F)
(
resource
?C ?F)
(
resource
?C ?A)))))
Cars.kif 1112-1124
Entit�Concreta
è un'
istanza
di
FuelAtomizer
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Fuel
Entit�
è un'
istanza
di
Spraying
Entit�
è un'
istanza
di
Air
Entit�
è un'
istanza
di
Combustione
Entit�
è un
paziente
di
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è una
risorsa
per
Entit�
Entit�
è una
risorsa
per
Entit�
(=>
(
instance
?FM
FilmMaking
)
(
exists
(?M ?F)
(
and
(
instance
?M
MotionPicture
)
(
result
?FM ?M)
(
instance
?F
PhotographicFilm
)
(
resource
?FM ?F))))
Mid-level-ontology.kif 20665-20672
Processo
è un'
istanza
di
FilmMaking
Entit�
Oggetto
Entit�
è un'
istanza
di
ImmagineDinamica
Entit�
è un
risultato
di
Processo
Oggetto
è un'
istanza
di
PhotographicFilm
Oggetto
è una
risorsa
per
Processo
(=>
(
instance
?HAY
Hay
)
(
exists
(?MAKE ?GRASS)
(
and
(
instance
?MAKE
Making
)
(
resource
?MAKE ?GRASS)
(
instance
?GRASS
Grass
)
(
result
?MAKE ?HAY))))
Mid-level-ontology.kif 20402-20409
Entit�
è un'
istanza
di
Hay
Processo
Oggetto
Processo
è un'
istanza
di
Fabbricazione
Oggetto
è una
risorsa
per
Processo
Oggetto
è un'
istanza
di
Grass
Entit�
è un
risultato
di
Processo
(=>
(
instance
?I
InternalCombustionEngine
)
(
hasPurpose
?I
(
exists
(?F ?C)
(
and
(
instance
?F
Fuel
)
(
instance
?C
Combustion
)
(
instrument
?C ?I)
(
resource
?C ?F)))))
Cars.kif 47-55
Entit�Concreta
è un'
istanza
di
InternalCombustionEngine
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Fuel
Entit�
è un'
istanza
di
Combustione
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è una
risorsa
per
Entit�
(=>
(
instance
?IC
IgnitionCoil
)
(
hasPurpose
?IC
(
exists
(?E1 ?E2 ?P)
(
and
(
instance
?P
ElectricTransmission
)
(
resource
?P ?E1)
(
instance
?E1
Electricity
)
(
instance
?E2
Electricity
)
(
result
?P ?E2)
(
instrument
?P ?IC)))))
Cars.kif 3151-3161
Entit�Concreta
è un'
istanza
di
IgnitionCoil
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
ElectricTransmission
Entit�
è una
risorsa
per
Entit�
Entit�
è un'
istanza
di
Electricity
Entit�
è un'
istanza
di
Electricity
Entit�
è un
risultato
di
Entit�
Entit�Concreta
è uno
strumento
per
Entit�
(=>
(
instance
?LEATHER
Leather
)
(
exists
(?MAKE ?SKIN)
(
and
(
instance
?MAKE
Making
)
(
resource
?MAKE ?SKIN)
(
instance
?SKIN
Skin
)
(
result
?MAKE ?LEATHER))))
Mid-level-ontology.kif 5377-5384
Entit�
è un'
istanza
di
Leather
Processo
Oggetto
Processo
è un'
istanza
di
Fabbricazione
Oggetto
è una
risorsa
per
Processo
Oggetto
è un'
istanza
di
Skin
Entit�
è un
risultato
di
Processo
(=>
(
instance
?M
Medicine
)
(
exists
(?P)
(
and
(
instance
?P
TherapeuticProcess
)
(
resource
?P ?M))))
Mid-level-ontology.kif 9238-9243
Oggetto
è un'
istanza
di
Medicine
Processo
Processo
è un'
istanza
di
ProcessoTerapeutico
Oggetto
è una
risorsa
per
Processo
(=>
(
instance
?MA
MonoclonalAntibody
)
(
exists
(?WBC ?R)
(
and
(
instance
?R
Replication
)
(
instance
?WBC
WhiteBloodCell
)
(
resource
?R ?WBC)
(
result
?R ?MA))))
Mid-level-ontology.kif 10247-10254
Entit�
è un'
istanza
di
MonoclonalAntibody
Oggetto
Processo
Processo
è un'
istanza
di
Replicazione
Oggetto
è un'
istanza
di
WhiteBloodCell
Oggetto
è una
risorsa
per
Processo
Entit�
è un
risultato
di
Processo
(=>
(
instance
?MACHINE
Machine
)
(
forall
(?PROC)
(=>
(
instrument
?PROC ?MACHINE)
(
exists
(?RESOURCE ?RESULT)
(
and
(
resource
?PROC ?RESOURCE)
(
result
?PROC ?RESULT))))))
Merge.kif 16068-16076
Oggetto
è un'
istanza
di
Macchinario
Processo
Oggetto
è uno
strumento
per
Processo
Oggetto
Entit�
Oggetto
è una
risorsa
per
Processo
Entit�
è un
risultato
di
Processo
(=>
(
instance
?P
(
OperatingFn
DieselEngine
))
(
exists
(?F)
(
and
(
instance
?F
DieselFuel
)
(
resource
?P ?F))))
Mid-level-ontology.kif 23614-23619
Processo
è un'
istanza
di
OperatingFn
DieselEngine
Oggetto
Oggetto
è un'
istanza
di
DieselFuel
Oggetto
è una
risorsa
per
Processo
(=>
(
instance
?P
OilPicture
)
(
exists
(?O ?PAINTING)
(
and
(
instance
?O
OilPaint
)
(
instance
?PAINTING
Painting
)
(
resource
?PAINTING ?O)
(
result
?PAINTING ?P))))
Mid-level-ontology.kif 3231-3238
Entit�
è un'
istanza
di
OilPicture
Oggetto
Entit�
AINTING
Oggetto
è un'
istanza
di
OilPaint
Entit�
AINTING è un'
istanza
di
Painting
Oggetto
è una
risorsa
per
Entit�
AINTING
Entit�
è un
risultato
di
Entit�
AINTING
(=>
(
instance
?P
Pasta
)
(
exists
(?D ?C)
(
and
(
instance
?D
Dough
)
(
instance
?C
Cooking
)
(
resource
?C ?D)
(
result
?C ?P))))
Food.kif 2748-2755
Entit�
è un'
istanza
di
Pasta
Oggetto
Processo
Oggetto
è un'
istanza
di
Dough
Processo
è un'
istanza
di
Cucinare
Oggetto
è una
risorsa
per
Processo
Entit�
è un
risultato
di
Processo
(=>
(
instance
?PLANER
Planer
)
(
hasPurpose
?PLANER
(
exists
(?CUT ?OBJ1 ?OBJ2 ?U ?H1 ?H2)
(
and
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?PLANER)
(
resource
?CUT ?OBJ1)
(
instance
?OBJ1
Object
)
(
material
?OBJ1
Wood
)
(
result
?CUT ?OBJ2)
(
instance
?OBJ2
Object
)
(
material
Wood
?OBJ2)
(
attribute
?OBJ2
Flat
)
(
instance
?U
UnitOfLength
)
(
height
?OBJ1
(
MeasureFn
?H1 ?U))
(
height
?OBJ2
(
MeasureFn
?H2 ?U))
(
greaterThan
?H1 ?H2)))))
Economy.kif 6017-6036
Entit�Concreta
è un'
istanza
di
Planer
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Tagliare
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è una
risorsa
per
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è
fatto
di
Wood
Entit�
è un
risultato
di
Entit�
Entit�
è un'
istanza
di
Oggetto
Wood
è
fatto
di
Entit�
attribute
Entit�
and
Flat
Entit�
è un'
istanza
di
UnitOfLength
l'
altezza
di
Entit�
è
Entit�
Entit�
(s l'
altezza
di
Entit�
è
Entit�
Entit�
(s
Entit�
è
pi
ù grande di
Entit�
(=>
(
instance
?PP
PaintedPicture
)
(
exists
(?PAINT ?PAINTING)
(
and
(
instance
?PAINT
Paint
)
(
instance
?PAINTING
Painting
)
(
resource
?PAINTING ?PAINT)
(
result
?PAINTING ?PP))))
Mid-level-ontology.kif 3099-3106
Entit�
è un'
istanza
di
PaintedPicture
Oggetto
Oggetto
ING
Oggetto
è un'
istanza
di
Paint
Oggetto
ING è un'
istanza
di
Painting
Oggetto
è una
risorsa
per
Oggetto
ING
Entit�
è un
risultato
di
Oggetto
ING
(=>
(
instance
?PROCESS
Salination
)
(
exists
(?SALT)
(
and
(
instance
?SALT
SodiumChloride
)
(
resource
?PROCESS ?SALT))))
Geography.kif 2900-2905
Processo
è un'
istanza
di
Salination
Oggetto
Oggetto
è un'
istanza
di
SodiumChloride
Oggetto
è una
risorsa
per
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