possesses
(=>
(
and
(
instance
?T
Trespassing
)
(
agent
?T ?H)
(
patient
?T ?P))
(
and
(
not
(
possesses
?H ?P))
(
modalAttribute
(
located
?H ?P)
Illegal
)))
Mid-level-ontology.kif 18291-18301
Processus
est une
instance
de
Trespassing
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
AutonomousAgent
ne
poss
�de %n{pas}
objet
l'argument
AutonomousAgent
est
situ
� �
objet
a la
force
modale
de
Illegal
(=>
(
and
(
instance
?UNIT
ApartmentUnit
)
(
home
?PERSON ?UNIT))
(
not
(
possesses
?PERSON ?UNIT)))
Mid-level-ontology.kif 6871-6875
PermanentResidence
est une
instance
de
ApartmentUnit
le
domicile
de
humain
est
PermanentResidence
humain
ne
poss
�de %n{pas}
PermanentResidence
(=>
(
and
(
instance
?X
PhotocopyingService
)
(
serviceProvider
?X ?AGENT))
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE
Photocopier
)
(
possesses
?AGENT ?DEVICE)
(
instrument
?X ?DEVICE))))
Hotel.kif 2138-2146
ServiceProcess
est une
instance
de
PhotocopyingService
serviceProvider
ServiceProcess
and
agent cognitif
objet
objet
est une
instance
de
Photocopier
agent cognitif
poss
�de
objet
objet
est un
instrument
pour
ServiceProcess
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30956-30971
shortage
agent cognitif
,
objet
,
mesure de devise
,
interval temporel
and
quantit�
quantit�
est une
instance
de
nombre entier
agent cognitif
desire
entit�
entit�
entit�
est une
instance
de
acheter
temps
d'existence de
entit�
prend place
pendant
interval temporel
objectTransferred
entit�
and
entit�
transactionAmount
entit�
and
mesure de devise
entit�
est un
agent
de
agent cognitif
entit�
est une
instance
de
collection
memberType
entit�
and
objet
memberCount
entit�
and
quantit�
agent cognitif
poss
�de
entit�
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?G)
(
and
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30898-30908
shortage
agent cognitif
,
objet
,
mesure de devise
,
interval temporel
and
quantit�
quantit�
est une
instance
de
nombre entier
agent cognitif
desire
entit�
entit�
est une
instance
de
collection
memberType
entit�
and
objet
memberCount
entit�
and
quantit�
agent cognitif
poss
�de
entit�
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30923-30938
shortage
AutonomousAgent
,
objet
,
mesure de devise
,
interval temporel
and
nombre entier
nombre entier
est une
instance
de
nombre entier
transf�re
collection
transf�re
est une
instance
de
acheter
temps
d'existence de
transf�re
prend place
pendant
interval temporel
objectTransferred
transf�re
and
collection
transactionAmount
transf�re
and
mesure de devise
transf�re
est un
agent
de
AutonomousAgent
collection
est une
instance
de
collection
memberType
collection
and
objet
memberCount
collection
and
nombre entier
AutonomousAgent
poss
�de
collection
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30973-30987
shortage
agent cognitif
,
objet
,
mesure de devise
,
interval temporel
and
quantit�
quantit�
est une
instance
de
quantit� physique
agent cognitif
desire
entit�
entit�
entit�
est une
instance
de
acheter
temps
d'existence de
entit�
prend place
pendant
interval temporel
objectTransferred
entit�
and
entit�
transactionAmount
entit�
and
mesure de devise
entit�
est un
agent
de
agent cognitif
entit�
est une
instance
de
objet
la
mesure
de
entit�
est
quantit�
agent cognitif
poss
�de
entit�
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?G)
(
and
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30912-30921
shortage
agent cognitif
,
objet
,
mesure de devise
,
interval temporel
and
quantit�
quantit�
est une
instance
de
quantit� physique
agent cognitif
desire
entit�
entit�
est une
instance
de
objet
la
mesure
de
entit�
est
quantit�
agent cognitif
poss
�de
entit�
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30940-30954
shortage
AutonomousAgent
,
objet
,
mesure de devise
,
interval temporel
and
quantit� physique
quantit� physique
est une
instance
de
quantit� physique
transf�re
objet
transf�re
est une
instance
de
acheter
temps
d'existence de
transf�re
prend place
pendant
interval temporel
objectTransferred
transf�re
and
objet
transactionAmount
transf�re
and
mesure de devise
transf�re
est un
agent
de
AutonomousAgent
objet
est une
instance
de
objet
la
mesure
de
objet
est
quantit� physique
AutonomousAgent
poss
�de
objet
(=>
(
and
(
wants
?AGENT ?OBJ)
(
instance
?OBJ
Object
))
(
desires
?AGENT
(
possesses
?AGENT ?OBJ)))
Merge.kif 2777-2782
Agent cognitif
veut
physique
physique
est une
instance
de
objet
agent cognitif
desire
agent cognitif
poss
�de
physique
(=>
(
attribute
?Agent
Investor
)
(
exists
(?Investment)
(
and
(
instance
?Investment
Investment
)
(
possesses
?Agent ?Investment))))
FinancialOntology.kif 1786-1791
Investor
est un
attribut
de
AutonomousAgent
objet
objet
est une
instance
de
Investment
AutonomousAgent
poss
�de
objet
(=>
(
attribute
?X
PassengerCarRental
)
(
hasPurpose
?X
(
exists
(?RENT ?CAR ?CUST)
(
and
(
customer
?CUST ?X)
(
instance
?CAR
Automobile
)
(
instance
?RENT
Renting
)
(
possesses
?X ?CAR)
(
agent
?RENT ?CUST)))))
naics.kif 9711-9720
PassengerCarRental
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
and
entit�
customer
entit�
and
objet
entit�
est une
instance
de
Automobile
entit�
est une
instance
de
Renting
objet
poss
�de
entit�
entit�
est un
agent
de
entit�
(=>
(
dayPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 6)
(
lessThan
?Num 18)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3691-3711
dayPhone
cha�ne sympbolique
and
AutonomousAgent
Telephone
entit�
and
nombre r�el
phoneNumber
cha�ne sympbolique
and
Telephone
nombre r�el
est
plus
grand
que 6
nombre r�el
est
moins
que 18
entit�
entit�
est une
instance
de
Telephoning
entit�
aboutit
�
AutonomousAgent
Telephone
est un
patient
de
entit�
AutonomousAgent
poss
�de
Telephone
l'argument
entit�
entit�
est une
instance
de
Answering
entit�
est un
sous
-processus de
entit�
entit�
est un
agent
de
AutonomousAgent
a la
force
modale
de
Likely
pendant
entit�
est une
instance
de l'
heure
nombre r�el
(=>
(
dependentGeopoliticalArea
?AREA ?COUNTRY)
(
possesses
?COUNTRY ?AREA))
Government.kif 469-471
dependentGeopoliticalArea
secteur g�opolitique
and
secteur g�opolitique
secteur g�opolitique
poss
�de
secteur g�opolitique
(=>
(
dislikes
?AGENT ?OBJECT)
(
desires
?AGENT
(
not
(
possesses
?AGENT ?OBJECT))))
Mid-level-ontology.kif 7432-7434
dislikes
agent cognitif
and
objet
agent cognitif
desire
agent cognitif
ne
poss
�de %n{pas}
objet
(=>
(
element
?OBJ
(
PropertyFn
?PERSON))
(
possesses
?PERSON ?OBJ))
Merge.kif 4280-4283
Objet
est un
appartenir
�
AutonomousAgent
AutonomousAgent
poss
�de
objet
(=>
(
eveningPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 18)
(
lessThan
?Num 6)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3735-3755
eveningPhone
cha�ne sympbolique
and
AutonomousAgent
Telephone
entit�
and
nombre r�el
phoneNumber
cha�ne sympbolique
and
Telephone
nombre r�el
est
plus
grand
que 18
nombre r�el
est
moins
que 6
entit�
entit�
est une
instance
de
Telephoning
entit�
aboutit
�
AutonomousAgent
Telephone
est un
patient
de
entit�
AutonomousAgent
poss
�de
Telephone
l'argument
entit�
entit�
est une
instance
de
Answering
entit�
est un
sous
-processus de
entit�
entit�
est un
agent
de
AutonomousAgent
a la
force
modale
de
Likely
pendant
entit�
est une
instance
de l'
heure
nombre r�el
(=>
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
instance
?DEVICE
MobileCellPhone
)
(
mobilePhoneNumber
?NUMBER ?AGENT)))
(
holdsDuring
?TIME
(
possesses
?AGENT ?DEVICE)))
Mid-level-ontology.kif 25142-25148
deviceTelecomNumber
entit�
and
entit�
entit�
est une
instance
de
MobileCellPhone
mobilePhoneNumber
entit�
and
entit�
pendant
position temporel
entit�
poss
�de
entit�
pendant
position temporel
(=>
(
holdsDuring
?TIME
(
attribute
?SLAVE
HumanSlave
))
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
not
(
equal
?PERSON ?SLAVE))
(
holdsDuring
?TIME
(
possesses
?PERSON ?SLAVE)))))
Mid-level-ontology.kif 176-183
HumanSlave
est un
attribut
de
entit�
pendant
position temporel
entit�
entit�
est une
instance
de
humain
entit�
est
entit�
entit�
poss
�de
entit�
pendant
position temporel
(=>
(
holdsDuring
?TIME
(
lacks
?AGENT ?OBJECT))
(
holdsDuring
?TIME
(
not
(
possesses
?AGENT ?OBJECT))))
Mid-level-ontology.kif 7453-7458
lacks
entit�
and
entit�
pendant
position temporel
entit�
ne
poss
�de %n{pas}
entit�
pendant
position temporel
(=>
(
instance
?AAU
AssaultAmphibianUnit
)
(
exists
(?AAV)
(
and
(
instance
?AAV
AAV
)
(
possesses
?AAU ?AAV))))
MilitaryPersons.kif 642-647
AutonomousAgent
est une
instance
de
AssaultAmphibianUnit
objet
objet
est une
instance
de
AAV
AutonomousAgent
poss
�de
objet
(=>
(
instance
?AB
ArtilleryBattery
)
(
exists
(?AC)
(
and
(
instance
?AC
ArtilleryCannon
)
(
possesses
?AB ?AC))))
MilitaryPersons.kif 494-499
AutonomousAgent
est une
instance
de
ArtilleryBattery
objet
objet
est une
instance
de
ArtilleryCannon
AutonomousAgent
poss
�de
objet
(=>
(
instance
?AB
InfantryUnit
)
(
exists
(?AC)
(
and
(
or
(
instance
?AC
AutomaticGun
)
(
instance
?AC
Firearm
)
(
instance
?AC
MortarGun
)
(
instance
?AC
ExplosiveMine
))
(
possesses
?AB ?AC))))
Military.kif 676-685
AutonomousAgent
est une
instance
de
InfantryUnit
objet
objet
est une
instance
de
AutomaticGun
objet
est une
instance
de
Firearm
objet
est une
instance
de
MortarGun
objet
est une
instance
de
ExplosiveMine
AutonomousAgent
poss
�de
objet
(=>
(
instance
?AIRLINE
Airline
)
(
exists
(?FLEET ?AIRCRAFT)
(
and
(
instance
?FLEET
Fleet
)
(
possesses
?AIRLINE ?FLEET)
(
instance
?AIRCRAFT
Aircraft
)
(
member
?AIRCRAFT ?FLEET))))
Transportation.kif 3323-3330
AutonomousAgent
est une
instance
de
Airline
collection
physique
collection
est une
instance
de
Fleet
AutonomousAgent
poss
�de
collection
physique
est une
instance
de
Aircraft
physique
est un
membre
de
collection
(=>
(
instance
?C
CruiseShip
)
(
hasPurpose
?C
(
exists
(?E ?A ?O)
(
and
(
instance
?E
RecreationOrExercise
)
(
possesses
?O ?C)
(
agent
?E ?A)
(
customer
?O ?A)
(
eventLocated
?E ?C)))))
Transportation.kif 2471-2480
Physique
est une
instance
de
CruiseShip
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
r�cr�ation ou exercice
entit�
poss
�de
physique
entit�
est un
agent
de
entit�
customer
entit�
and
entit�
eventLocated
entit�
and
physique
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