resource
(=>
(
instance
?PROCESS
SoilSalination
)
(
exists
(?SOIL)
(
and
(
instance
?SOIL
Soil
)
(
resource
?PROCESS ?SOIL))))
Geography.kif 2954-2959
Processus
est une
instance
de
SoilSalination
objet
objet
est une
instance
de
Soil
objet
est une
resource
pour
processus
(=>
(
instance
?R
(
OperatingFn
GasolineEngine
))
(
exists
(?F)
(
and
(
instance
?F
Gasoline
)
(
resource
?R ?F))))
Mid-level-ontology.kif 23604-23609
Processus
est une
instance
de
OperatingFn
GasolineEngine
objet
objet
est une
instance
de
Gasoline
objet
est une
resource
pour
processus
(=>
(
instance
?R
Rum
)
(
exists
(?D ?S)
(
and
(
instance
?D
Distilling
)
(
instance
?S
SugarCane
)
(
resource
?D ?S)
(
result
?D ?R))))
Food.kif 3339-3346
Entit�
est une
instance
de
Rum
processus
objet
processus
est une
instance
de
Distilling
objet
est une
instance
de
SugarCane
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
(=>
(
instance
?S
Sake
)
(
exists
(?R ?F)
(
and
(
instance
?F
Fermentation
)
(
resource
?F ?R)
(
instance
?R
Rice
)
(
result
?F ?S))))
Medicine.kif 3479-3486
Entit�
est une
instance
de
Sake
objet
processus
processus
est une
instance
de
Fermentation
objet
est une
resource
pour
processus
objet
est une
instance
de
Rice
entit�
est le
resultat
de
processus
(=>
(
instance
?S
Schnapps
)
(
exists
(?D ?F)
(
and
(
instance
?D
Distilling
)
(
instance
?F
Fruit
)
(
resource
?D ?F)
(
result
?D ?S))))
Food.kif 3368-3375
Entit�
est une
instance
de
Schnapps
processus
objet
processus
est une
instance
de
Distilling
objet
est une
instance
de
Fruit
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
(=>
(
instance
?S
Silk
)
(
exists
(?M ?T ?I)
(
and
(
instance
?M
Making
)
(
result
?M ?S)
(
resource
?M ?T)
(
part
?T ?I)
(
instance
?I
Insect
)
(
attribute
?I
Larval
))))
Mid-level-ontology.kif 5391-5400
Entit�
est une
instance
de
Silk
processus
objet
and
objet
processus
est une
instance
de
faire
entit�
est le
resultat
de
processus
objet
est une
resource
pour
processus
objet
est une
partie
de
objet
objet
est une
instance
de
insecte
Larval
est un
attribut
de
objet
(=>
(
instance
?S
WearingFrictionSurface
)
(
hasPurpose
?S
(
exists
(?F)
(
and
(
instance
?F
Friction
)
(
resource
?F ?S)))))
Cars.kif 588-594
Physique
est une
instance
de
WearingFrictionSurface
physique
a pour
but
entit�
entit�
est une
instance
de
Friction
physique
est une
resource
pour
entit�
(=>
(
instance
?SALT
SodiumChloride
)
(
exists
(?SYNTHESIS ?SODIUM ?CHLORINE)
(
and
(
instance
?SYNTHESIS
ChemicalSynthesis
)
(
resource
?SYNTHESIS ?SODIUM)
(
instance
?SODIUM
Sodium
)
(
resource
?SYNTHESIS ?CHLORINE)
(
instance
?CHLORINE
Chlorine
)
(
result
?SYNTHESIS ?SALT))))
Mid-level-ontology.kif 8754-8763
Entit�
est une
instance
de
SodiumChloride
processus
objet
and
objet
processus
est une
instance
de
synth�se chimique
objet
est une
resource
pour
processus
objet
est une
instance
de
Sodium
objet
est une
resource
pour
processus
objet
est une
instance
de
Chlorine
entit�
est le
resultat
de
processus
(=>
(
instance
?SMOKING
Smoking
)
(
exists
(?BURN ?CIGAR ?BREATHE ?SMOKE)
(
and
(
subProcess
?BURN ?SMOKING)
(
instance
?BURN
Combustion
)
(
resource
?BURN ?CIGAR)
(
instance
?CIGAR
CigarOrCigarette
)
(
result
?BURN ?SMOKE)
(
patient
?BREATHE ?SMOKE)
(
instance
?BREATHE
Breathing
)
(
subProcess
?BREATHE ?SMOKING))))
Mid-level-ontology.kif 16071-16082
Processus
est une
instance
de
Smoking
processus
objet
,
processus
and
entit�
processus
est un
sous
-processus de
processus
processus
est une
instance
de
combustion
objet
est une
resource
pour
processus
objet
est une
instance
de
CigarOrCigarette
entit�
est le
resultat
de
processus
entit�
est un
patient
de
processus
processus
est une
instance
de
respirer
processus
est un
sous
-processus de
processus
(=>
(
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
Processus
est une
instance
de
Soaking
objet
entit�
entit�
est une
instance
de
objet
entit�
est un
patient
de
processus
objet
est une
instance
de
FreshWater
objet
est une
resource
pour
processus
entit�
est
Surrounded
�
objet
pendant
processus
(=>
(
instance
?STEAKHOUSE
Steakhouse
)
(
exists
(?SERVICE ?STEAK ?BEEF ?COOK)
(
and
(
instance
?COOK
Cooking
)
(
instance
?BEEF
Beef
)
(
resource
?COOK ?BEEF)
(
result
?COOK ?STEAK)
(
instance
?SERVICE
CommercialService
)
(
agent
?SERVICE ?STEAKHOUSE)
(
instance
?SERVICE
Selling
)
(
patient
?SERVICE ?STEAK))))
Dining.kif 88-99
AutonomousAgent
est une
instance
de
Steakhouse
processus
entit�
,
objet
and
processus
processus
est une
instance
de
cuisiner
objet
est une
instance
de
Beef
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
processus
est une
instance
de
CommercialService
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
vendre
entit�
est un
patient
de
processus
(=>
(
instance
?T
Tequila
)
(
exists
(?D ?B)
(
and
(
instance
?D
Distilling
)
(
instance
?B
BlueAgave
)
(
resource
?D ?B)
(
result
?D ?T))))
Food.kif 3495-3502
Entit�
est une
instance
de
Tequila
processus
objet
processus
est une
instance
de
Distilling
objet
est une
instance
de
BlueAgave
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
(=>
(
instance
?V
Vodka
)
(
exists
(?D ?CG)
(
and
(
instance
?D
Distilling
)
(
instance
?CG
CerealGrain
)
(
resource
?D ?CG)
(
result
?D ?V))))
Food.kif 3595-3602
Entit�
est une
instance
de
Vodka
processus
objet
processus
est une
instance
de
Distilling
objet
est une
instance
de
CerealGrain
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
(=>
(
instance
?W
WatercolorPicture
)
(
exists
(?WP ?P)
(
and
(
instance
?WP
WatercolorPaint
)
(
instance
?P
Painting
)
(
resource
?P ?WP)
(
result
?P ?W))))
Mid-level-ontology.kif 3112-3119
Entit�
est une
instance
de
WatercolorPicture
entit�
P
processus
entit�
P est une
instance
de
WatercolorPaint
processus
est une
instance
de
Painting
entit�
P est une
resource
pour
processus
entit�
est le
resultat
de
processus
(=>
(
instance
?W
Whiskey
)
(
exists
(?D ?CG)
(
and
(
instance
?D
Distilling
)
(
instance
?CG
CerealGrain
)
(
resource
?D ?CG)
(
result
?D ?W))))
Food.kif 3608-3615
Entit�
est une
instance
de
Whiskey
processus
objet
processus
est une
instance
de
Distilling
objet
est une
instance
de
CerealGrain
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
(=>
(
instance
?W
Wool
)
(
exists
(?M ?H ?S)
(
and
(
instance
?M
Making
)
(
result
?M ?W)
(
resource
?M ?H)
(
part
?H ?S)
(
instance
?H
Hair
)
(
instance
?S
Sheep
))))
Mid-level-ontology.kif 5405-5414
Entit�
est une
instance
de
Wool
processus
objet
and
objet
processus
est une
instance
de
faire
entit�
est le
resultat
de
processus
objet
est une
resource
pour
processus
objet
est une
partie
de
objet
objet
est une
instance
de
Hair
objet
est une
instance
de
Sheep
(=>
(
instance
?WATER
Water
)
(
exists
(?SYNTHESIS ?HYDROGEN ?OXYGEN)
(
and
(
instance
?SYNTHESIS
ChemicalSynthesis
)
(
resource
?SYNTHESIS ?HYDROGEN)
(
instance
?HYDROGEN
Hydrogen
)
(
resource
?SYNTHESIS ?OXYGEN)
(
instance
?OXYGEN
Oxygen
)
(
result
?SYNTHESIS ?WATER))))
Mid-level-ontology.kif 8782-8791
Entit�
est une
instance
de
eau
processus
objet
and
objet
processus
est une
instance
de
synth�se chimique
objet
est une
resource
pour
processus
objet
est une
instance
de
Hydrogen
objet
est une
resource
pour
processus
objet
est une
instance
de
Oxygen
entit�
est le
resultat
de
processus
(=>
(
instance
?X
(
JuiceOfFn
?Y))
(
exists
(?Z ?P)
(
and
(
instance
?Z ?Y)
(
instance
?P
Motion
)
(
resource
?P ?Z)
(
result
?P ?X))))
Food.kif 2603-2610
Entit�
est une
instance
de
JuiceOfFn
fruit ou v�g�tal
objet
processus
objet
est une
instance
de
fruit ou v�g�tal
processus
est une
instance
de
d�palcement
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
(=>
(
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
Physique
est une
instance
de
BusinessCenter
physique
a pour
but
entit�
entit�
and
entit�
BusinessPerson
est un
attribut
de
entit�
entit�
est une
instance
de
Working
entit�
est une
instance
de
objet
entit�
est
situ
� �
physique
entit�
est un
agent
de
entit�
entit�
est un
instrument
pour
entit�
entit�
est une
resource
pour
entit�
entit�
est un
patient
de
entit�
(=>
(
instance
?X
FrenchPressingCoffee
)
(
exists
(?W)
(
and
(
instance
?W
DrinkingWater
)
(
resource
?W ?X)
(
measure
?W
(
MeasureFn
90
CelsiusDegree
)))))
Food.kif 862-869
Objet
est une
instance
de
FrenchPressingCoffee
processus
processus
est une
instance
de
DrinkingWater
objet
est une
resource
pour
processus
la
mesure
de
processus
est 90
CelsiusDegree
(s)
(=>
(
instance
?X
Paper
)
(
exists
(?MAKE ?CELL ?PRESS)
(
and
(
instance
?MAKE
Making
)
(
instance
?CELL
Cellulose
)
(
instance
?PRESS
Compressing
)
(
resource
?MAKE ?CELL)
(
result
?MAKE ?X)
(
subProcess
?MAKE ?PRESS)
(
patient
?PRESS ?CELL))))
Mid-level-ontology.kif 3562-3572
Entit�
est une
instance
de
Paper
processus
objet
and
processus
processus
est une
instance
de
faire
objet
est une
instance
de
Cellulose
processus
est une
instance
de
Compressing
objet
est une
resource
pour
processus
entit�
est le
resultat
de
processus
processus
est un
sous
-processus de
processus
objet
est un
patient
de
processus
(=>
(
medicine
?MC ?D)
(
exists
(?DOC)
(
and
(
instance
?DOC
MedicalDoctor
)
(
believes
?DOC
(
exists
(?T ?H ?M)
(
and
(
instance
?M ?MC)
(
instance
?T
TherapeuticProcess
)
(
instance
?H
Human
)
(
patientMedical
?H ?DOC)
(
resource
?T ?M)
(
benefits
?T ?H)))))))
Mid-level-ontology.kif 9652-9665
medicine
Medicine
and
maladie ou syndrome
maladie ou syndrome
OC
maladie ou syndrome
OC est une
instance
de
MedicalDoctor
maladie ou syndrome
OC
croit
entit�
entit�
and
entit�
entit�
est une
instance
de
Medicine
entit�
est une
instance
de
processus therapeutique
entit�
est une
instance
de
humain
patientMedical
entit�
and
maladie ou syndrome
OC
entit�
est une
resource
pour
entit�
benefits
entit�
and
entit�
(=>
(
property
?PROCESS
ChemicalEquilibrium
)
(
exists
(?RATIO ?TIME ?RESOURCE ?RESULT)
(=>
(
and
(
holdsDuring
?TIME
(
resource
?PROCESS ?RESOURCE))
(
holdsDuring
?TIME
(
result
?PROCESS ?RESULT)))
(
equal
?RATIO
(
DivisionFn
?RESOURCE ?RESULT)))))
Mid-level-ontology.kif 19635-19642
Entit�
a un
attribute
ChemicalEquilibrium
nombre r�el
position temporel
,
nombre r�el
and
nombre r�el
nombre r�el
est une
resource
pour
entit�
pendant
position temporel
nombre r�el
est le
resultat
de
entit�
pendant
position temporel
nombre r�el
est
nombre r�el
+
nombre r�el
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