resource
(=>
(
instance
?C
ColdBrewingCoffee
)
(
exists
(?W)
(
and
(
instance
?W
DrinkingWater
)
(
resource
?C ?W)
(
measure
?W
(
MeasureFn
20
CelsiusDegree
)))))
Food.kif 844-851
Processus
est une
instance
de
ColdBrewingCoffee
objet
objet
est une
instance
de
DrinkingWater
objet
est une
resource
pour
processus
la
mesure
de
objet
est 20
CelsiusDegree
(s)
(=>
(
instance
?C
Combustion
)
(
exists
(?O)
(
and
(
instance
?O
Oxygen
)
(
resource
?C ?O))))
Cars.kif 20-25
Processus
est une
instance
de
combustion
objet
objet
est une
instance
de
Oxygen
objet
est une
resource
pour
processus
(=>
(
instance
?CH
Charcoal
)
(
exists
(?C ?W)
(
and
(
instance
?C
Combustion
)
(
instance
?W
Wood
)
(
result
?C ?CH)
(
resource
?C ?W))))
Cars.kif 1674-1681
Entit�
est une
instance
de
Charcoal
processus
objet
processus
est une
instance
de
combustion
objet
est une
instance
de
Wood
entit�
est le
resultat
de
processus
objet
est une
resource
pour
processus
(=>
(
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
Processus
est une
instance
de
CoffeeMaking
processus
objet
and
entit�
processus
est un
sous
-processus de
processus
processus
est une
instance
de
Soaking
objet
est une
resource
pour
processus
objet
est une
instance
de
DrinkingWater
entit�
est un
patient
de
processus
entit�
est une
instance
de
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 12535-12545
Entit�
est une
instance
de
substance compos�e
objet
objet
and
processus
objet
est une
instance
de
substance �l�mentaire
objet
est une
instance
de
substance �l�mentaire
objet
est
objet
processus
est une
instance
de
synth�se chimique
objet
est une
resource
pour
processus
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
(=>
(
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 19602-19612
Processus
est une
instance
de
Dialysis
objet
entit�
and
entit�
objet
est une
resource
pour
processus
objet
est une
instance
de
solution
entit�
est le
resultat
de
processus
entit�
est une
instance
de
substance pure
entit�
est le
resultat
de
processus
entit�
est une
instance
de
substance pure
entit�
est
entit�
(=>
(
instance
?DSAVE
DataSaving
)
(
exists
(?DSTORE)
(
and
(
instance
?DSTORE
DataStorageDevice
)
(
resource
?DSAVE ?DSTORE))))
QoSontology.kif 1914-1919
Processus
est une
instance
de
DataSaving
objet
objet
est une
instance
de
DataStorageDevice
objet
est une
resource
pour
processus
(=>
(
instance
?F
CottonFabric
)
(
exists
(?M ?C)
(
and
(
instance
?M
Making
)
(
resource
?M ?C)
(
instance
?C
Cotton
)
(
result
?M ?F))))
Mid-level-ontology.kif 5453-5460
Entit�
est une
instance
de
CottonFabric
processus
objet
processus
est une
instance
de
faire
objet
est une
resource
pour
processus
objet
est une
instance
de
Cotton
entit�
est le
resultat
de
processus
(=>
(
instance
?F
Fermentation
)
(
exists
(?C ?M)
(
and
(
instance
?C
Carbohydrate
)
(
instance
?M
Microorganism
)
(
instrument
?F ?M)
(
resource
?F ?C))))
Food.kif 3547-3554
Processus
est une
instance
de
Fermentation
objet
objet
objet
est une
instance
de
hydrate de carbone
objet
est une
instance
de
microorganisme
objet
est un
instrument
pour
processus
objet
est une
resource
pour
processus
(=>
(
instance
?F
Frying
)
(
exists
(?O)
(
and
(
instance
?O
Oil
)
(
resource
?F ?O))))
Food.kif 2569-2574
Processus
est une
instance
de
Frying
objet
objet
est une
instance
de
Oil
objet
est une
resource
pour
processus
(=>
(
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
Physique
est une
instance
de
FuelAtomizer
physique
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Fuel
entit�
est une
instance
de
Spraying
entit�
est une
instance
de
Air
entit�
est une
instance
de
combustion
entit�
est un
patient
de
entit�
entit�
est un
patient
de
entit�
entit�
est une
resource
pour
entit�
entit�
est une
resource
pour
entit�
(=>
(
instance
?FM
FilmMaking
)
(
exists
(?M ?F)
(
and
(
instance
?M
MotionPicture
)
(
result
?FM ?M)
(
instance
?F
PhotographicFilm
)
(
resource
?FM ?F))))
Mid-level-ontology.kif 20666-20673
Processus
est une
instance
de
FilmMaking
entit�
objet
entit�
est une
instance
de
motion picture
entit�
est le
resultat
de
processus
objet
est une
instance
de
PhotographicFilm
objet
est une
resource
pour
processus
(=>
(
instance
?HAY
Hay
)
(
exists
(?MAKE ?GRASS)
(
and
(
instance
?MAKE
Making
)
(
resource
?MAKE ?GRASS)
(
instance
?GRASS
Grass
)
(
result
?MAKE ?HAY))))
Mid-level-ontology.kif 20403-20410
Entit�
est une
instance
de
Hay
processus
objet
processus
est une
instance
de
faire
objet
est une
resource
pour
processus
objet
est une
instance
de
Grass
entit�
est le
resultat
de
processus
(=>
(
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
Physique
est une
instance
de
InternalCombustionEngine
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
Fuel
entit�
est une
instance
de
combustion
physique
est un
instrument
pour
entit�
entit�
est une
resource
pour
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 3143-3153
Physique
est une
instance
de
IgnitionCoil
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
ElectricTransmission
entit�
est une
resource
pour
entit�
entit�
est une
instance
de
Electricity
entit�
est une
instance
de
Electricity
entit�
est le
resultat
de
entit�
physique
est un
instrument
pour
entit�
(=>
(
instance
?LEATHER
Leather
)
(
exists
(?MAKE ?SKIN)
(
and
(
instance
?MAKE
Making
)
(
resource
?MAKE ?SKIN)
(
instance
?SKIN
Skin
)
(
result
?MAKE ?LEATHER))))
Mid-level-ontology.kif 5378-5385
Entit�
est une
instance
de
Leather
processus
objet
processus
est une
instance
de
faire
objet
est une
resource
pour
processus
objet
est une
instance
de
Skin
entit�
est le
resultat
de
processus
(=>
(
instance
?M
Medicine
)
(
exists
(?P)
(
and
(
instance
?P
TherapeuticProcess
)
(
resource
?P ?M))))
Mid-level-ontology.kif 9239-9244
Objet
est une
instance
de
Medicine
processus
processus
est une
instance
de
processus therapeutique
objet
est une
resource
pour
processus
(=>
(
instance
?MA
MonoclonalAntibody
)
(
exists
(?WBC ?R)
(
and
(
instance
?R
Replication
)
(
instance
?WBC
WhiteBloodCell
)
(
resource
?R ?WBC)
(
result
?R ?MA))))
Mid-level-ontology.kif 10248-10255
Entit�
est une
instance
de
MonoclonalAntibody
objet
processus
processus
est une
instance
de
reproduction
objet
est une
instance
de
WhiteBloodCell
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
(=>
(
instance
?MACHINE
Machine
)
(
forall
(?PROC)
(=>
(
instrument
?PROC ?MACHINE)
(
exists
(?RESOURCE ?RESULT)
(
and
(
resource
?PROC ?RESOURCE)
(
result
?PROC ?RESULT))))))
Merge.kif 16046-16054
Objet
est une
instance
de
machine
processus
objet
est un
instrument
pour
processus
objet
entit�
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
(=>
(
instance
?P
(
OperatingFn
DieselEngine
))
(
exists
(?F)
(
and
(
instance
?F
DieselFuel
)
(
resource
?P ?F))))
Mid-level-ontology.kif 23615-23620
Processus
est une
instance
de
OperatingFn
DieselEngine
objet
objet
est une
instance
de
DieselFuel
objet
est une
resource
pour
processus
(=>
(
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�
est une
instance
de
OilPicture
objet
entit�
AINTING
objet
est une
instance
de
OilPaint
entit�
AINTING est une
instance
de
Painting
objet
est une
resource
pour
entit�
AINTING
entit�
est le
resultat
de
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�
est une
instance
de
Pasta
objet
processus
objet
est une
instance
de
Dough
processus
est une
instance
de
cuisiner
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
(=>
(
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
Physique
est une
instance
de
Planer
physique
a pour
but
entit�
entit�
,
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
couper
physique
est un
instrument
pour
entit�
entit�
est une
resource
pour
entit�
entit�
est une
instance
de
objet
entit�
est
fait
de
Wood
entit�
est le
resultat
de
entit�
entit�
est une
instance
de
objet
Wood
est
fait
de
entit�
Flat
est un
attribut
de
entit�
entit�
est une
instance
de
UnitOfLength
la
hauteur
de
entit�
est
entit�
entit�
(s) la
hauteur
de
entit�
est
entit�
entit�
(s)
entit�
est
plus
grand
que
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�
est une
instance
de
PaintedPicture
objet
objet
ING
objet
est une
instance
de
Paint
objet
ING est une
instance
de
Painting
objet
est une
resource
pour
objet
ING
entit�
est le
resultat
de
objet
ING
(=>
(
instance
?PROCESS
Salination
)
(
exists
(?SALT)
(
and
(
instance
?SALT
SodiumChloride
)
(
resource
?PROCESS ?SALT))))
Geography.kif 2900-2905
Processus
est une
instance
de
Salination
objet
objet
est une
instance
de
SodiumChloride
objet
est une
resource
pour
processus
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