part
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
modalAttribute
(
not
?F)
Likely
))
Merge.kif 18225-18235
ImpairedBodyPartFn
classe
est un
attribut
de
objet
pendant
position temporel
classe
I est une
instance
de
classe
classe
I est une
partie
de
objet
classe
I a pour
but
formule
l'argument
formule
a la
force
modale
de
Likely
(=>
(
and
(
holdsDuring
?T
(
measure
?C ?S))
(
engineIdleSpeed
?E ?S)
(
instance
?A
Automobile
)
(
part
?E ?A)
(
part
?C ?E))
(
modalAttribute
(
not
(
exists
(?P ?GP)
(
and
(
during
?P ?T)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?GP ?A))))
Likely
))
Cars.kif 2567-2583
La
mesure
de
objet
est
function de quantit�
pendant
position temporel
engineIdleSpeed
InternalCombustionEngine
and
function de quantit�
objet
est une
instance
de
Automobile
InternalCombustionEngine
est une
partie
de
objet
objet
est une
partie
de
InternalCombustionEngine
l'argument
entit�
entit�
entit�
prend place
pendant
position temporel
entit�
est une
instance
de
Pushing
entit�
aboutit
�
entit�
entit�
est une
partie
de
objet
a la
force
modale
de
Likely
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4257-4263
Entit�
poss
�de
objet
pendant
position temporel
objet
est une
partie
de
objet
entit�
poss
�de
objet
pendant
position temporel
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9903-9909
Trou
est un
trou
dans
objet en une partie
objet en une partie
est une
partie
de
objet en une partie
trou
recouvre
objet en une partie
trou
est un
trou
dans
objet en une partie
(=>
(
and
(
instance
?A
(
BodyAreaFn
?OC))
(
instance
?H
Animal
)
(
part
?A ?H))
(
exists
(?O)
(
and
(
instance
?O ?OC)
(
orientation
?A ?O
Near
)
(
part
?O ?H))))
Medicine.kif 6237-6246
Objet
est une
instance
de
BodyAreaFn
partie du corps
objet
est une
instance
de
animal
objet
est une
partie
de
objet
objet
objet
est une
instance
de
partie du corps
objet
est
Near
�
objet
objet
est une
partie
de
objet
(=>
(
and
(
instance
?A
AegilopsGrass
)
(
part
?C ?A)
(
instance
?C ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3840-3845
Objet
est une
instance
de
AegilopsGrass
objet
est une
partie
de
objet
objet
est une
instance
de
objet
LASS
objet
LASS est une
sous
-classe de
DiploidCell
(=>
(
and
(
instance
?A
Americano
)
(
part
?E ?A)
(
part
?W ?A)
(
instance
?E
Espresso
)
(
instance
?W
DrinkingWater
)
(
measure
?W
(
MeasureFn
90.0
CelsiusDegree
))
(
mixtureRatio
?E ?W ?V1 ?V2
Liter
))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)))
Food.kif 1321-1332
Objet
est une
instance
de
Americano
substance
est une
partie
de
objet
substance
est une
partie
de
objet
substance
est une
instance
de
Espresso
substance
est une
instance
de
DrinkingWater
la
mesure
de
substance
est 90.0
CelsiusDegree
(s)
mixtureRatio
substance
,
substance
,
nombre r�el
,
nombre r�el
and
Liter
approximateValue
nombre r�el
and 0.03
approximateValue
nombre r�el
and 0.15
(=>
(
and
(
instance
?A
Animal
)
(
instance
?S
AnimalShell
)
(
part
?S ?A))
(
or
(
instance
?A
Invertebrate
)
(
instance
?A
Reptile
)))
Mid-level-ontology.kif 11531-11538
Objet
est une
instance
de
animal
objet
est une
instance
de
AnimalShell
objet
est une
partie
de
objet
objet
est une
instance
de
invertebr�
objet
est une
instance
de
reptile
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9839-9861
Objet
est une
instance
de
Antacid
d�palcement
est une
instance
de
ing�rer
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
objet
est une
instance
de
Stomach
objet
est une
partie
de
AutonomousAgent
objet
contient
objet
objet
est une
instance
de
Fluid
pendant
immediatement
avant
temps
d'existence de
d�palcement
objet
contient
objet
objet
est une
instance
de
Fluid
pendant
immediatement
apr
�s
temps
d'existence de
d�palcement
phMeasure
objet
and
nombre r�el
phMeasure
objet
and
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?A
AntibodyCOVIDTest
)
(
instrument
?M ?A)
(
instance
?M
Measuring
)
(
patient
?M ?H)
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))
(
modalAttribute
(
knows
?H
(
exists
(?CA)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))))
Likely
))
Medicine.kif 2763-2777
Objet
est une
instance
de
AntibodyCOVIDTest
objet
est un
instrument
pour
processus
processus
est une
instance
de
mesurer
objet
est un
patient
de
processus
objet
est une
instance
de
COVIDAntibody
objet
est une
partie
de
objet
l'argument
objet
conna
�t
objet
objet
est une
instance
de
COVIDAntibody
objet
est une
partie
de
objet
a la
force
modale
de
Likely
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
exists
(?MAINTAINING)
(
and
(
instance
?MAINTAINING
Maintaining
)
(
instrument
?MAINTAINING ?A)
(
experiencer
?MAINTAINING ?OBJ)))))
MilitaryDevices.kif 1619-1630
Objet
est une
instance
de
Armor
objet
est une
partie
de
objet
objet
rencontre
objet
objet
a pour
but
entit�
entit�
est une
instance
de
maintenir
objet
est un
instrument
pour
entit�
objet
exp
�rimente
entit�
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
not
(
exists
(?DAMAGING)
(
and
(
instance
?DAMAGING
Damaging
)
(
instrument
?DAMAGING ?A)
(
experiencer
?DAMAGING ?OBJ))))))
MilitaryDevices.kif 1632-1644
Objet
est une
instance
de
Armor
objet
est une
partie
de
objet
objet
rencontre
objet
objet
a pour
but
entit�
entit�
est une
instance
de
endommager
objet
est un
instrument
pour
entit�
objet
exp
�rimente
entit�
(=>
(
and
(
instance
?A
LocalAnesthetizing
)
(
located
?A ?BP)
(
instance
?BP
BodyPart
)
(
part
?BP ?P)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
not
(
attribute
?P
(
PainFn
?BP)))))
Medicine.kif 1008-1019
Processus
est une
instance
de
LocalAnesthetizing
processus
est
situ
� �
objet
objet
est une
instance
de
partie du corps
objet
est une
partie
de
objet
objet
est un
patient
de
processus
PainFn
objet
est un
attribut
de
objet
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9900-9922
Objet
est une
instance
de
ProtonPumpInhibitor
d�palcement
est une
instance
de
ing�rer
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
objet
est une
instance
de
Stomach
objet
est une
partie
de
AutonomousAgent
objet
contient
objet
objet
est une
instance
de
Fluid
pendant
immediatement
avant
temps
d'existence de
d�palcement
objet
contient
objet
objet
est une
instance
de
Fluid
pendant
immediatement
apr
�s
temps
d'existence de
d�palcement
phMeasure
objet
and
nombre r�el
phMeasure
objet
and
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?A1
Automobile
)
(
instance
?A2
Automobile
)
(
instance
?S1
AutomobileShock
)
(
part
?S1 ?A1)
(
not
(
exists
(?S2)
(
and
(
instance
?S2
AutomobileShock
)
(
part
?S2 ?A2))))
(
dampingRatio
?A1 ?R1)
(
dampingRatio
?A2 ?R2))
(
greaterThan
?R2 ?R1))
Cars.kif 853-866
PhysicalSystem
est une
instance
de
Automobile
PhysicalSystem
est une
instance
de
Automobile
objet
est une
instance
de
AutomobileShock
objet
est une
partie
de
PhysicalSystem
objet
objet
est une
instance
de
AutomobileShock
objet
est une
partie
de
PhysicalSystem
dampingRatio
PhysicalSystem
and
nombre r�el
dampingRatio
PhysicalSystem
and
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?ANIMAL
Animal
)
(
instance
?SKELETON
Exoskeleton
)
(
part
?SKELETON ?ANIMAL))
(
instance
?ANIMAL
Invertebrate
))
Mid-level-ontology.kif 11675-11680
Objet
est une
instance
de
animal
objet
est une
instance
de
Exoskeleton
objet
est une
partie
de
objet
objet
est une
instance
de
invertebr�
(=>
(
and
(
instance
?ANIMAL
Animal
)
(
instance
?SKELETON
Skeleton
)
(
part
?SKELETON ?ANIMAL))
(
instance
?ANIMAL
Vertebrate
))
Mid-level-ontology.kif 11655-11660
Objet
est une
instance
de
animal
objet
est une
instance
de
Skeleton
objet
est une
partie
de
objet
objet
est une
instance
de
vertebr�
(=>
(
and
(
instance
?AS
AirStream
)
(
part
?AIR ?AS))
(
attribute
?AR
Gas
))
Weather.kif 69-73
Objet
est une
instance
de
AirStream
objet
est une
partie
de
objet
Gas
est un
attribut
de
objet
(=>
(
and
(
instance
?Application
AutomaticApplication
)
(
instance
?System
SoftwareSystem
)
(
part
?Application ?System))
(
part
(
StartupFn
?Application)
(
StartupFn
?System)))
QoSontology.kif 586-591
Objet
est une
instance
de
AutomaticApplication
objet
est une
instance
de
SoftwareSystem
objet
est une
partie
de
objet
StartupFn
objet
est une
partie
de
StartupFn
objet
(=>
(
and
(
instance
?B
Breast
)
(
instance
?H
Human
)
(
part
?B ?H))
(
part
?B
(
FrontFn
?H)))
Mid-level-ontology.kif 12848-12854
Objet
est une
instance
de
Breast
objet en une partie
est une
instance
de
humain
objet
est une
partie
de
objet en une partie
objet
est une
partie
de le
devant
de
objet en une partie
(=>
(
and
(
instance
?B
Breast
)
(
part
?B ?H))
(
attribute
?B
Female
))
Mid-level-ontology.kif 12859-12863
Objet
est une
instance
de
Breast
objet
est une
partie
de
objet
Female
est un
attribut
de
objet
(=>
(
and
(
instance
?B
Brine
)
(
measure
?B
(
MeasureFn
1.0
Liter
))
(
part
?SALT ?B)
(
instance
?SALT
SodiumChloride
)
(
measure
?SALT
(
MeasureFn
?R
Gram
)))
(
and
(
greaterThan
?R 35.0)
(
lessThanOrEqualTo
?R 260.0)))
Geography.kif 2873-2884
Objet
est une
instance
de
Brine
la
mesure
de
objet
est 1.0
Liter
(s)
objet
est une
partie
de
objet
objet
est une
instance
de
SodiumChloride
la
mesure
de
objet
est
nombre r�el
Gram
(s)
nombre r�el
est
plus
grand
que 35.0
nombre r�el
est plus
petit
ou �gal � 260.0
(=>
(
and
(
instance
?B
VehicleBrake
)
(
instance
?V
Vehicle
)
(
part
?B ?V))
(
hasPurpose
?B
(
exists
(?S)
(
and
(
instance
?S
(
StopFn
Motion
))
(
patient
?S ?V)
(
instrument
?S ?B)))))
Mid-level-ontology.kif 3416-3426
Objet
est une
instance
de
VehicleBrake
objet
est une
instance
de
Vehicle
objet
est une
partie
de
objet
objet
a pour
but
entit�
entit�
est une
instance
de
StopFn
d�palcement
objet
est un
patient
de
entit�
objet
est un
instrument
pour
entit�
(=>
(
and
(
instance
?BODY
ReproductiveBody
)
(
part
?BODY ?ORG)
(
instance
?ORG
Organism
))
(
attribute
?ORG
Female
))
Merge.kif 18117-18122
Objet
est une
instance
de
corps reproducteur
objet
est une
partie
de
objet
objet
est une
instance
de
organisme
Female
est un
attribut
de
objet
(=>
(
and
(
instance
?BP
BrakePedal
)
(
instance
?P
Pushing
)
(
instance
?V
Vehicle
)
(
destination
?P ?BP)
(
eventLocated
?P ?V)
(
part
?BP ?V))
(
hasPurpose
?BP
(
exists
(?FS ?F)
(
and
(
instance
?FS
WearingFrictionSurface
)
(
instance
?F
Friction
)
(
instrument
?F ?FS)
(
causes
?P ?F)))))
Cars.kif 693-707
Objet
est une
instance
de
BrakePedal
processus
est une
instance
de
Pushing
objet
est une
instance
de
Vehicle
processus
aboutit
�
objet
eventLocated
processus
and
objet
objet
est une
partie
de
objet
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
WearingFrictionSurface
entit�
est une
instance
de
Friction
entit�
est un
instrument
pour
entit�
processus
cause
entit�
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