destination
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
expects
?ORG
(
exists
(?FT)
(
and
(
instance
?FT
FinancialTransaction
)
(
agent
?FT ?ORG)
(
destination
?FT ?PERSON)
(
earlier
(
WhenFn
?JOIN)
(
WhenFn
?FT))))))
Merge.kif 10631-10643
Processus
est une
instance
de
engager
agent cognitif
est une
instance
de
organisation
processus
est un
agent
de
agent cognitif
entit�
est un
patient
de
processus
expects
agent cognitif
and
entit�
entit�
est une
instance
de
financial transaction
entit�
est un
agent
de
agent cognitif
entit�
aboutit
�
entit�
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
entit�
(=>
(
and
(
instance
?Loan
BalloonLoan
)
(
maturityDate
?Loan ?Date)
(
totalBalance
?Loan ?Amount)
(
borrower
?Loan ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
date
?Payment ?Date)
(
transactionAmount
?Payment ?Amount)
(
destination
?Payment
(
CurrencyFn
?Loan)))) ?Agent))
FinancialOntology.kif 1411-1421
Loan
est une
instance
de
BalloonLoan
maturityDate
Loan
and
jour
totalBalance
Loan
and
mesure de devise
borrower
Loan
and
agent cognitif
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
and
(
instance
?Loan
CallableLoan
)
(
lender
?Loan ?Lender)
(
borrower
?Loan ?Borrower)
(
totalBalance
?Loan ?Amount)
(
instance
?Call
Call
)
(
agent
?Call ?Lender)
(
patient
?Call ?Loan))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
destination
?Payment ?Lender)
(
time
?Payment
(
ImmediateFutureFn
(
WhenFn
?Call)))
(
transactionAmount
?Payment ?Amount))) ?Borrower))
FinancialOntology.kif 1428-1443
Loan
est une
instance
de
CallableLoan
lender
Loan
and
agent cognitif
borrower
Loan
and
agent cognitif
totalBalance
Loan
and
mesure de devise
processus
est une
instance
de
Call
processus
est un
agent
de
agent cognitif
Loan
est un
patient
de
processus
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
and
(
instance
?OCCUPATION
SkilledOccupation
)
(
attribute
?PERSON ?OCCUPATION))
(
exists
(?TRAINING)
(
and
(
instance
?TRAINING
EducationalProcess
)
(
destination
?TRAINING ?PERSON))))
Mid-level-ontology.kif 8264-8271
Attribut
est une
instance
de
SkilledOccupation
attribut
est un
attribut
de
objet
processus
processus
est une
instance
de
processus educationnel
processus
aboutit
�
objet
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
GeneralMerchandiseStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?THING
Object
)
(
destination
?EV ?P)
(
patient
?EV ?THING))))))
naics.kif 7702-7716
Collection
est une
instance
de
organisation
GeneralMerchandiseStores
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
entit�
AutonomousAgent
est une
instance
de
vendre
entit�
est une
instance
de
humain
entit�
est une
instance
de
objet
AutonomousAgent
aboutit
�
entit�
entit�
est un
patient
de
AutonomousAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
NonstoreRetailers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?THING
Object
)
(
not
(
eventLocated
?EV
RetailStore
))
(
destination
?EV ?P)
(
patient
?EV ?THING))))))
naics.kif 7877-7893
Collection
est une
instance
de
organisation
NonstoreRetailers
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
entit�
AutonomousAgent
est une
instance
de
vendre
entit�
est une
instance
de
humain
entit�
est une
instance
de
objet
eventLocated
AutonomousAgent
and
RetailStore
AutonomousAgent
aboutit
�
entit�
entit�
est un
patient
de
AutonomousAgent
(=>
(
and
(
instance
?P
BankCardPayment
)
(
destination
?P ?AGENT))
(
capability
BankCardPayment
destination
?AGENT))
Dining.kif 437-441
Processus
est une
instance
de
BankCardPayment
processus
aboutit
�
objet
objet
est
capable
de faire
BankCardPayment
dans le r�le
destination
(=>
(
and
(
instance
?P
FoodPickup
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST)
(
patient
?P ?FOOD))
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
exists
(?LOC ?T ?G)
(
and
(
located
?AGENT ?LOC)
(
instance
?T
Translocation
)
(
agent
?T ?CUST)
(
destination
?T ?LOC)
(
instance
?G
Getting
)
(
origin
?G ?AGENT)
(
destination
?G ?CUST)
(
patient
?G ?FOOD)))))
Dining.kif 610-627
Processus
est une
instance
de
FoodPickup
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est une
instance
de
FoodForFn
humain
objet
processus
and
processus
AutonomousAgent
est
situ
� �
objet
processus
est une
instance
de
Translocation
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
objet
processus
est une
instance
de
obtenir
processus
a pour
origine
AutonomousAgent
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
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
?P
Perspiring
)
(
experiencer
?P ?A))
(
exists
(?H)
(
and
(
instance
?H
Hand
)
(
part
?H ?A)
(
destination
?P ?H))))
emotion.kif 1492-1500
Processus
est une
instance
de
Perspiring
AutonomousAgent
exp
�rimente
processus
objet
objet
est une
instance
de
Hand
objet
est une
partie
de
AutonomousAgent
processus
aboutit
�
objet
(=>
(
and
(
instance
?P
PerspiringWholeBody
)
(
experiencer
?P ?A))
(
not
(
exists
(?B)
(
and
(
instance
?B
BodyPart
)
(
part
?B ?A)
(
not
(
destination
?P ?B))))))
emotion.kif 1505-1515
Processus
est une
instance
de
PerspiringWholeBody
AutonomousAgent
exp
�rimente
processus
objet
objet
est une
instance
de
partie du corps
objet
est une
partie
de
AutonomousAgent
processus
n' %n
aboutit
%n{pas} �
objet
(=>
(
and
(
instance
?PAGE
SearchResultsPage
)
(
instance
?RESULTS
SRPResults
)
(
component
?RESULTS ?PAGE))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?CLICK
(
and
(
instance
?CLICK
RequestingHyperlink
)
(
patient
?CLICK ?ELEMENT)
(
destination
?CLICK ?LINKEDPAGE)
(
instance
?ELEMENT
HypertextLink
)
(
component
?ELEMENT ?PAGE)
(
or
(
instance
?LINKEDPAGE
ProductDescriptionPage
)
(
instance
?LINKEDPAGE
ViewItemPage
)))))
(
ListLengthFn
?RESULTS))
(
SRPEngagementFn
?PAGE)))
UXExperimentalTerms.kif 3721-3739
SearchResultsPage
est une
instance
de
SearchResultsPage
liste
est une
instance
de
SRPResults
liste
est un
composant
de
SearchResultsPage
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
+
longueur
de
liste
est
SRPEngagementFn
SearchResultsPage
(=>
(
and
(
instance
?PARK
DisabledParking
)
(
instance
?AGENT
Human
)
(
attribute
?AGENT ?ATTR)
(
instance
?ATTR
Disability
))
(
hasPurposeForAgent
?PARK
(
and
(
playsRoleInEvent
?PARK
destination
?EVENT)
(
playsRoleInEvent
?TD
patient
?EVENT)
(
instance
?TD
TransportationDevice
)) ?AGENT))
TransportDetail.kif 49-59
Physique
est une
instance
de
DisabledParking
AutonomousAgent
est une
instance
de
humain
attribut
est un
attribut
de
AutonomousAgent
attribut
est une
instance
de
Disability
physique
a le
but
playsRoleInEvent
physique
,
destination
and
entit�
playsRoleInEvent
entit�
,
patient
and
entit�
entit�
est une
instance
de
v�hicule de transport
pour
AutonomousAgent
(=>
(
and
(
instance
?PLUG
ElectricalPlug
)
(
instance
?DEVICE
ElectricDevice
)
(
instance
?OUTLET
ElectricalOutlet
)
(
connectedEngineeringComponents
?DEVICE ?PLUG)
(
completelyFills
?PLUG ?OUTLET)
(
instance
?POWER
PowerSource
)
(
connectedEngineeringComponents
?POWER ?OUTLET))
(
exists
(?RE)
(
and
(
instance
?RE
RadiatingElectromagnetic
)
(
origin
?RE ?POWER)
(
destination
?RE ?DEVICE))))
Mid-level-ontology.kif 25947-25960
Composant d'un appareil
est une
instance
de
ElectricalPlug
composant d'un appareil
est une
instance
de
ElectricDevice
trou
est une
instance
de
ElectricalOutlet
composant d'un appareil
est
connect
� �
composant d'un appareil
composant d'un appareil
remplie
compl
�tement
trou
composant d'un appareil
est une
instance
de
PowerSource
composant d'un appareil
est
connect
� �
trou
processus
processus
est une
instance
de
RadiatingElectromagnetic
processus
a pour
origine
composant d'un appareil
processus
aboutit
�
composant d'un appareil
(=>
(
and
(
instance
?PSP
ProfitSharingPlan
)
(
accountHolder
?PSP ?H)
(
employs
?O ?H)
(
profit
?A
(
MeasureFn
?P ?U))
(
instance
?U
UnitOfCurrency
)
(
agent
?A ?O))
(
exists
(?C ?PAY)
(
and
(
instance
?PAY
FinancialTransaction
)
(
transactionAmount
?PAY
(
MeasureFn
?C ?U))
(
lessThan
?C ?P)
(
destination
?PAY ?PSP))))
FinancialOntology.kif 1192-1207
FinancialAccount
est une
instance
de
ProfitSharingPlan
accountHolder
FinancialAccount
and
agent cognitif
AutonomousAgent
emploie
agent cognitif
profit
financial transaction
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfCurrency
financial transaction
est un
agent
de
AutonomousAgent
nombre r�el
nombre r�el
AY
nombre r�el
AY est une
instance
de
financial transaction
transactionAmount
nombre r�el
AY and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que
nombre r�el
nombre r�el
AY
aboutit
�
FinancialAccount
(=>
(
and
(
instance
?REPAYMENT
Repayment
)
(
instance
?REPAYMENT_DESTINATION
Object
)
(
destination
?REPAYMENT ?REPAYMENT_DESTINATION)
(
instance
?REPAYMENT_ORIGIN
Object
)
(
origin
?REPAYMENT ?REPAYMENT_ORIGIN))
(
exists
(?PAYMENT ?PAYMENT_ORIGIN ?PAYMENT_DESTINATION)
(
and
(
instance
?PAYMENT
Payment
)
(
instance
?PAYMENT_ORIGIN
Object
)
(
instance
?PAYMENT_DESTINATION
Object
)
(
not
(
equal
?PAYMENT ?REPAYMENT))
(
destination
?PAYMENT ?PAYMENT_DESTINATION)
(
origin
?PAYMENT ?PAYMENT_ORIGIN)
(
equal
?PAYMENT_ORIGIN ?REPAYMENT_DESTINATION)
(
equal
?PAYMENT_DESTINATION ?REPAYMENT_ORIGIN))))
UXExperimentalTerms.kif 1883-1900
Processus
est une
instance
de
Repayment
processus
_DESTINATION est une
instance
de
objet
processus
aboutit
�
processus
_DESTINATION
processus
_ORIGIN est une
instance
de
objet
processus
a pour
origine
processus
_ORIGIN
processus
processus
_ORIGIN and
processus
_DESTINATION
processus
est une
instance
de
Payment
processus
_ORIGIN est une
instance
de
objet
processus
_DESTINATION est une
instance
de
objet
processus
est
processus
processus
aboutit
�
processus
_DESTINATION
processus
a pour
origine
processus
_ORIGIN
processus
_ORIGIN est
processus
_DESTINATION
processus
_DESTINATION est
processus
_ORIGIN
(=>
(
and
(
instance
?RETURN
GivingBack
)
(
agent
?RETURN ?AGENT)
(
destination
?RETURN ?DEST))
(
exists
(?GIVE)
(
and
(
instance
?GIVE
Giving
)
(
agent
?GIVE ?DEST)
(
destination
?GIVE ?AGENT)
(
earlier
(
WhenFn
?GIVE)
(
WhenFn
?RETURN)))))
Merge.kif 11763-11773
Processus
est une
instance
de
GivingBack
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
AutonomousAgent
processus
processus
est une
instance
de
donner
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
AutonomousAgent
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
and
(
instance
?Refinancing
Refinancing
)
(
time
?Refinancing ?Time)
(
instance
?Loan
Loan
)
(
securedBy
?Loan ?Collateral)
(
borrower
?Loan ?Borrower)
(
currentAccountBalance
?Loan ?Time ?Amount)
(
patient
?Refinancing ?Loan))
(
exists
(?NewLoan ?Payment)
(
and
(
instance
?NewLoan
Loan
)
(
borrower
?NewLoan ?Borrower)
(
securedBy
?Loan ?Collateral)
(
destination
?Payment
(
CurrencyFn
?Loan))
(
time
?Payment ?Time)
(
origin
?Payment
(
CurrencyFn
?NewLoan))
(
transactionAmount
?Payment ?Amount))))
FinancialOntology.kif 1449-1466
Processus
est une
instance
de
Refinancing
processus
existe
pendant
jour
Loan
est une
instance
de
Loan
securedBy
Loan
and
Collateral
borrower
Loan
and
agent cognitif
currentAccountBalance
Loan
,
jour
and
mesure de devise
Loan
est un
patient
de
processus
Loan
financial transaction
Loan
est une
instance
de
Loan
borrower
Loan
and
agent cognitif
securedBy
Loan
and
Collateral
financial transaction
aboutit
�
CurrencyFn
Loan
financial transaction
existe
pendant
jour
financial transaction
a pour
origine
CurrencyFn
Loan
transactionAmount
financial transaction
and
mesure de devise
(=>
(
and
(
instance
?S
SeizingProperty
)
(
destination
?S ?A)
(
origin
?S ?V)
(
instance
?V
CognitiveAgent
))
(
and
(
instance
?A
Government
)
(
not
(
confersNorm
?V
(
destination
?S ?A)
Permission
))))
Mid-level-ontology.kif 18701-18712
Processus
est une
instance
de
SeizingProperty
processus
aboutit
�
entit�
processus
a pour
origine
objet
objet
est une
instance
de
agent cognitif
entit�
est une
instance
de
gouvernement
confersNorm
objet
,
processus
n' %n
aboutit
%n{pas} �
entit�
and
Permission
(=>
(
and
(
instance
?S
Swallowing
)
(
agent
?S ?H))
(
exists
(?M ?E ?ST ?O)
(
and
(
instance
?M
Mouth
)
(
instance
?E
Esophagus
)
(
instance
?ST
Stomach
)
(
objectTransferred
?S ?O)
(
origin
?S ?M)
(
destination
?S ?ST)
(
path
?S ?E))))
Mid-level-ontology.kif 6595-6607
Transf�re
est une
instance
de
Swallowing
transf�re
est un
agent
de
AutonomousAgent
objet
objet
,
transf�re
T and
objet
objet
est une
instance
de
Mouth
objet
est une
instance
de
Esophagus
transf�re
T est une
instance
de
Stomach
objectTransferred
transf�re
and
objet
transf�re
a pour
origine
objet
transf�re
aboutit
�
transf�re
T
objet
est le
chemin
le long duquel
transf�re
se produit
(=>
(
and
(
instance
?SHARE
Sharing
)
(
agent
?SHARE ?AGENT1)
(
destination
?SHARE ?AGENT2)
(
patient
?SHARE ?OBJ))
(
exists
(?GIVE ?PART)
(
and
(
instance
?GIVE
Giving
)
(
subProcess
?GIVE ?SHARE)
(
patient
?GIVE ?PART)
(
properPart
?PART ?OBJ)
(
agent
?GIVE ?AGENT1)
(
destination
?GIVE ?AGENT2))))
Mid-level-ontology.kif 18564-18577
Processus
est une
instance
de
Sharing
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
entit�
objet
est un
patient
de
processus
processus
objet
processus
est une
instance
de
donner
processus
est un
sous
-processus de
processus
objet
est un
patient
de
processus
objet
est une
partie
de
objet
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
entit�
(=>
(
and
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?OBJ)
(
attribute
?SOUND
Audible
))
(
exists
(?HUMAN ?HEAR)
(
and
(
instance
?HUMAN
Human
)
(
capability
(
KappaFn
?HEAR
(
and
(
instance
?HEAR
Hearing
)
(
agent
?HEAR ?HUMAN)
(
destination
?HEAR ?HUMAN)
(
origin
?HEAR ?OBJ)))
agent
?HUMAN))))
Merge.kif 13610-13624
Processus
est une
instance
de
son irradiant
processus
est un
agent
de
AutonomousAgent
Audible
est un
attribut
de
processus
objet
cha�ne sympbolique
objet
est une
instance
de
humain
objet
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
agent
(=>
(
and
(
instance
?STEAL
Stealing
)
(
destination
?STEAL ?AGENT)
(
origin
?STEAL ?VICTIM)
(
instance
?VICTIM
CognitiveAgent
))
(
not
(
confersRight
(
destination
?STEAL ?AGENT) ?VICTIM ?AGENT)))
Mid-level-ontology.kif 18586-18594
Processus
est une
instance
de
Stealing
processus
aboutit
�
agent cognitif
processus
a pour
origine
objet
objet
est une
instance
de
agent cognitif
objet
n'
autorise
%n{pas}
agent cognitif
� ex�cut� des t�ches du type
processus
aboutit
�
agent cognitif
(=>
(
and
(
instance
?Service
CommercialService
)
(
agent
?Service ?Agent)
(
employs
?Org ?Agent)
(
destination
?Service ?Customer))
(
hasPurpose
?Service
(
exists
(?Transaction)
(
and
(
instance
?Transaction
FinancialTransaction
)
(
destination
?Transaction ?Org)
(
origin
?Transaction ?Customer)))))
FinancialOntology.kif 3590-3601
Processus
est une
instance
de
CommercialService
processus
est un
agent
de
agent cognitif
AutonomousAgent
emploie
agent cognitif
processus
aboutit
�
entit�
processus
a pour
but
entit�
entit�
est une
instance
de
financial transaction
entit�
aboutit
�
AutonomousAgent
entit�
a pour
origine
entit�
(=>
(
and
(
instance
?Statement
BankStatement
)
(
statementAccount
?Statement ?Account))
(
exists
(?Transaction)
(
and
(
instance
?Transaction
FinancialTransaction
)
(
or
(
origin
?Transaction
(
CurrencyFn
?Account))
(
destination
?Transaction
(
CurrencyFn
?Account)))
(
realization
?Statement ?Transaction))))
FinancialOntology.kif 3885-3895
BankStatement
est une
instance
de
BankStatement
statementAccount
BankStatement
and
FinancialAccount
processus
processus
est une
instance
de
financial transaction
processus
a pour
origine
CurrencyFn
FinancialAccount
processus
aboutit
�
CurrencyFn
FinancialAccount
BankStatement
exprime
le contenu de
processus
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