agent
(=>
(
and
(
instance
?Using
UsingAnAccount
)
(
patient
?Using ?Account)
(
accountHolder
?Account ?Agent))
(
agent
?Using ?Agent))
FinancialOntology.kif 311-316
Processus
est une
instance
de
UsingAnAccount
FinancialAccount
est un
patient
de
processus
accountHolder
FinancialAccount
and
agent cognitif
processus
est un
agent
de
agent cognitif
(=>
(
and
(
instance
?W
Wagon
)
(
instance
?T
Transportation
)
(
instrument
?T ?W))
(
exists
(?P)
(
and
(
instance
?T
Pulling
)
(
agent
?T ?P)
(
patient
?T ?W)
(
or
(
instance
?P
DomesticAnimal
)
(
instance
?P
Vehicle
)))))
Transportation.kif 1852-1864
Objet
est une
instance
de
Wagon
processus
est une
instance
de
transporter
objet
est un
instrument
pour
processus
AutonomousAgent
processus
est une
instance
de
Pulling
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
AutonomousAgent
est une
instance
de
DomesticAnimal
AutonomousAgent
est une
instance
de
Vehicle
(=>
(
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
(
instance
?WI
WindInstrument
)
(
instance
?M
MakingInstrumentalMusic
)
(
agent
?M ?A)
(
instrument
?M ?WI))
(
exists
(?B)
(
and
(
instance
?B
Exhaling
)
(
agent
?B ?A)
(
subProcess
?B ?M))))
Music.kif 1203-1213
Objet
est une
instance
de
WindInstrument
processus
est une
instance
de
MakingInstrumentalMusic
processus
est un
agent
de
AutonomousAgent
objet
est un
instrument
pour
processus
processus
processus
est une
instance
de
Exhaling
processus
est un
agent
de
AutonomousAgent
processus
est un
sous
-processus de
processus
(=>
(
and
(
instance
?X
Buffet
)
(
member
?ITEM ?X)
(
located
?X ?LOC1)
(
instance
?E
Eating
)
(
agent
?E ?AGENT)
(
eventLocated
?E ?LOC2)
(
patient
?E ?ITEM))
(
and
(
not
(
equal
?LOC1 ?LOC2))
(
exists
(?G)
(
and
(
instance
?G
Getting
)
(
patient
?G ?ITEM)
(
origin
?G ?LOC1)
(
agent
?G ?AGENT)
(
before
(
WhenFn
?G)
(
WhenFn
?E))))))
Dining.kif 274-291
Collection
est une
instance
de
Buffet
physique
est un
membre
de
collection
collection
est
situ
� �
objet
processus
est une
instance
de
manger
processus
est un
agent
de
AutonomousAgent
eventLocated
processus
and
objet
physique
est un
patient
de
processus
objet
est
objet
processus
processus
est une
instance
de
obtenir
physique
est un
patient
de
processus
processus
a pour
origine
objet
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
se produit
avant
temps
d'existence de
processus
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3718-3759
Objet
est une
instance
de
CarAlarm
objet
est une
instance
de
SelfPoweredRoadVehicle
objet
est une
partie
de
objet
entit�
entit�
,
entit�
and
entit�
objet
a pour
but
entit�
est une
instance
de
Stealing
entit�
est une
instance
de
endommager
entit�
est une
instance
de
humain
entit�
est un
agent
de
entit�
objet
est un
patient
de
entit�
temps
d'existence de
entit�
est
entit�
eventPartlyLocated
entit�
and
entit�
entit�
entit�
est une
instance
de
son irradiant
entit�
est un
agent
de
objet
entit�
cause
entit�
entit�
a pour
but
entit�
entit�
est une
instance
de
humain
entit�
est
Near
�
entit�
pendant
entit�
augmente
la probabilit� de
entit�
conna
�t
entit�
entit�
est une
instance
de
Stealing
entit�
est une
instance
de
endommager
eventPartlyLocated
entit�
and
entit�
objet
est un
patient
de
entit�
pendant
entit�
temps
d'existence de
entit�
finit
temps
d'existence de
entit�
(=>
(
and
(
instance
?X
ContentBearingObject
)
(
attribute
?X
Braille
))
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
attribute
?H
Blind
)
(
capability
Interpreting
agent
?H)
(
capability
Interpreting
patient
?X))))
Dining.kif 244-253
Objet
est une
instance
de
objet exprimant un sens
Braille
est un
attribut
de
objet
objet
objet
est une
instance
de
humain
Blind
est un
attribut
de
objet
objet
est
capable
de faire
Interpreting
dans le r�le
agent
objet
est
capable
de faire
Interpreting
dans le r�le
patient
(=>
(
and
(
instance
?X
Respirator
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?X))
(
hasPurpose
?X
(
exists
(?INHAL ?INJ ?PROTECT ?I)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?X)
(
prevents
?PROTECT ?INJ)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
patient
?I ?H)
(
instance
?INHAL
Inhaling
)
(
agent
?INHAL ?H)
(
causes
?I ?INHAL))))))))))
Cars.kif 3539-3560
WearableItem
est une
instance
de
Respirator
animal
est une
instance
de
animal
animal
porte
WearableItem
WearableItem
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
processus
WearableItem
est un
instrument
pour
entit�
entit�
previent
l'occurrence de
entit�
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
(=>
(
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 16541-16553
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
(
listingBuyer
?LISTING ?BUYER)
(
instance
?OBJ
Object
)
(
instance
?SITE
WebSite
)
(
patient
?LISTING ?OBJECT)
(
hostedOn
?LISTING ?SITE))
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
eCommerceSite
?BUYING ?SITE)
(
agent
?BUYING ?BUYER))))
UXExperimentalTerms.kif 86-98
listingBuyer
WebListing
and
AutonomousAgent
entit�
est une
instance
de
objet
WebSite
est une
instance
de
WebSite
entit�
ECT est un
patient
de
WebListing
hostedOn
WebListing
and
WebSite
financial transaction
financial transaction
est une
instance
de
acheter
entit�
est un
patient
de
financial transaction
eCommerceSite
financial transaction
and
WebSite
financial transaction
est un
agent
de
AutonomousAgent
(=>
(
and
(
negotiatedPrice
?ENT ?PRICE ?AGREE)
(
partyToAgreement
?SELLER ?AGREE)
(
partyToAgreement
?BUYER ?AGREE))
(
agreementClause
(
exists
(?B ?ITEM)
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
immediateInstance
?ITEM ?ENT)
(
agent
?B ?BUYER)
(
origin
?B ?SELLER)
(
transactionAmount
?B ?PRICE)))
Obligation
?AGREE ?SELLER))
Catalog.kif 311-324
negotiatedPrice
physique
,
mesure de devise
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
agreementClause
entit�
entit�
entit�
est une
instance
de
acheter
entit�
est un
patient
de
entit�
entit�
est une
instance
imm�diate de
physique
entit�
est un
agent
de
agent cognitif
entit�
a pour
origine
agent cognitif
transactionAmount
entit�
and
mesure de devise
,
Obligation
,
Agreement
and
agent cognitif
(=>
(
and
(
negotiatedPrice
?ENT ?PRICE ?AGREE)
(
partyToAgreement
?SELLER ?AGREE)
(
partyToAgreement
?BUYER ?AGREE))
(
modalAttribute
(
exists
(?S ?ITEM)
(
and
(
instance
?S
Selling
)
(
patient
?S ?ITEM)
(
immediateInstance
?ITEM ?ENT)
(
agent
?S ?SELLER)
(
destination
?S ?BUYER)
(
transactionAmount
?S ?PRICE)))
Promise
))
Catalog.kif 276-289
negotiatedPrice
physique
,
mesure de devise
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
l'argument
entit�
entit�
entit�
est une
instance
de
vendre
entit�
est un
patient
de
entit�
entit�
est une
instance
imm�diate de
physique
entit�
est un
agent
de
agent cognitif
entit�
aboutit
�
agent cognitif
transactionAmount
entit�
and
mesure de devise
a la
force
modale
de
Promise
(=>
(
and
(
offers
?AGENT ?ATTR)
(
instance
?ATTR
Attribute
))
(
modalAttribute
(
exists
(?OBJ ?SELL)
(
and
(
instance
?SELL
Selling
)
(
attribute
?OBJ ?ATTR)
(
patient
?SELL ?OBJ)
(
agent
?SELL ?AGENT)))
Possibility
))
Catalog.kif 109-119
offers
AutonomousAgent
and
abstrait
abstrait
est une
instance
de
attribut
l'argument
entit�
entit�
entit�
est une
instance
de
vendre
abstrait
est un
attribut
de
entit�
entit�
est un
patient
de
entit�
entit�
est un
agent
de
AutonomousAgent
a la
force
modale
de
Possibility
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINST ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINST ?OBJ))
(
capability
?PROCESS
agent
?AGENT))
Catalog.kif 98-107
offers
AutonomousAgent
and
Catalog
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
objet
processus
est une
instance
de
processus
processus
est une
sous
-classe de
processus
entit�
est une
instance
de
entit�
entit�
est un
patient
de
processus
AutonomousAgent
est
capable
de faire
processus
dans le r�le
agent
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
))
(
capability
?CLASS
agent
?AGENT))
Catalog.kif 88-93
offers
AutonomousAgent
and
Catalog
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
processus
AutonomousAgent
est
capable
de faire
entit�
dans le r�le
agent
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?OBJ ?CATALOG)
(
subclass
?OBJ
Physical
))
(
modalAttribute
(
exists
(?S ?X)
(
and
(
instance
?X ?OBJ)
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?X)))
Possibility
))
Catalog.kif 51-62
offers
AutonomousAgent
and
Catalog
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
physique
l'argument
entit�
entit�
entit�
est une
instance
de
entit�
entit�
est une
instance
de
vendre
entit�
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
entit�
a la
force
modale
de
Possibility
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?PROP ?CATALOG)
(
subclass
?PROP
Proposition
))
(
modalAttribute
(
exists
(?P ?S ?X)
(
and
(
instance
?P ?PROP)
(
realization
?X ?P)
(
instance
?S
Selling
)
(
patient
?S ?X)
(
agent
?S ?AGENT)))
Possibility
))
Catalog.kif 64-76
offers
AutonomousAgent
and
Catalog
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
proposition
l'argument
entit�
entit�
and
entit�
entit�
est une
instance
de
entit�
entit�
exprime
le contenu de
entit�
entit�
est une
instance
de
vendre
entit�
est un
patient
de
entit�
entit�
est un
agent
de
AutonomousAgent
a la
force
modale
de
Possibility
(=>
(
and
(
offers
?HOTEL ?MP)
(
instance
?MP
MealPlan
)
(
includedMeal
?MP ?ATTR)
(
attribute
?HOTEL
TravelerAccommodation
)
(
guest
?GUEST ?HOTEL)
(
buys
?GUEST ?HOTEL ?MP))
(
holdsDuring
(
WhenFn
(
guest
?GUEST ?HOTEL))
(
exists
(?TI)
(
holdsDuring
?TI
(
exists
(?MEAL)
(
and
(
attribute
?MEAL ?ATTR)
(
hasPurpose
?MEAL
(
exists
(?E)
(
and
(
instance
?E
Eating
)
(
agent
?E ?GUEST)
(
patient
?E ?MEAL))))))))))
Hotel.kif 1558-1578
offers
AutonomousAgent
and
MealPlan
MealPlan
est une
instance
de
MealPlan
includedMeal
MealPlan
and
attribut relationnel
TravelerAccommodation
est un
attribut
de
AutonomousAgent
guest
agent cognitif
and
AutonomousAgent
buys
agent cognitif
,
AutonomousAgent
and
MealPlan
entit�
entit�
attribut relationnel
est un
attribut
de
entit�
entit�
a pour
but
entit�
entit�
est une
instance
de
manger
entit�
est un
agent
de
agent cognitif
entit�
est un
patient
de
entit�
pendant
entit�
pendant
temps
d'existence de
guest
agent cognitif
and
AutonomousAgent
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINSTANCE ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINSTANCE ?OBJ)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?PROCESS
agent
?AGENT ?TIME))
Catalog.kif 139-150
offersAtTime
AutonomousAgent
,
Catalog
and
interval temporel
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
objet
processus
est une
instance
de
processus
processus
est une
sous
-classe de
processus
entit�
est une
instance
de
entit�
entit�
est un
patient
de
processus
interval temporel
est une
instance
de
interval temporel
interval temporel
est une
sous
-classe de
interval temporel
capabilityDuring
processus
,
agent
,
AutonomousAgent
and
interval temporel
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Process
)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?CLASS
agent
?AGENT ?TIME))
Catalog.kif 130-137
offersAtTime
AutonomousAgent
,
Catalog
and
interval temporel
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
processus
interval temporel
est une
instance
de
interval temporel
interval temporel
est une
sous
-classe de
interval temporel
capabilityDuring
entit�
,
agent
,
AutonomousAgent
and
interval temporel
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validFor
?PS ?CUSTCLASS)
(
instance
?CUSTOMER ?CUSTCLASS))
(
modalAttribute
(=>
(
and
(
instance
?B
Buying
)
(
agent
?B ?CUSTOMER)
(
origin
?B ?AGENT)
(
patient
?B ?ITEM))
(
transactionAmount
?B ?PRICE))
Likely
))
Catalog.kif 354-370
publishedPrice
entit�
,
mesure de devise
,
agent cognitif
and
PricingScheme
unitPrice
entit�
,
function de quantit�
,
agent cognitif
and
PricingScheme
entit�
est une
sous
-classe de
physique
entit�
est une
instance
imm�diate de
entit�
validFor
PricingScheme
and
AutonomousAgent
entit�
est une
instance
de
AutonomousAgent
l'argument
entit�
est une
instance
de
acheter
entit�
est un
agent
de
entit�
entit�
a pour
origine
agent cognitif
entit�
est un
patient
de
entit�
transactionAmount
entit�
and
mesure de devise
a la
force
modale
de
Likely
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validityPeriod
?PS ?TIMEINT))
(
holdsDuring
?TIMEINT
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?ITEM))
(
transactionAmount
?S ?PRICE))
Likely
)))
Catalog.kif 372-387
publishedPrice
entit�
,
mesure de devise
,
agent cognitif
and
PricingScheme
unitPrice
entit�
,
function de quantit�
,
agent cognitif
and
PricingScheme
entit�
est une
sous
-classe de
physique
entit�
est une
instance
imm�diate de
entit�
validityPeriod
PricingScheme
and
interval temporel
l'argument
entit�
est une
instance
de
vendre
entit�
est un
agent
de
agent cognitif
entit�
est un
patient
de
entit�
transactionAmount
entit�
and
mesure de devise
a la
force
modale
de
Likely
pendant
interval temporel
(=>
(
and
(
passenger
?PROC ?PASS)
(
instance
?V
Vehicle
)
(
instrument
?PROC ?V))
(
not
(
exists
(?G)
(
and
(
during
(
WhenFn
?G)
(
WhenFn
?PROC))
(
instance
?G
Guiding
)
(
agent
?G ?PASS)
(
instrument
?G ?V)))))
Mid-level-ontology.kif 30760-30771
passenger
transf�re
and
AutonomousAgent
objet
est une
instance
de
Vehicle
objet
est un
instrument
pour
transf�re
processus
temps
d'existence de
processus
prend place
pendant
temps
d'existence de
transf�re
processus
est une
instance
de
guider
processus
est un
agent
de
AutonomousAgent
objet
est un
instrument
pour
processus
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsRight
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Agent))
FinancialOntology.kif 2669-2685
Agreement
a un
attribute
Option
optionHolder
Agreement
and
agent cognitif
strikePrice
Agreement
and
mesure de devise
agreementExpirationDate
Agreement
and
interval temporel
price
FinancialInstrument
,
mesure de devise
and
AutonomousAgent
AutonomousAgent
est une
instance
de
interval temporel
la
fin
de
AutonomousAgent
se produit
avant
le
d
�but de
interval temporel
underlier
Agreement
and
FinancialInstrument
agent cognitif
a le
droit
d'executer la
classe
d�crite par
cha�ne sympbolique
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsRight
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2623-2639
Agreement
a un
attribute
Option
optionHolder
Agreement
and
agent cognitif
strikePrice
Agreement
and
mesure de devise
agreementExpirationDate
Agreement
and
interval temporel
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
mesure de devise
and
AutonomousAgent
AutonomousAgent
est une
instance
de
interval temporel
la
fin
de
AutonomousAgent
se produit
avant
le
d
�but de
interval temporel
agent cognitif
a le
droit
d'executer la
classe
d�crite par
cha�ne sympbolique
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