possesses
(=>
(
instance
?C
MedicalClinic
)
(
not
(
exists
(?B)
(
and
(
possesses
?C ?B)
(
instance
?B
TemporaryResidence
)))))
Mid-level-ontology.kif 7658-7664
AutonomousAgent
est une
instance
de
MedicalClinic
objet
AutonomousAgent
poss
�de
objet
objet
est une
instance
de
TemporaryResidence
(=>
(
instance
?C
Partnership
)
(
exists
(?H1 ?H2)
(
and
(
instance
?H1
Human
)
(
instance
?H2
Human
)
(
not
(
equal
?H1 ?H2))
(
possesses
?H1 ?C)
(
possesses
?H2 ?C))))
Mid-level-ontology.kif 7216-7224
Objet
est une
instance
de
Partnership
AutonomousAgent
AutonomousAgent
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
est
AutonomousAgent
AutonomousAgent
poss
�de
objet
AutonomousAgent
poss
�de
objet
(=>
(
instance
?C
Proprietorship
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
possesses
?H ?C)
(
not
(
exists
(?H2)
(
and
(
not
(
equal
?H ?H2))
(
possesses
?H2 ?C)))))))
Mid-level-ontology.kif 7308-7318
Objet
est une
instance
de
Proprietorship
AutonomousAgent
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
poss
�de
objet
AutonomousAgent
2
AutonomousAgent
est
AutonomousAgent
2
AutonomousAgent
2
poss
�de
objet
(=>
(
instance
?CHARGE
FinalValueFee
)
(
exists
(?ADVERT ?SELLING ?OWNER ?ITEM ?SITE)
(
and
(
instance
?ADVERT
WebListing
)
(
instance
?SELLING
Selling
)
(
instance
?OWNER
AutonomousAgent
)
(
instance
?ITEM
Physical
)
(
instance
?ADVERT
WebListing
)
(
patient
?ADVERT ?ITEM)
(
patient
?SELLING ?ITEM)
(
causes
?SELLING ?CHARGE)
(
agent
?CHARGE ?OWNER)
(
hostedOn
?ADVERT ?SITE)
(
possesses
?OWNER ?SITE)
(
eCommerceSite
?SELLING ?OWNER))))
UXExperimentalTerms.kif 240-255
Processus
est une
instance
de
FinalValueFee
WebListing
financial transaction
,
AutonomousAgent
,
entit�
and
WebSite
WebListing
est une
instance
de
WebListing
financial transaction
est une
instance
de
vendre
AutonomousAgent
est une
instance
de
AutonomousAgent
entit�
est une
instance
de
physique
WebListing
est une
instance
de
WebListing
entit�
est un
patient
de
WebListing
entit�
est un
patient
de
financial transaction
financial transaction
cause
processus
processus
est un
agent
de
AutonomousAgent
hostedOn
WebListing
and
WebSite
AutonomousAgent
poss
�de
WebSite
eCommerceSite
financial transaction
and
AutonomousAgent
(=>
(
instance
?CHARGE
InsertionFee
)
(
exists
(?SITE ?OWNER ?ADVERT)
(
and
(
instance
?SITE
WebSite
)
(
instance
?OWNER
AutonomousAgent
)
(
instance
?ADVERT
WebListing
)
(
hostedOn
?ADVERT ?SITE)
(
possesses
?OWNER ?SITE)
(
agent
?CHARGE ?OWNER))))
UXExperimentalTerms.kif 209-218
Processus
est une
instance
de
InsertionFee
WebSite
AutonomousAgent
and
WebListing
WebSite
est une
instance
de
WebSite
AutonomousAgent
est une
instance
de
AutonomousAgent
WebListing
est une
instance
de
WebListing
hostedOn
WebListing
and
WebSite
AutonomousAgent
poss
�de
WebSite
processus
est un
agent
de
AutonomousAgent
(=>
(
instance
?D
Dormitory
)
(
exists
(?S)
(
and
(
instance
?S
School
)
(
possesses
?S ?D))))
Mid-level-ontology.kif 6984-6989
Objet
est une
instance
de
Dormitory
AutonomousAgent
AutonomousAgent
est une
instance
de
School
AutonomousAgent
poss
�de
objet
(=>
(
instance
?FD
FoodDistributionOperation
)
(
exists
(?FOOD ?CA)
(
and
(
instance
?FOOD
(
FoodForFn
Animal
))
(
instance
?CA
CognitiveAgent
)
(
patient
?FD ?FOOD)
(
destination
?FD ?CA)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?FD))
(
possesses
?CA ?FOOD)))))
Military.kif 62-71
Processus
est une
instance
de
FoodDistributionOperation
entit�
entit�
entit�
est une
instance
de
FoodForFn
animal
entit�
est une
instance
de
agent cognitif
entit�
est un
patient
de
processus
processus
aboutit
�
entit�
entit�
poss
�de
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
instance
?G
PublicGarden
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
possesses
?GOV ?G))))
Mid-level-ontology.kif 8199-8204
Objet
est une
instance
de
PublicGarden
objet
OV
objet
OV est une
instance
de
gouvernement
objet
OV
poss
�de
objet
(=>
(
instance
?Investment
Investment
)
(
exists
(?Investing ?Agent)
(
and
(
agent
?Investing ?Agent)
(
possesses
?Agent ?Investment))))
FinancialOntology.kif 1771-1776
Objet
est une
instance
de
Investment
processus
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
poss
�de
objet
(=>
(
instance
?L
Library
)
(
exists
(?B ?T)
(
and
(
possesses
?L ?B)
(
instance
?B
LibraryBuilding
)
(
instance
?T
Text
)
(
located
?T ?B))))
Mid-level-ontology.kif 8467-8474
AutonomousAgent
est une
instance
de
Library
objet
physique
AutonomousAgent
poss
�de
objet
objet
est une
instance
de
LibraryBuilding
physique
est une
instance
de
texte
physique
est
situ
� �
objet
(=>
(
instance
?LAR
LARUnit
)
(
exists
(?LAV)
(
and
(
instance
?LAV
LAV
)
(
possesses
?LAR ?LAV))))
MilitaryPersons.kif 532-537
AutonomousAgent
est une
instance
de
LARUnit
objet
objet
est une
instance
de
LAV
AutonomousAgent
poss
�de
objet
(=>
(
instance
?LIST
ListOnSite
)
(
exists
(?SITE ?ADVERT ?EARLIER ?AFTER ?OWNER)
(
and
(
instance
?SITE
WebSite
)
(
instance
?ADVERT
WebListing
)
(
instance
?EARLIER
TimeInterval
)
(
instance
?AFTER
TimeInterval
)
(
patient
?LIST ?ADVERT)
(
equal
(
EndFn
?EARLIER)
(
EndFn
?LIST))
(
earlier
?LIST ?AFTER)
(
meetsTemporally
?LIST ?AFTER)
(
holdsDuring
?EARLIER
(
not
(
hostedOn
?ADVERT ?SITE)))
(
holdsDuring
?AFTER
(
hostedOn
?ADVERT ?SITE))
(
agent
?LIST ?OWNER)
(
possesses
?OWNER ?SITE))))
UXExperimentalTerms.kif 266-286
Interval temporel
est une
instance
de
ListOnSite
objet
entit�
,
interval temporel
,
interval temporel
and
AutonomousAgent
objet
est une
instance
de
WebSite
entit�
est une
instance
de
WebListing
interval temporel
est une
instance
de
interval temporel
interval temporel
est une
instance
de
interval temporel
entit�
est un
patient
de
interval temporel
la
fin
de
interval temporel
est
fin
de
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
interval temporel
rencontre
interval temporel
hostedOn
entit�
and
objet
pendant
interval temporel
hostedOn
entit�
and
objet
pendant
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
AutonomousAgent
poss
�de
objet
(=>
(
instance
?M
ArtMuseum
)
(
exists
(?B ?A)
(
and
(
possesses
?M ?B)
(
instance
?B
Building
)
(
instance
?A
ArtWork
)
(
located
?A ?B))))
Mid-level-ontology.kif 8499-8506
AutonomousAgent
est une
instance
de
ArtMuseum
objet
physique
AutonomousAgent
poss
�de
objet
objet
est une
instance
de
immeuble
physique
est une
instance
de
objet d'art
physique
est
situ
� �
objet
(=>
(
instance
?MM
(
MerchantMarineFn
?AREA))
(
exists
(?REGISTER)
(
and
(
instance
?REGISTER
ShipRegister
)
(
possesses
?AREA ?REGISTER)
(
marineInventory
?MM ?REGISTER))))
Transportation.kif 1113-1119
MerchantMarine
est une
instance
de
MerchantMarineFn
secteur g�opolitique
ShipRegister
ShipRegister
est une
instance
de
ShipRegister
secteur g�opolitique
poss
�de
ShipRegister
marineInventory
MerchantMarine
and
ShipRegister
(=>
(
instance
?MP
AntiArmorPlatoon
)
(
exists
(?MG)
(
and
(
instance
?MG
AntiArmorWeapon
)
(
possesses
?MP ?MG))))
MilitaryPersons.kif 603-608
AutonomousAgent
est une
instance
de
AntiArmorPlatoon
objet
objet
est une
instance
de
AntiArmorWeapon
AutonomousAgent
poss
�de
objet
(=>
(
instance
?MP
HeavyMGPlatoon
)
(
exists
(?MG)
(
and
(
instance
?MG
HeavyMachineGun
)
(
possesses
?MP ?MG))))
MilitaryPersons.kif 619-624
AutonomousAgent
est une
instance
de
HeavyMGPlatoon
objet
objet
est une
instance
de
HeavyMachineGun
AutonomousAgent
poss
�de
objet
(=>
(
instance
?MP
HeavyMGPlatoon
)
(
exists
(?MG)
(
and
(
instance
?MG
MK19
)
(
possesses
?MP ?MG))))
MilitaryPersons.kif 628-633
AutonomousAgent
est une
instance
de
HeavyMGPlatoon
objet
objet
est une
instance
de
MK19
AutonomousAgent
poss
�de
objet
(=>
(
instance
?MP
MortarPlatoon
)
(
exists
(?MG)
(
and
(
instance
?MG
MortarGun
)
(
possesses
?MP ?MG))))
MilitaryPersons.kif 556-561
AutonomousAgent
est une
instance
de
MortarPlatoon
objet
objet
est une
instance
de
MortarGun
AutonomousAgent
poss
�de
objet
(=>
(
instance
?MV
MilitaryVehicle
)
(
and
(
instance
?A
MilitaryForce
)
(
possesses
?A ?MV)
(
capability
MilitaryProcess
patient
?MV)))
Military.kif 197-202
Objet
est une
instance
de
MilitaryVehicle
AutonomousAgent
est une
instance
de
MilitaryForce
AutonomousAgent
poss
�de
objet
objet
est
capable
de faire
processus militaire
dans le r�le
patient
(=>
(
instance
?N
BroadcastNetwork
)
(
exists
(?O)
(
and
(
instance
?O
Organization
)
(
forall
(?M)
(=>
(
member
?M ?N)
(
possesses
?O ?M))))))
Communications.kif 369-377
Collection
est une
instance
de
BroadcastNetwork
AutonomousAgent
AutonomousAgent
est une
instance
de
organisation
objet
objet
est un
membre
de
collection
AutonomousAgent
poss
�de
objet
(=>
(
instance
?P
PublicPark
)
(
exists
(?G)
(
and
(
instance
?G
Government
)
(
possesses
?G ?P))))
Mid-level-ontology.kif 8128-8133
Objet
est une
instance
de
PublicPark
AutonomousAgent
AutonomousAgent
est une
instance
de
gouvernement
AutonomousAgent
poss
�de
objet
(=>
(
instance
?R
Restaurant
)
(
exists
(?D)
(
and
(
possesses
?R ?D)
(
instance
?D
DiningArea
))))
Mid-level-ontology.kif 7297-7302
AutonomousAgent
est une
instance
de
Restaurant
objet
AutonomousAgent
poss
�de
objet
objet
est une
instance
de
DiningArea
(=>
(
instance
?STORE
WebStore
)
(
exists
(?OWNER)
(
and
(
instance
?OWNER
Human
)
(
possesses
?OWNER ?STORE))))
UXExperimentalTerms.kif 2148-2153
Objet
est une
instance
de
WebStore
AutonomousAgent
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
poss
�de
objet
(=>
(
instance
?SVC
SafetyDepositService
)
(
exists
(?SAFE ?KEEP ?OBJ ?AGENT)
(
and
(
serviceProvider
?SVC ?AGENT)
(
instance
?SAFE
SafeContainer
)
(
instance
?KEEP
Keeping
)
(
located
?KEEP ?SAFE)
(
possesses
?AGENT ?SAFE)
(
patient
?KEEP ?OBJ)
(
subProcess
?KEEP ?SVC)
(
not
(
possesses
?AGENT ?OBJ)))))
Hotel.kif 2262-2273
ServiceProcess
est une
instance
de
SafetyDepositService
objet
processus
,
objet
and
agent cognitif
serviceProvider
ServiceProcess
and
agent cognitif
objet
est une
instance
de
SafeContainer
processus
est une
instance
de
garder
processus
est
situ
� �
objet
agent cognitif
poss
�de
objet
objet
est un
patient
de
processus
processus
est un
sous
-processus de
ServiceProcess
agent cognitif
ne
poss
�de %n{pas}
objet
(=>
(
instance
?SVC
ShuttleService
)
(
exists
(?LIST ?VEHICLE ?AGENT)
(
and
(
agent
?SVC ?AGENT)
(
possesses
?AGENT ?VEHICLE)
(
instance
?VEHICLE
Automobile
)
(
instance
?LIST
List
)
(
forall
(?X)
(=>
(
inList
?X ?LIST)
(
and
(
instance
?X
PostalPlace
)
(
exists
(?TRANSPORT)
(
and
(
instance
?TRANSPORT
Transportation
)
(
agent
?TRANSPORT ?AGENT)
(
instrument
?TRANSPORT ?VEHICLE)
(
destination
?TRANSPORT ?X)))))))))
Hotel.kif 2035-2053
Processus
est une
instance
de
ShuttleService
liste
objet
and
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
poss
�de
objet
objet
est une
instance
de
Automobile
liste
est une
instance
de
liste
entit�
entit�
est un
membre
de
liste
entit�
est une
instance
de
PostalPlace
processus
processus
est une
instance
de
transporter
processus
est un
agent
de
AutonomousAgent
objet
est un
instrument
pour
processus
processus
aboutit
�
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