patient
(=>
(
and
(
buys
?CUST ?AGENT ?ITEM)
(
instance
?ITEM
Proposition
))
(
exists
(?TRANS ?PROC)
(
and
(
agent
?TRANS ?CUST)
(
realization
?PROC ?ITEM)
(
instance
?TRANS
Buying
)
(
patient
?TRANS ?PROC)
(
origin
?TRANS ?AGENT))))
Mid-level-ontology.kif 29974-29984
buys
agent cognitif
,
AutonomousAgent
and
proposition
proposition
est une
instance
de
proposition
processus
processus
processus
est un
agent
de
agent cognitif
processus
exprime
le contenu de
proposition
processus
est une
instance
de
acheter
processus
est un
patient
de
processus
processus
a pour
origine
AutonomousAgent
(=>
(
and
(
capability
ValetParking
agent
?AGENT)
(
customer
?CUST ?AGENT)
(
located
?AGENT ?LOC)
(
instance
?D
Arriving
)
(
agent
?D ?CUST)
(
patient
?D ?VEHICLE)
(
destination
?D ?LOC))
(
exists
(?VALET)
(
and
(
occupiesPosition
?VALET
Valet
?AGENT)
(
modalAttribute
(
exists
(?VP ?PARK)
(
and
(
instance
?VP
ValetParking
)
(
agent
?VP ?VALET)
(
patient
?VP ?VEHICLE)
(
destination
?VP ?PARK)
(
instance
?PARK
ParkingRegion
)))
Possibility
))))
TransportDetail.kif 153-172
Organisation
est
capable
de faire
ValetParking
dans le r�le
agent
customer
agent cognitif
and
organisation
organisation
est
situ
� �
objet
processus
est une
instance
de
Arriving
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
processus
aboutit
�
objet
humain
humain
occupe la
position
de
Valet
organisation
l'argument
entit�
entit�
entit�
est une
instance
de
ValetParking
entit�
est un
agent
de
humain
entit�
est un
patient
de
entit�
entit�
aboutit
�
entit�
entit�
est une
instance
de
ParkingRegion
a la
force
modale
de
Possibility
(=>
(
and
(
cardCode
?Code ?Card)
(
cardAccount
?Card ?Account))
(
exists
(?Encoding)
(
and
(
instance
?Encoding
Encoding
)
(
patient
?Encoding ?Account))))
FinancialOntology.kif 3504-3511
cardCode
objet exprimant un sens
and
BankCard
cardAccount
BankCard
and
FinancialAccount
processus
processus
est une
instance
de
encoder
FinancialAccount
est un
patient
de
processus
(=>
(
and
(
checkOutTime
?HOTEL ?TIME)
(
guest
?GUEST ?HOTEL))
(
expects
?HOTEL
(
exists
(?T ?C)
(
and
(
instance
?T ?TIME)
(
patient
?C ?GUEST)
(
instance
?C
CheckOutService
)
(
agent
?C ?HOTEL)
(
before
(
BeginFn
(
WhenFn
?C)) ?T)))))
Hotel.kif 684-695
checkOutTime
agent cognitif
and
point temporel
guest
agent cognitif
and
agent cognitif
expects
agent cognitif
and
entit�
entit�
entit�
est une
instance
de
point temporel
agent cognitif
est un
patient
de
entit�
entit�
est une
instance
de
CheckOutService
entit�
est un
agent
de
agent cognitif
le
d
�but de
temps
d'existence de
entit�
se produit
avant
entit�
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Object
)
(
instance
?X ?PHYS))
(
confersRight
(
exists
(?PROC)
(
and
(
instance
?PROC
Process
)
(
or
(
resource
?PROC ?X)
(
instrument
?PROC ?X)
(
patient
?PROC ?X))
(
or
(
agent
?PROC ?CUST)
(
experiencer
?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
customer
agent cognitif
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
physique
physique
est une
sous
-classe de
objet
entit�
est une
instance
de
physique
AutonomousAgent
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
processus
entit�
est une
resource
pour
entit�
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
entit�
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
customer
agent cognitif
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
physique
physique
est une
sous
-classe de
processus
l'argument
entit�
entit�
and
entit�
entit�
est un
appartenir
�
AutonomousAgent
entit�
est un
agent
de
AutonomousAgent
agent cognitif
est un
patient
de
entit�
entit�
est une
instance
de
physique
entit�
est une
instance
de
physique
entit�
est un
sous
-processus de
entit�
entit�
est
situ
� �
entit�
a la
force
modale
de
Possibility
(=>
(
and
(
equal
(
MeasureFn
?Y
McgPerKg
)
(
PerFn
?M1 ?M2))
(
equal
?M1
(
MeasureFn
?NUM1
(
MicroFn
Gram
)))
(
equal
?M2
(
MeasureFn
?NUM2
(
KiloFn
Gram
))))
(
exists
(?I ?B ?A)
(
and
(
instance
?I
Ingesting
)
(
instance
?B
BiologicallyActiveSubstance
)
(
instance
?A
Organism
)
(
patient
?I ?B)
(
agent
?I ?A)
(
weight
?B ?M1)
(
weight
?A ?M2))))
WMD.kif 823-840
Nombre r�el
McgPerKg
(s) est
PerFn
mesure de masse
and
mesure de masse
mesure de masse
est
nombre r�el
un
millioni
�me de
Gram
(s)
mesure de masse
est
nombre r�el
1
millier
Gram
s(s)
processus
objet en une partie
and
objet en une partie
processus
est une
instance
de
ing�rer
objet en une partie
est une
instance
de
substance biologique active
objet en une partie
est une
instance
de
organisme
objet en une partie
est un
patient
de
processus
processus
est un
agent
de
objet en une partie
weight
objet en une partie
and
mesure de masse
weight
objet en une partie
and
mesure de masse
(=>
(
and
(
equal
?S
(
SongFn
?MC ?LC))
(
realization
?S ?MUSIC))
(
exists
(?MM ?MV)
(
and
(
patient
?MM ?MC)
(
patient
?MV ?LC)
(
subProcess
?MM ?MUSIC)
(
subProcess
?MV ?MUSIC))))
Music.kif 867-876
Song
est
SongFn
MusicalComposition
and
LyricalContent
Song
exprime
le contenu de
processus
processus
processus
MusicalComposition
est un
patient
de
processus
LyricalContent
est un
patient
de
processus
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
functionRoomAmenity
HotelFunctionRoom
and
physique
entit�
est une
instance
de
HotelFunctionRoom
entit�
est un
appartenir
�
AutonomousAgent
processus
est une
instance
de
Renting
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
entit�
physique
est une
sous
-classe de
objet
l'argument
entit�
entit�
entit�
est une
instance
de
physique
entit�
est une
instance
de
processus
entit�
est une
resource
pour
entit�
entit�
est un
instrument
pour
entit�
entit�
est un
patient
de
entit�
entit�
est un
agent
de
entit�
entit�
exp
�rimente
entit�
a la
force
modale
de
Possibility
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
guest
humain
and
AutonomousAgent
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
TemporaryResidence
est une
instance
de
TemporaryResidence
OOM
roomAmenity
TemporaryResidence
OOM and
physique
physique
est une
sous
-classe de
objet
physique
physique
est une
instance
de
physique
physique
est
situ
� �
TemporaryResidence
AutonomousAgent
autorise
humain
� ex�cut� des t�ches du type
entit�
entit�
est un
agent
de
humain
physique
est un
instrument
pour
entit�
physique
est un
patient
de
entit�
physique
est une
resource
pour
entit�
(=>
(
and
(
hasAccount
?U ?AC)
(
password
?P ?AC)
(
deviceAccount
?AC ?D)
(
not
(
knows
?U
(
password
?P ?AC)))
(
knows
?U
(
recoveryKey
?S ?AC))
(
possesses
?U ?D))
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
ChangingPassword
)
(
patient
?C ?AC)
(
agent
?C ?U)))
Possibility
))
ComputingBrands.kif 4427-4444
hasAccount
agent cognitif
and
UserAccount
password
ComputerPassword
and
UserAccount
deviceAccount
UserAccount
and
Computer
agent cognitif
ne
conna
�t %n{pas}
password
ComputerPassword
and
UserAccount
agent cognitif
conna
�t
recoveryKey
entit�
and
UserAccount
agent cognitif
poss
�de
Computer
l'argument
entit�
entit�
est une
instance
de
ChangingPassword
UserAccount
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
a la
force
modale
de
Possibility
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?P
Expellee
)
(
citizen
?P ?HOME-NATION)))
(
instance
?T1
TimeInterval
))
(
exists
(?TRANS ?NATION)
(
and
(
instance
?NATION
Nation
)
(
not
(
equal
?NATION ?HOME-NATION))
(
instance
?TRANS
Translocation
)
(
origin
?TRANS ?NATION)
(
patient
?TRANS ?P)
(
destination
?TRANS ?HOME-NATION)
(
temporalPart
?T1
(
WhenFn
?TRANS)))))
MilitaryPersons.kif 151-167
Expellee
est un
attribut
de
entit�
entit�
est un
citoyen
de
entit�
-NATION
pendant
position temporel
position temporel
est une
instance
de
interval temporel
processus
objet
objet
est une
instance
de
nation
objet
est
entit�
-NATION
processus
est une
instance
de
Translocation
processus
a pour
origine
objet
entit�
est un
patient
de
processus
processus
aboutit
�
entit�
-NATION
position temporel
est une
partie
de
temps
d'existence de
processus
(=>
(
and
(
holdsDuring
?T1
(
spouse
?P1 ?P2))
(
instance
?T1
TimeInterval
))
(
exists
(?WED)
(
and
(
instance
?WED
Wedding
)
(
patient
?WED ?P1)
(
patient
?WED ?P2)
(
earlier
(
WhenFn
?WED) ?T1))))
Mid-level-ontology.kif 7972-7982
spouse
entit�
and
entit�
pendant
interval temporel
interval temporel
est une
instance
de
interval temporel
processus
processus
est une
instance
de
Wedding
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
(=>
(
and
(
instance
?ACT
Surgery
)
(
patient
?ACT ?ANIMAL))
(
exists
(?SUBACT)
(
and
(
instance
?SUBACT
Cutting
)
(
instance
?ANIMAL
Animal
)
(
patient
?SUBACT ?ANIMAL)
(
subProcess
?SUBACT ?ACT))))
Merge.kif 12259-12268
Processus
est une
instance
de
chirurgie
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
couper
entit�
est une
instance
de
animal
entit�
est un
patient
de
processus
processus
est un
sous
-processus de
processus
(=>
(
and
(
instance
?APR
AirPhotographicReconnaissance
)
(
agent
?APR ?AGENT)
(
patient
?APR ?HOSTILE))
(
exists
(?PHOTOGRAPHING)
(
and
(
instance
?PHOTOGRAPHING
Photographing
)
(
subProcess
?PHOTOGRAPHING ?APR)
(
agent
?PHOTOGRAPHING ?AGENT)
(
patient
?PHOTOGRAPHING ?HOSTILE))))
MilitaryProcesses.kif 753-763
Processus
est une
instance
de
AirPhotographicReconnaissance
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
processus
est une
instance
de
Photographing
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
and
(
instance
?AR
ArmedReconnaissance
)
(
agent
?AR ?AGENT)
(
patient
?AR ?HOSTILE)
(
holdsDuring
(
WhenFn
?AR)
(
enemy
?AGENT ?HOSTILE)))
(
confersRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))) ?AR ?AGENT))
MilitaryProcesses.kif 89-103
Processus
est une
instance
de
ArmedReconnaissance
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
enemy
agent cognitif
and
entit�
pendant
temps
d'existence de
processus
processus
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
Attack
entit�
est un
agent
de
agent cognitif
entit�
est un
patient
de
entit�
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
(
exists
(?LEADING)
(
and
(
instance
?LEADING
Guiding
)
(
patient
?LEADING ?AREA)
(
agent
?LEADING ?PERSON))))
Government.kif 2309-2317
Secteur g�opolitique
est une
instance
de
secteur g�opolitique
humain
occupe la
position
de
Leader
le
gouvernment
de
secteur g�opolitique
processus
processus
est une
instance
de
guider
secteur g�opolitique
est un
patient
de
processus
processus
est un
agent
de
humain
(=>
(
and
(
instance
?AS
ArtSchool
)
(
instance
?P
EducationalProcess
)
(
eventLocated
?P ?AS))
(
exists
(?M ?ART)
(
and
(
instance
?M
Making
)
(
patient
?M ?ART)
(
instance
?ART
ArtWork
)
(
refers
?P ?M))))
Mid-level-ontology.kif 16766-16776
Objet
est une
instance
de
ArtSchool
processus
est une
instance
de
processus educationnel
eventLocated
processus
and
objet
processus
entit�
processus
est une
instance
de
faire
entit�
est un
patient
de
processus
entit�
est une
instance
de
objet d'art
processus
inclut une
r
�f�rence �
processus
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?USER
AutonomousAgent
)
(
instance
?OBJ
Object
)
(
agent
?ATC ?USER)
(
patient
?ATC ?OBJ))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 1312-1324
Processus
est une
instance
de
AddToCart
agent cognitif
est une
instance
de
AutonomousAgent
entit�
est une
instance
de
objet
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
agent cognitif
desire
entit�
entit�
est une
instance
de
acheter
entit�
est un
patient
de
entit�
entit�
est un
agent
de
agent cognitif
(=>
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?OBJ))
(
hasPurposeForAgent
?ATTACK
(
exists
(?DAMAGE)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?OBJ))) ?AGENT))
Merge.kif 13409-13418
Processus
est une
instance
de
Attack
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
processus
a le
but
entit�
entit�
est une
instance
de
endommager
entit�
est un
patient
de
entit�
pour
AutonomousAgent
(=>
(
and
(
instance
?AWARD
LegalAward
)
(
refers
?AWARD ?ACTION)
(
instance
?ACTION
LegalAction
)
(
agent
?ACTION ?PLAINTIFF))
(
confersRight
(
exists
(?GET ?OBJ ?VALUE)
(
and
(
instance
?GET
Getting
)
(
experiencer
?GET ?PLAINTIFF)
(
patient
?GET ?OBJ)
(
monetaryValue
?OBJ ?VALUE))) ?AWARD ?PLAINTIFF))
Mid-level-ontology.kif 16200-16212
Entit�
est une
instance
de
LegalAward
entit�
inclut une
r
�f�rence �
processus
processus
est une
instance
de
action l�gale
processus
est un
agent
de
agent cognitif
entit�
autorise
agent cognitif
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
entit�
est une
instance
de
obtenir
agent cognitif
exp
�rimente
entit�
entit�
est un
patient
de
entit�
valeur
de
entit�
est
entit�
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
accountAt
?Account ?Bank))
(
exists
(?Activity)
(
and
(
instance
?Activity
ControllingAnAccount
)
(
patient
?Activity ?Account)
(
agent
?Activity ?Bank))))
FinancialOntology.kif 76-84
FinancialAccount
est une
instance
de
FinancialAccount
accountAt
FinancialAccount
and
FinancialOrganization
processus
processus
est une
instance
de
ControllingAnAccount
FinancialAccount
est un
patient
de
processus
processus
est un
agent
de
FinancialOrganization
(=>
(
and
(
instance
?B
Bleeding
)
(
experiencer
?B ?H))
(
exists
(?VA ?D)
(
and
(
or
(
instance
?VA
Vein
)
(
instance
?VA
Artery
))
(
part
?VA ?H)
(
instance
?D
Damaging
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
patient
?D ?VA))))
Medicine.kif 80-94
Processus
est une
instance
de
Bleeding
AutonomousAgent
exp
�rimente
processus
objet
processus
objet
est une
instance
de
Vein
objet
est une
instance
de
Artery
objet
est une
partie
de
AutonomousAgent
processus
est une
instance
de
endommager
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
objet
est un
patient
de
processus
(=>
(
and
(
instance
?B
Object
)
(
roastedToTemperature
?B ?T))
(
exists
(?H)
(
and
(
instance
?H
Heating
)
(
patient
?H ?B)
(
holdsDuring
(
EndFn
(
WhenFn
?H))
(
measure
?B
(
MeasureFn
?T
CelsiusDegree
))))))
Food.kif 468-478
Nourriture
est une
instance
de
objet
roastedToTemperature
nourriture
and
nombre r�el
processus
processus
est une
instance
de
r�chauffer
nourriture
est un
patient
de
processus
la
mesure
de
nourriture
est
nombre r�el
CelsiusDegree
(s)
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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�
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