possesses
(=>
(
and
(
instance
?P
Passport
)
(
possesses
?A ?P))
(
confersNorm
?P
(
exists
(?T ?N1 ?N2)
(
and
(
instance
?T
Translocation
)
(
agent
?T ?A)
(
origin
?T ?N1)
(
destination
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))))
Permission
))
Mid-level-ontology.kif 16561-16575
Objet
est une
instance
de
Passport
AutonomousAgent
poss
�de
objet
confersNorm
objet
,
entit�
entit�
and
entit�
entit�
est une
instance
de
Translocation
entit�
est un
agent
de
AutonomousAgent
entit�
a pour
origine
entit�
entit�
aboutit
�
entit�
entit�
est une
instance
de
nation
entit�
est une
instance
de
nation
entit�
est
entit�
and
Permission
(=>
(
and
(
instance
?REGISTRATION
ShipRegistration
)
(
instance
?SHIP
Ship
)
(
possesses
?SHIP ?REGISTRATION)
(
instance
?AREA
GeopoliticalArea
)
(
flagState
?SHIP ?AREA))
(
subsumesContentInstance
(
ShipRegisterFn
?AREA) ?REGISTRATION))
Transportation.kif 1097-1104
Objet
est une
instance
de
ShipRegistration
AutonomousAgent
est une
instance
de
Ship
AutonomousAgent
poss
�de
objet
secteur g�opolitique
est une
instance
de
secteur g�opolitique
flagState
AutonomousAgent
and
secteur g�opolitique
ShipRegisterFn
secteur g�opolitique
classe
le contenu de
objet
(=>
(
and
(
instance
?REST
Restaurant
)
(
instance
?DR
DiningRoom
)
(
attribute
?DR
PrivateAttribute
)
(
possesses
?REST ?DR)
(
customer
?GRP1 ?REST)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
))
(
modalAttribute
(
not
(
exists
(?GRP2 ?E2)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1227-1246
AutonomousAgent
est une
instance
de
Restaurant
objet
est une
instance
de
DiningRoom
PrivateAttribute
est un
attribut
de
objet
AutonomousAgent
poss
�de
objet
customer
agent cognitif
and
AutonomousAgent
processus
est une
instance
de
manger
processus
est un
agent
de
agent cognitif
agent cognitif
est une
instance
de
GroupOfPeople
l'argument
entit�
entit�
customer
entit�
and
AutonomousAgent
agent cognitif
est
entit�
entit�
est une
instance
de
manger
entit�
est un
agent
de
entit�
eventLocated
entit�
and
objet
pendant
temps
d'existence de
processus
a la
force
modale
de
Likely
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
AutonomousAgent
est une
instance
de
Ticket
AutonomousAgent
poss
�de
objet
issuedBy
AutonomousAgent
and
agent cognitif
AmusementGamblingAndRecreationIndustries
est un
attribut
de
agent cognitif
agent cognitif
est
situ
� �
objet
confersNorm
agent cognitif
,
entit�
entit�
est une
instance
de
r�cr�ation ou exercice
objet
exp
�rimente
entit�
eventLocated
entit�
and
objet
and
Permission
(=>
(
and
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
?TIME
(
possesses
?AGENT2 ?OBJ)))
(
equal
?AGENT1 ?AGENT2))
Merge.kif 4265-4270
Position temporel
est une
instance
de
position temporel
entit�
poss
�de
entit�
pendant
position temporel
entit�
poss
�de
entit�
pendant
position temporel
entit�
est
entit�
(=>
(
and
(
instance
?UNIT
SingleFamilyResidence
)
(
home
?PERSON ?UNIT)
(
possesses
?PERSON ?UNIT)
(
not
(
instance
?UNIT
Building
)))
(
instance
?UNIT
CondominiumUnit
))
Mid-level-ontology.kif 6921-6927
PermanentResidence
est une
instance
de
SingleFamilyResidence
le
domicile
de
humain
est
PermanentResidence
humain
poss
�de
PermanentResidence
PermanentResidence
est une
instance
de
immeuble
PermanentResidence
est une
instance
de
CondominiumUnit
(=>
(
and
(
instance
?WEAPON
BiochemicalWeapon
)
(
possesses
?AGENT ?WEAPON))
(
capability
BiochemicalAttack
agent
?AGENT))
WMD.kif 51-55
Objet
est une
instance
de
BiochemicalWeapon
AutonomousAgent
poss
�de
objet
AutonomousAgent
est
capable
de faire
BiochemicalAttack
dans le r�le
agent
(=>
(
and
(
issuedBy
?TICKET ?AGENT)
(
instance
?TICKET
Ticket
)
(
possesses
?CUST ?TICKET))
(
confersNorm
?AGENT
(
exists
(?T)
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
agent
?P ?AGENT)
(
experiencer
?P ?CUST)))))
Permission
))
Mid-level-ontology.kif 16542-16554
issuedBy
certificat
and
agent cognitif
certificat
est une
instance
de
Ticket
AutonomousAgent
poss
�de
certificat
confersNorm
agent cognitif
,
entit�
entit�
entit�
est une
instance
de
processus
entit�
est un
agent
de
agent cognitif
AutonomousAgent
exp
�rimente
entit�
pendant
entit�
and
Permission
(=>
(
and
(
paidFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 871-897
paidFunctionRoomAmenity
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
aboutit
�
agent cognitif
objet
est une
instance
de
physique
AutonomousAgent
poss
�de
objet
customer
agent cognitif
and
AutonomousAgent
objet
est une
instance
de
processus
objet
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
objet
AutonomousAgent
poss
�de
objet
objet
est une
instance
de
objet
agent cognitif
utilise
objet
nombre r�el
unit� de mesure
price
objet
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
nombre r�el
est
plus
grand
que 0
(=>
(
and
(
paidPropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 569-589
paidPropertyAmenity
AutonomousAgent
and
physique
processus
est une
instance
de
physique
customer
agent cognitif
and
AutonomousAgent
processus
est une
instance
de
processus
processus
est un
agent
de
agent cognitif
agent cognitif
exp
�rimente
processus
AutonomousAgent
poss
�de
processus
processus
est une
instance
de
objet
agent cognitif
utilise
processus
nombre r�el
unit� de mesure
price
processus
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
nombre r�el
est
plus
grand
que 0
(=>
(
and
(
possesses
?Agent ?Stocks)
(
measure
?Stocks
(
MeasureFn
?Number
ShareUnit
))
(
splitFor
?Event ?N1 ?N2))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Event))
(
and
(
equal
?N3
(
MultiplicationFn
?Number ?N2))
(
equal
?NewNumber
(
DivisionFn
?N3 ?N1))
(
measure
?Stocks
(
MeasureFn
?NewNumber
ShareUnit
)))))
FinancialOntology.kif 2229-2239
AutonomousAgent
poss
�de
objet
la
mesure
de
objet
est
nombre r�el
ShareUnit
(s)
splitFor
StockSplit
,
nombre entier
and
nombre entier
entit�
est
nombre r�el
+
nombre entier
entit�
est
entit�
+
nombre entier
la
mesure
de
objet
est
entit�
ShareUnit
(s)
pendant
immediatement
apr
�s
temps
d'existence de
StockSplit
(=>
(
and
(
possesses
?BUS ?PARK)
(
instance
?BUS
CommercialAgent
)
(
instance
?PARK
ParkingLot
)
(
instance
?BLDG
Building
)
(
located
?BUS ?BLDG)
(
customer
?BUS ?CUST)
(
holdsDuring
?T
(
located
?CUST ?BLDG))
(
instance
?DRIVE
Driving
)
(
patient
?DRIVE ?VEHICLE)
(
agent
?DRIVE ?CUST)
(
destination
?DRIVE ?BLDG))
(
holdsDuring
?T
(
confersRight
(
and
(
instance
?PUT
Keeping
)
(
destination
?PUT ?PARK)
(
patient
?PUT ?VEHICLE)) ?BUS ?CUST)))
TransportDetail.kif 102-121
Agent cognitif
poss
�de
objet
agent cognitif
est une
instance
de
CommercialAgent
objet
est une
instance
de
ParkingLot
objet
est une
instance
de
immeuble
agent cognitif
est
situ
� �
objet
customer
agent cognitif
and
AutonomousAgent
AutonomousAgent
est
situ
� �
objet
pendant
position temporel
processus
est une
instance
de
conduire
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
objet
agent cognitif
autorise
AutonomousAgent
� ex�cut� des t�ches du type
entit�
est une
instance
de
garder
entit�
aboutit
�
objet
entit�
est un
patient
de
entit�
pendant
position temporel
(=>
(
and
(
riskTolerance
?Agent ?Level)
(
instance
?Investment
Investment
)
(
possesses
?Agent ?Investment))
(
riskLevel
?Investment ?Level))
FinancialOntology.kif 3490-3495
riskTolerance
AutonomousAgent
and
RiskAttribute
objet
est une
instance
de
Investment
AutonomousAgent
poss
�de
objet
riskLevel
objet
and
RiskAttribute
(=>
(
possesses
?PERSON ?OBJ)
(
element
?OBJ
(
PropertyFn
?PERSON)))
Merge.kif 4285-4288
AutonomousAgent
poss
�de
objet
objet
est un
appartenir
�
AutonomousAgent
(=>
(
possesses
?PERSON ?OBJ)
(
modalAttribute
(
uses
?OBJ ?PERSON)
Permission
))
Merge.kif 4253-4255
AutonomousAgent
poss
�de
objet
l'argument
AutonomousAgent
utilise
objet
a la
force
modale
de
Permission
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