patient
(=>
(
and
(
instance
?B
Deboarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
onboard
?A ?V))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))))
Mid-level-ontology.kif 17427-17439
Processus
est une
instance
de
Deboarding
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
onboard
AutonomousAgent
and
entit�
pendant
le
d
�but de
temps
d'existence de
processus
onboard
AutonomousAgent
and
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?B
Deboarding
)
(
patient
?B ?VEHICLE))
(
instance
?VEHICLE
Vehicle
))
Mid-level-ontology.kif 17421-17425
Processus
est une
instance
de
Deboarding
entit�
est un
patient
de
processus
entit�
est une
instance
de
Vehicle
(=>
(
and
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?BOIL))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?BOIL))
(
attribute
?PART
Gas
)))))
Merge.kif 13933-13941
Processus
est une
instance
de
�vaporer
objet
est un
patient
de
processus
objet
objet
est une
partie
de
objet
Liquid
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
Gas
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?BOILING
Boiling
)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
patient
?BOILING ?SUBSTANCE)
(
holdsDuring
(
WhenFn
?BOILING)
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
))
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
Merge.kif 13831-13839
Processus
est une
instance
de
�vaporer
boilingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
entit�
est une
instance
de
substance pure
entit�
est un
patient
de
processus
la
mesure
de
entit�
est
nombre r�el
unit� de mesure
(s)
pendant
temps
d'existence de
processus
unit� de mesure
est une
instance
de
UnitOfTemperature
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
(=>
(
and
(
instance
?BORROW
Borrowing
)
(
agent
?BORROW ?AGENT1)
(
origin
?BORROW ?AGENT2)
(
patient
?BORROW ?OBJECT))
(
exists
(?LEND)
(
and
(
instance
?LEND
Lending
)
(
agent
?LEND ?AGENT2)
(
destination
?LEND ?AGENT1)
(
patient
?LEND ?OBJECT))))
Merge.kif 11731-11742
Processus
est une
instance
de
emprunter
processus
est un
agent
de
AutonomousAgent
processus
a pour
origine
AutonomousAgent
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
pr�ter
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?BP
BrakePad
)
(
instance
?BR
BrakeRotor
)
(
instance
?R
Rotating
)
(
patient
?R ?BR)
(
instance
?F
Friction
)
(
resource
?F ?BP)
(
patient
?F ?BR))
(
not
(
patient
?R ?BP)))
Cars.kif 617-627
Objet
est une
instance
de
BrakePad
entit�
est une
instance
de
BrakeRotor
processus
est une
instance
de
Rotating
entit�
est un
patient
de
processus
processus
est une
instance
de
Friction
objet
est une
resource
pour
processus
entit�
est un
patient
de
processus
objet
est un
patient
de
processus
(=>
(
and
(
instance
?BS
BrakeShoe
)
(
instance
?BD
BrakeDrum
)
(
instance
?R
Rotating
)
(
patient
?R ?BD)
(
instance
?F
Friction
)
(
resource
?F ?BS)
(
patient
?F ?BD))
(
not
(
patient
?R ?BS)))
Cars.kif 639-649
Objet
est une
instance
de
BrakeShoe
entit�
est une
instance
de
BrakeDrum
processus
est une
instance
de
Rotating
entit�
est un
patient
de
processus
processus
est une
instance
de
Friction
objet
est une
resource
pour
processus
entit�
est un
patient
de
processus
objet
est un
patient
de
processus
(=>
(
and
(
instance
?BUY
Buying
)
(
agent
?BUY ?AGENT1)
(
origin
?BUY ?AGENT2)
(
patient
?BUY ?OBJECT))
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?AGENT2)
(
destination
?SELL ?AGENT1)
(
patient
?SELL ?OBJECT))))
Merge.kif 11905-11916
Processus
est une
instance
de
acheter
processus
est un
agent
de
AutonomousAgent
processus
a pour
origine
AutonomousAgent
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
vendre
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?BUYINGS
Collection
)
(
instance
?GMB
CurrencyMeasure
)
(
instance
?TOTAL
RealNumber
)
(
equal
?GMB
(
GMBFn
?BUYINGS))
(
equal
?TOTAL
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Object
)
(
exists
(?BUYING)
(
and
(
member
?BUYING ?BUYINGS)
(
patient
?BUYING ?ITEM))))))))
(
equal
(
ABPFn
?BUYINGS)
(
DivisionFn
?GMB ?TOTAL)))
UXExperimentalTerms.kif 3239-3259
Collection
est une
instance
de
collection
nombre r�el
est une
instance
de
mesure de devise
nombre entier
est une
instance
de
nombre r�el
nombre r�el
est
GMBFn
collection
nombre entier
est
instances
dans la
classe
d�crite par
cha�ne sympbolique
ABPFn
collection
est
nombre r�el
+
nombre entier
(=>
(
and
(
instance
?Bond
SecuredBond
)
(
securedBy
?Bond ?Security)
(
possesses
?Agent ?Bond)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Bond))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Agent ?Security)))
FinancialOntology.kif 2397-2406
FinancialAccount
est une
instance
de
SecuredBond
securedBy
FinancialAccount
and
Collateral
AutonomousAgent
poss
�de
FinancialAccount
processus
est une
instance
de
FinancialDefault
FinancialAccount
est un
patient
de
processus
AutonomousAgent
poss
�de
Collateral
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?C
CateringService
)
(
agent
?C ?AGENT)
(
destination
?C ?CUST)
(
located
?AGENT ?LOC1)
(
customer
?CUST ?AGENT)
(
exists
(?S ?FOOD ?E)
(
and
(
instance
?S
Cooking
)
(
agent
?S ?AGENT)
(
result
?S ?FOOD)
(
patient
?C ?FOOD)
(
instance
?E
Eating
)
(
agent
?E ?CUST)
(
eventLocated
?E ?LOC2))))
(
not
(
equal
?LOC1 ?LOC2)))
Dining.kif 586-602
Processus
est une
instance
de
CateringService
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
processus
UST
AutonomousAgent
est
situ
� �
objet
customer
processus
UST and
AutonomousAgent
processus
entit�
and
processus
processus
est une
instance
de
cuisiner
processus
est un
agent
de
AutonomousAgent
entit�
est le
resultat
de
processus
entit�
est un
patient
de
processus
processus
est une
instance
de
manger
processus
est un
agent
de
processus
UST
eventLocated
processus
and
objet
objet
est
objet
(=>
(
and
(
instance
?C
CausingHappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Happiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Happiness
))))
Mid-level-ontology.kif 23768-23779
Processus
est une
instance
de
CausingHappiness
entit�
est un
patient
de
processus
bonheur
est un
attribut
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
bonheur
est un
attribut
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?C
CausingUnhappiness
)
(
patient
?C ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
not
(
attribute
?P
Unhappiness
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
attribute
?P
Unhappiness
))))
Mid-level-ontology.kif 23789-23800
Processus
est une
instance
de
CausingUnhappiness
entit�
est un
patient
de
processus
Unhappiness
est un
attribut
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
Unhappiness
est un
attribut
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
?C
ChurningButter
)
(
instance
?E
Emulsion
)
(
patient
?C ?E))
(
exists
(?M ?B)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?C))
(
and
(
equal
?E ?M)
(
instance
?M
Milk
)))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
and
(
equal
?E ?B)
(
instance
?B
Butter
))))))
Food.kif 3076-3094
Processus
est une
instance
de
ChurningButter
entit�
est une
instance
de
Emulsion
entit�
est un
patient
de
processus
entit�
entit�
entit�
est
entit�
entit�
est une
instance
de
Milk
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est
entit�
entit�
est une
instance
de
Butter
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOff
))
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2))))
Cars.kif 1838-1856
Objet
est une
instance
de
Clutch
objet
est une
instance
de
Automobile
objet
est une
instance
de
Engine
objet
est une
instance
de
Gearbox
objet
EAR est une
instance
de
Gear
objet
EAR est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
processus
est une
instance
de
d�palcement
objet
est un
patient
de
processus
DeviceOff
est un
attribut
de
objet
processus
2
processus
2 est une
instance
de
d�palcement
objet
est un
patient
de
processus
2
processus
cause
processus
2
(=>
(
and
(
instance
?C
Clutch
)
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?G
Gearbox
)
(
instance
?GEAR
Gear
)
(
part
?GEAR ?G)
(
part
?G ?A)
(
part
?C ?A)
(
part
?E ?A)
(
instance
?M
Motion
)
(
patient
?M ?E)
(
attribute
?C
DeviceOn
))
(
not
(
exists
(?M2)
(
and
(
instance
?M2
Motion
)
(
patient
?M2 ?G)
(
causes
?M ?M2)))))
Cars.kif 1817-1836
Objet
est une
instance
de
Clutch
objet
est une
instance
de
Automobile
objet
est une
instance
de
Engine
objet
est une
instance
de
Gearbox
objet
EAR est une
instance
de
Gear
objet
EAR est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
processus
est une
instance
de
d�palcement
objet
est un
patient
de
processus
DeviceOn
est un
attribut
de
objet
processus
2
processus
2 est une
instance
de
d�palcement
objet
est un
patient
de
processus
2
processus
cause
processus
2
(=>
(
and
(
instance
?C
Concealing
)
(
patient
?C ?OBJ))
(
hasPurpose
?C
(
not
(
exists
(?S)
(
and
(
instance
?S
Seeing
)
(
patient
?S ?OBJ))))))
Mid-level-ontology.kif 5489-5498
Processus
est une
instance
de
Concealing
entit�
est un
patient
de
processus
processus
a pour
but
entit�
entit�
est une
instance
de
voir
entit�
est un
patient
de
entit�
(=>
(
and
(
instance
?C
Covering
)
(
patient
?C ?P)
(
instrument
?C ?I))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
covers
?I ?P)))
Mid-level-ontology.kif 29758-29765
Processus
est une
instance
de
couvrir
entit�
est un
patient
de
processus
objet
est un
instrument
pour
processus
covers
objet
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
hasPurpose
?C
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))
(
not
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))))))
Medicine.kif 767-785
Processus
est une
instance
de
Cricothyroidotomy
entit�
est un
patient
de
processus
processus
a pour
but
entit�
entit�
est une
instance
de
ImpairmentFn
respirer
entit�
est un
patient
de
entit�
pendant
immediatement
avant
temps
d'existence de
processus
entit�
entit�
est une
instance
de
ImpairmentFn
respirer
entit�
est un
patient
de
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?T
(
HoleHostFn
?H))
(
instance
?T
Throat
)
(
part
?T ?O)))))
Medicine.kif 754-765
Processus
est une
instance
de
Cricothyroidotomy
entit�
est un
patient
de
processus
entit�
entit�
est une
instance
de
trou
entit�
est
h
�te du trou
entit�
entit�
est une
instance
de
Throat
entit�
est une
partie
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?C
Crushing
)
(
patient
?C ?O)
(
instance
?O
Object
))
(
exists
(?B ?SC)
(
and
(
instance
?B
Breaking
)
(
causes
?C ?B)
(
subProcess
?B ?SC)
(
instance
?SC
ShapeChange
)
(
patient
?B ?O)
(
patient
?SC ?O))))
Food.kif 980-992
Processus
est une
instance
de
Crushing
entit�
est un
patient
de
processus
entit�
est une
instance
de
objet
processus
processus
processus
est une
instance
de
Breaking
processus
cause
processus
processus
est un
sous
-processus de
processus
processus
est une
instance
de
changement de forme
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?C
Crushing
)
(
patient
?C ?O)
(
instance
?O
Object
))
(
exists
(?SC)
(
and
(
result
?C ?SC)
(
instance
?SC
ShapeChange
)
(
patient
?SC ?O))))
Food.kif 994-1003
Processus
est une
instance
de
Crushing
entit�
est un
patient
de
processus
entit�
est une
instance
de
objet
processus
processus
est le
resultat
de
processus
processus
est une
instance
de
changement de forme
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?C
Curdling
)
(
patient
?C ?X)
(
instance
?X
Colloid
))
(
exists
(?S ?A)
(
and
(
instance
?S
Separating
)
(
subProcess
?S ?C)
(
patient
?S ?X)
(
result
?S ?A)
(
piece
?A ?X)
(
instance
?A
Substance
))))
Food.kif 3199-3211
Processus
est une
instance
de
Curdling
substance
est un
patient
de
processus
substance
est une
instance
de
Colloid
processus
substance
processus
est une
instance
de
separer
processus
est un
sous
-processus de
processus
substance
est un
patient
de
processus
substance
est le
resultat
de
processus
substance
est une
pi
�ce de
substance
substance
est une
instance
de
substance
(=>
(
and
(
instance
?C
CurdlingMilk
)
(
instance
?M
Milk
)
(
patient
?C ?M))
(
exists
(?PH ?D ?H ?L)
(
and
(
measure
?M
(
MeasureFn
?PH
PHValue
))
(
instance
?D
Decreasing
)
(
subProcess
?D ?C)
(
patient
?D ?PH)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
equal
?PH ?H)
(
approximateValue
?H 6.5))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
equal
?PH ?L)
(
approximateValue
?L 4.5)))))
Food.kif 3226-3247
Processus
est une
instance
de
CurdlingMilk
physique
est une
instance
de
Milk
physique
est un
patient
de
processus
nombre r�el
processus
,
entit�
and
entit�
la
mesure
de
physique
est
nombre r�el
PHValue
(s)
processus
est une
instance
de
diminuer
processus
est un
sous
-processus de
processus
nombre r�el
est un
patient
de
processus
nombre r�el
est
entit�
pendant
le
d
�but de
temps
d'existence de
processus
nombre r�el
est
entit�
pendant
la
fin
de
temps
d'existence de
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