holdsDuring
(=>
(
and
(
instance
?C
Carabiner
)
(
holdsDuring
?T
(
attribute
?C
DeviceClosed
)))
(
holdsDuring
?T
(
modalAttribute
(
exists
(?R)
(
and
(
instance
?R
ClimbingRope
)
(
contains
?C ?R)))
Possibility
)))
Mid-level-ontology.kif 30815-30826
Entit�
est une
instance
de
Carabiner
DeviceClosed
est un
attribut
de
entit�
pendant
position temporel
l'argument
entit�
entit�
est une
instance
de
ClimbingRope
entit�
contient
entit�
a la
force
modale
de
Possibility
pendant
position temporel
(=>
(
and
(
instance
?C
Carabiner
)
(
holdsDuring
?T
(
attribute
?C
DeviceOpen
)))
(
holdsDuring
?T
(
not
(
attribute
?C
RingTorus
))))
Mid-level-ontology.kif 30828-30835
Entit�
est une
instance
de
Carabiner
DeviceOpen
est un
attribut
de
entit�
pendant
position temporel
RingTorus
est un
attribut
de
entit�
pendant
position temporel
(=>
(
and
(
instance
?C
CheckingVitals
)
(
agent
?C ?A)
(
patient
?C ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?L
Lung
)
(
part
?L ?P)
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))
(
knows
?A
(
and
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))))
Medicine.kif 6505-6529
Processus
est une
instance
de
CheckingVitals
processus
est un
agent
de
agent cognitif
objet
est un
patient
de
processus
Heart
est une
instance
de
Heart
Heart
est une
partie
de
objet
Lung
est une
instance
de
Lung
Lung
est une
partie
de
objet
systolicBloodPressure
objet
and
entit�
diastolicBloodPressure
objet
and
entit�
la
mesure
de
objet
est
entit�
FahrenheitDegree
(s)
pendant
temps
d'existence de
processus
heartRate
Heart
,
temps
d'existence de
processus
and
nombre entier
breathingRate
Lung
,
temps
d'existence de
processus
and
nombre entier
agent cognitif
conna
�t
systolicBloodPressure
objet
and
entit�
diastolicBloodPressure
objet
and
entit�
la
mesure
de
objet
est
entit�
FahrenheitDegree
(s)
pendant
temps
d'existence de
processus
heartRate
Heart
,
temps
d'existence de
processus
and
nombre entier
breathingRate
Lung
,
temps
d'existence de
processus
and
nombre entier
(=>
(
and
(
instance
?CA
COVIDAntibody
)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
Covid19
))
(
part
?CA ?H))))
(
holdsDuring
(
ImmediateFutureFn
?T)
(
modalAttribute
(
attribute
?H
Covid19
)
Unlikely
)))
Medicine.kif 2784-2796
Entit�
est une
instance
de
COVIDAntibody
Covid19
est un
attribut
de
entit�
entit�
est une
partie
de
entit�
pendant
position temporel
l'argument
Covid19
est un
attribut
de
entit�
a la
force
modale
de
Unlikely
pendant
immediatement
apr
�s
position temporel
(=>
(
and
(
instance
?CHANGE
ChangeOfPossession
)
(
patient
?CHANGE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT2 ?OBJ)))
(
not
(
equal
?AGENT1 ?AGENT2)))
Merge.kif 11647-11654
Processus
est une
instance
de
changement de possession
entit�
est un
patient
de
processus
entit�
poss
�de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
poss
�de
entit�
pendant
la
fin
de
temps
d'existence de
processus
entit�
est
entit�
(=>
(
and
(
instance
?CHILD
Human
)
(
holdsDuring
?TIME
(
attribute
?CHILD
NonFullyFormed
)))
(
holdsDuring
?TIME
(
instance
?CHILD
HumanYouth
)))
Mid-level-ontology.kif 286-292
Entit�
est une
instance
de
humain
NonFullyFormed
est un
attribut
de
entit�
pendant
position temporel
entit�
est une
instance
de
HumanYouth
pendant
position temporel
(=>
(
and
(
instance
?CLOTHING
OutdoorClothing
)
(
holdsDuring
?TIME
(
wears
?PERSON ?CLOTHING)))
(
not
(
exists
(?BUILDING)
(
and
(
instance
?BUILDING
Building
)
(
holdsDuring
?TIME
(
located
?PERSON ?BUILDING))))))
Mid-level-ontology.kif 5043-5051
Entit�
est une
instance
de
OutdoorClothing
entit�
porte
entit�
pendant
position temporel
entit�
entit�
est une
instance
de
immeuble
entit�
est
situ
� �
entit�
pendant
position temporel
(=>
(
and
(
instance
?Compression
DataCompression
)
(
dataProcessed
?Compression ?Data)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?Memory ?Measure)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?NewMemory ?Measure))))
(
lessThan
?NewMemory ?Memory))
QoSontology.kif 1926-1940
ComputerProcess
est une
instance
de
DataCompression
dataProcessed
ComputerProcess
and
DigitalData
memorySize
DigitalData
and
nombre r�el
entit�
(s)
pendant
immediatement
avant
temps
d'existence de
ComputerProcess
memorySize
DigitalData
and
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
temps
d'existence de
ComputerProcess
nombre r�el
est
moins
que
nombre r�el
(=>
(
and
(
instance
?D
DeletingAnAccount
)
(
instance
?AC
Account
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
hasAccount
?A ?AC))
(
patient
?D ?AC)
(
agent
?D ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?D))
(
not
(
hasAccount
?A ?AC))))
ComputingBrands.kif 4566-4576
Processus
est une
instance
de
DeletingAnAccount
entit�
est une
instance
de
Account
hasAccount
AutonomousAgent
and
entit�
pendant
immediatement
avant
temps
d'existence de
processus
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
hasAccount
AutonomousAgent
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?D
Detaching
)
(
patient
?D ?O1)
(
patient
?D ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
connected
?O1 ?O2))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2))))
(
and
(
objectDetached
?A ?O1)
(
objectDetached
?A ?O2)))
Merge.kif 12431-12440
Processus
est une
instance
de
detacher
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
entit�
est
connect
� �
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
connect
� �
entit�
pendant
la
fin
de
temps
d'existence de
processus
objectDetached
processus
and
entit�
objectDetached
processus
and
entit�
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
experiencer
?DEATH ?ORG))
(
result
?DEATH ?REM))
Mid-level-ontology.kif 85-94
Processus
est une
instance
de
mort
entit�
est une
instance
de
OrganismRemains
AutonomousAgent
est une
instance
de
organisme
entit�
est une
partie
de
entit�
pendant
interval temporel
entit�
est une
partie
de
AutonomousAgent
pendant
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
AutonomousAgent
exp
�rimente
processus
entit�
est le
resultat
de
processus
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
result
?DEATH ?REM))
(
experiencer
?DEATH ?ORG))
Mid-level-ontology.kif 74-83
Processus
est une
instance
de
mort
entit�
est une
instance
de
OrganismRemains
AutonomousAgent
est une
instance
de
organisme
entit�
est une
partie
de
entit�
pendant
interval temporel
entit�
est une
partie
de
AutonomousAgent
pendant
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
entit�
est le
resultat
de
processus
AutonomousAgent
exp
�rimente
processus
(=>
(
and
(
instance
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
lessThan
?Y ?X))
Geography.kif 7016-7030
Processus
est une
instance
de
Deposition
entit�
est un
patient
de
processus
la
mesure
de
entit�
est
nombre r�el
Joule
(s)
pendant
immediatement
avant
temps
d'existence de
processus
la
mesure
de
entit�
est
nombre r�el
Joule
(s)
pendant
immediatement
apr
�s
temps
d'existence de
processus
nombre r�el
est
moins
que
nombre r�el
(=>
(
and
(
instance
?DEVICE
FaxMachine
)
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
possesses
?AGENT ?DEVICE))))
(
holdsDuring
?TIME
(
faxNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 25158-25165
Entit�
est une
instance
de
FaxMachine
deviceTelecomNumber
entit�
and
entit�
entit�
poss
�de
entit�
pendant
position temporel
faxNumber
entit�
and
entit�
pendant
position temporel
(=>
(
and
(
instance
?DEVICE
MobileCellPhone
)
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
telephoneNumber
?NUMBER ?AGENT))))
(
holdsDuring
?TIME
(
mobilePhoneNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 25133-25140
Entit�
est une
instance
de
MobileCellPhone
deviceTelecomNumber
entit�
and
entit�
telephoneNumber
entit�
and
entit�
pendant
position temporel
mobilePhoneNumber
entit�
and
entit�
pendant
position temporel
(=>
(
and
(
instance
?DEVICE
Telephone
)
(
holdsDuring
?TIME
(
and
(
possesses
?AGENT ?DEVICE)
(
deviceTelecomNumber
?NUMBER ?DEVICE))))
(
holdsDuring
?TIME
(
telephoneNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 25007-25014
Entit�
est une
instance
de
Telephone
entit�
poss
�de
entit�
deviceTelecomNumber
entit�
and
entit�
pendant
position temporel
telephoneNumber
entit�
and
entit�
pendant
position temporel
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ)
(
holdsDuring
(
WhenFn
?DISCOVER)
(
located
?OBJ ?PLACE)))
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
subProcess
?LEARN ?DISCOVER)
(
patient
?LEARN
(
located
?OBJ ?PLACE)))))
Merge.kif 11973-11982
Processus
est une
instance
de
Discovering
entit�
est un
patient
de
processus
entit�
est
situ
� �
entit�
pendant
temps
d'existence de
processus
processus
processus
est une
instance
de
apprendre
processus
est un
sous
-processus de
processus
entit�
est
situ
� �
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?C
Crankcase
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeTransfer
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?C))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?C))))
Cars.kif 509-521
Objet
est une
instance
de
EngineCylinder
trou
est une
instance
de
Crankcase
physique
est une
instance
de
Piston
processus
est une
instance
de
TwoStrokeTransfer
physique
est
situ
� �
objet
pendant
processus
objet
est
h
�te du trou
trou
eventLocated
processus
and
objet
physique
a pour
but
physique
remplie
partiellemnet
trou
pendant
processus
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeIntake
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?I))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?I))))
Cars.kif 463-475
Objet
est une
instance
de
EngineCylinder
trou
est une
instance
de
InternalCombustionChamber
physique
est une
instance
de
Piston
processus
est une
instance
de
TwoStrokeIntake
physique
est
situ
� �
objet
pendant
processus
objet
est
h
�te du trou
trou
eventLocated
processus
and
objet
physique
a pour
but
physique
remplie
partiellemnet
trou
pendant
processus
(=>
(
and
(
instance
?E
Eyebrow
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?E ?EYE
Above
))))
Anatomy.kif 1469-1481
Objet
est une
instance
de
Eyebrow
Healthy
est un
attribut
de
objet
Standing
est un
attribut
de
objet
pendant
position temporel
objet
est une
partie
de
objet
objet
YE
objet
YE est une
instance
de
Eye
objet
YE est une
partie
de
objet
objet
est
Above
�
objet
YE
(=>
(
and
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
instance
?F
Fuel
)
(
instance
?M
UnitOfVolume
)
(
holdsDuring
?T
(
and
(
contains
?CC ?F)
(
measure
?F
(
MeasureFn
?N1 ?M))
(
attribute
?E
EngineFlooded
))))
(
hasPurpose
?CC
(
not
(
exists
(?F2 ?N2)
(
and
(
instance
?F2
Fuel
)
(
contains
?CC ?F2)
(
measure
?F2
(
MeasureFn
?N2 ?M))
(
greaterThanOrEqualTo
?N2 ?N1))))))
Cars.kif 2811-2830
Objet
est une
instance
de
InternalCombustionEngine
objet
est une
instance
de
CombustionChamber
objet
est une
partie
de
objet
entit�
est une
instance
de
Fuel
entit�
est une
instance
de
UnitOfVolume
objet
contient
entit�
la
mesure
de
entit�
est
entit�
entit�
(s)
EngineFlooded
est un
attribut
de
objet
pendant
position temporel
objet
a pour
but
entit�
2
entit�
entit�
2 est une
instance
de
Fuel
objet
contient
entit�
2 la
mesure
de
entit�
2 est
entit�
entit�
(s)
entit�
est
plus
grand
ou �gal �
entit�
(=>
(
and
(
instance
?E
Motion
)
(
instance
?T
Tremor
)
(
instance
?D
Damper
)
(
patient
?T ?O)
(
part
?D ?O)
(
causes
?E ?T)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
WhenFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U))))
(
greaterThan
?A1 ?A2))
Cars.kif 777-792
Processus
est une
instance
de
d�palcement
processus
est une
instance
de
Tremor
objet
est une
instance
de
Damper
objet
est un
patient
de
processus
objet
est une
partie
de
objet
processus
cause
processus
entit�
est une
instance
de
UnitOfLength
physicalAmplitude
processus
and
nombre r�el
entit�
(s)
pendant
temps
d'existence de
processus
physicalAmplitude
processus
and
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?EC
EngineChoke
)
(
holdsDuring
?FSC1
(
attribute
?EC
DeviceOn
))
(
holdsDuring
?FSC2
(
attribute
?EC
DeviceOff
))
(
instance
?C
EngineCylinder
)
(
capacity
?C ?M)
(
instance
?FSC1
FourStrokeCompression
)
(
instance
?FSC2
FourStrokeCompression
)
(
eventLocated
?FSC1 ?C)
(
eventLocated
?FSC2 ?C)
(
instance
?A1
Air
)
(
instance
?F1
Fuel
)
(
part
?A1 ?MIX1)
(
part
?F1 ?MIX1)
(
measure
?MIX1 ?M)
(
instance
?A2
Air
)
(
instance
?F2
Fuel
)
(
part
?A2 ?MIX2)
(
part
?F2 ?MIX2)
(
measure
?MIX2 ?M)
(
instance
?U
UnitOfMeasure
)
(
measure
?A1
(
MeasureFn
?A1M ?U))
(
measure
?A2
(
MeasureFn
?A2M ?U))
(
measure
?F1
(
MeasureFn
?F1M ?U))
(
measure
?F2
(
MeasureFn
?F2M ?U)))
(
greaterThan
(
DivisionFn
?A2M ?F2M)
(
DivisionFn
?A1M ?F1M)))
Cars.kif 1314-1348
Entit�
est une
instance
de
EngineChoke
DeviceOn
est un
attribut
de
entit�
pendant
processus
DeviceOff
est un
attribut
de
entit�
pendant
processus
objet en une partie
est une
instance
de
EngineCylinder
capacity
objet en une partie
and
quantit� constante
processus
est une
instance
de
FourStrokeCompression
processus
est une
instance
de
FourStrokeCompression
eventLocated
processus
and
objet en une partie
eventLocated
processus
and
objet en une partie
objet
est une
instance
de
Air
objet
est une
instance
de
Fuel
objet
est une
partie
de
quantit� constante
IX1
objet
est une
partie
de
quantit� constante
IX1 la
mesure
de
quantit� constante
IX1 est
quantit� constante
objet
est une
instance
de
Air
objet
est une
instance
de
Fuel
objet
est une
partie
de
quantit� constante
IX2
objet
est une
partie
de
quantit� constante
IX2 la
mesure
de
quantit� constante
IX2 est
quantit� constante
unit� de mesure
est une
instance
de
unit� de mesure
la
mesure
de
objet
est
objet
M
unit� de mesure
(s) la
mesure
de
objet
est
objet
M
unit� de mesure
(s) la
mesure
de
objet
est
objet
M
unit� de mesure
(s) la
mesure
de
objet
est
objet
M
unit� de mesure
(s)
objet
M +
objet
M est
plus
grand
que
objet
M +
objet
M
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
maxCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V2 ?V1)))))
Cars.kif 1898-1917
Processus
est une
instance
de
EngineCycle
objet
est une
instance
de
InternalCombustionEngine
objet
est une
instance
de
CombustionChamber
objet
est une
partie
de
objet
eventLocated
processus
and
objet
entit�
est une
instance
de
UnitOfVolume
maxCylinderVolume
objet
and
nombre r�el
entit�
(s)
pendant
temps
d'existence de
processus
nombre r�el
interval temporel
interval temporel
prend place
pendant
temps
d'existence de
processus
la
mesure
de
objet
est
nombre r�el
entit�
(s)
pendant
interval temporel
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
minCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V1 ?V2)))))
Cars.kif 1868-1887
Processus
est une
instance
de
EngineCycle
objet
est une
instance
de
InternalCombustionEngine
objet
est une
instance
de
CombustionChamber
objet
est une
partie
de
objet
eventLocated
processus
and
objet
entit�
est une
instance
de
UnitOfVolume
minCylinderVolume
objet
and
nombre r�el
entit�
(s)
pendant
temps
d'existence de
processus
nombre r�el
interval temporel
interval temporel
prend place
pendant
temps
d'existence de
processus
la
mesure
de
objet
est
nombre r�el
entit�
(s)
pendant
interval temporel
nombre r�el
est
plus
grand
que
nombre r�el
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