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
If
a process
is an
instance
of
hiring
and
a cognitive agent
is an
instance
of
organization
and
the cognitive agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the cognitive agent
expects
there exists
another entity
such that
the other entity
is an
instance
of
financial transaction
and
the cognitive agent
is an
agent
of
the other entity
and
the other entity
end
s up at
the entity
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the other entity
will be true
(=>
(
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
If
a loan
is an
instance
of
balloon loan
and
a day
is a
maturity
date of
the loan
and
a currency measure
is a
total
balance of
the loan
and
the loan
is the
borrower
of
a cognitive agent
,
then
the cognitive agent
is
obliged
to perform tasks of type the
class
described by
a symbolic string
(=>
(
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
If
a loan
is an
instance
of
callable loan
and
a cognitive agent
lends
the loan
and
the loan
is the
borrower
of
another cognitive agent
and
a currency measure
is a
total
balance of
the loan
and
a process
is an
instance
of
call
and
the cognitive agent
is an
agent
of
the process
and
the loan
is a
patient
of
the process
,
then
the other cognitive agent
is
obliged
to perform tasks of type the
class
described by
a symbolic string
(=>
(
and
(
instance
?OCCUPATION
SkilledOccupation
)
(
attribute
?PERSON ?OCCUPATION))
(
exists
(?TRAINING)
(
and
(
instance
?TRAINING
EducationalProcess
)
(
destination
?TRAINING ?PERSON))))
Mid-level-ontology.kif 8264-8271
If
an attribute
is an
instance
of
skilled occupation
and
the attribute
is an
attribute
of
an object
,
then there exists
a process
such that
the process
is an
instance
of
educational process
and
the process
end
s up at
the object
(=>
(
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
If
a collection
is an
instance
of
organization
and
general merchandise stores
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
an entity
and
another entity
such that
the agent
is an
instance
of
selling
and
the other entity
is an
instance
of
human
and
the entity
is an
instance
of
object
and
the agent
end
s up at
the other entity
and
the entity
is a
patient
of
the agent
(=>
(
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
If
a collection
is an
instance
of
organization
and
nonstore retailers
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exist
an entity
and
another entity
such that
the agent
is an
instance
of
selling
and
the other entity
is an
instance
of
human
and
the entity
is an
instance
of
object
and not
the agent
is
located
at
retail store
and
the agent
end
s up at
the other entity
and
the entity
is a
patient
of
the agent
(=>
(
and
(
instance
?P
BankCardPayment
)
(
destination
?P ?AGENT))
(
capability
BankCardPayment
destination
?AGENT))
Dining.kif 437-441
If
a process
is an
instance
of
bank card payment
and
the process
end
s up at
an object
,
then
the object
is
capable
of doing
bank card payment
as a
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
If
a process
is an
instance
of
food pickup
and
an agent
is an
agent
of
the process
and
the process
end
s up at
another agent
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
food
for
human
and there exist
an object
,
another process
and
a third process
such that
the agent
is
located
at
the object
and
the other process
is an
instance
of
translocation
and
the other agent
is an
agent
of
the other process
and
the other process
end
s up at
the object
and
the third process
is an
instance
of
getting
and
the third process
originate
s at
the agent
and
the third process
end
s up at
the other agent
and
the entity
is a
patient
of
the third process
(=>
(
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
If
an object
is an
instance
of
passport
and
an agent
possess
es
the object
,
then
the object
confers
norm there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
translocation
and
the agent
is an
agent
of
the entity
and
the entity
originate
s at
the other entity
and
the entity
end
s up at
the third entity
and
the other entity
is an
instance
of
nation
and
the third entity
is an
instance
of
nation
and
the other entity
is not
equal
to
the third entity
for
permission
(=>
(
and
(
instance
?P
Perspiring
)
(
experiencer
?P ?A))
(
exists
(?H)
(
and
(
instance
?H
Hand
)
(
part
?H ?A)
(
destination
?P ?H))))
emotion.kif 1492-1500
If
a process
is an
instance
of
sweating
and
an agent
experience
s
the process
,
then there exists
an object
such that
the object
is an
instance
of
hand
and
the object
is a
part
of
the agent
and
the process
end
s up at
the object
(=>
(
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
If
a process
is an
instance
of
perspiring (whole body)
and
an agent
experience
s
the process
,
then there doesn't exist
an object
such that
the object
is an
instance
of
body part
and
the object
is a
part
of
the agent
and
the process
doesn't
end
up at
the object
(=>
(
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
If
a search results page
is an
instance
of
search results page
and
a list
is an
instance
of
search results
and
the list
is a
component
of
the search results page
,
then the number of
instances
in the
class
described by
a symbolic string
and
length
of
the list
is
equal
to
qualifying
clicks
on
the search results page
(=>
(
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
If
a physical
is an
instance
of
disabled parking
and
an agent
is an
instance
of
human
and
an attribute
is an
attribute
of
the agent
and
the attribute
is an
instance
of
disability
,
then
the physical
has the purpose
the physical
plays
role in event
destination
for
an entity
and
another entity
plays
role in event
patient
for
the entity
and
the other entity
is an
instance
of
transportation device
for
the agent
(=>
(
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
If
an engineering component
is an
instance
of
electrical plug
and
another engineering component
is an
instance
of
electric device
and
a hole
is an
instance
of
electrical outlet
and
the other engineering component
is
connected
to
the engineering component
and
the engineering component
completely
fill
s
the hole
and
a third engineering component
is an
instance
of
power source
and
the third engineering component
is
connected
to
the hole
,
then there exists
a process
such that
the process
is an
instance
of
radiating electromagnetic
and
the process
originate
s at
the third engineering component
and
the process
end
s up at
the other engineering component
(=>
(
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
If
a financial account
is an
instance
of
profit sharing plan
and
a cognitive agent
holds
account
the financial account
and
an agent
employ
s
the cognitive agent
and the
profit
from
a financial transaction
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of currency
and
the agent
is an
agent
of
the financial transaction
,
then there exist
another real number
and
the real number
AY such that
the real number
AY is an
instance
of
financial transaction
and
the other real number
the unit of measure
(s) is a
transaction
amount of
the real number
AY and
the other real number
is
less
than
the real number
and
the real number
AY
end
s up at
the financial account
(=>
(
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
If
a process
is an
instance
of
repayment
and
the process
_DESTINATION is an
instance
of
object
and
the process
end
s up at
the process
_DESTINATION and
the process
_ORIGIN is an
instance
of
object
and
the process
originate
s at
the process
_ORIGIN,
then there exist
another process
,
the other process
_ORIGIN and
the other process
_DESTINATION such that
the other process
is an
instance
of
payment
and
the other process
_ORIGIN is an
instance
of
object
and
the other process
_DESTINATION is an
instance
of
object
and
the other process
is not
equal
to
the process
and
the other process
end
s up at
the other process
_DESTINATION and
the other process
originate
s at
the other process
_ORIGIN and
the other process
_ORIGIN is
equal
to
the process
_DESTINATION and
the other process
_DESTINATION is
equal
to
the process
_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
If
a process
is an
instance
of
giving back
and
an agent
is an
agent
of
the process
and
the process
end
s up at
another agent
,
then there exists
another process
such that
the other process
is an
instance
of
giving
and
the other agent
is an
agent
of
the other process
and
the other process
end
s up at
the agent
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
refinancing
and
the process
exists
during
a day
and
a loan
is an
instance
of
loan
and
a collateral
is a
secured
by of
the loan
and
the loan
is the
borrower
of
a cognitive agent
and
the loan
current
account balance
the day
for
a currency measure
and
the loan
is a
patient
of
the process
,
then there exist
another loan
and
a financial transaction
such that
the other loan
is an
instance
of
loan
and
the other loan
is the
borrower
of
the cognitive agent
and
the collateral
is a
secured
by of
the loan
and
the financial transaction
end
s up at the
currency
of
the loan
and
the financial transaction
exists
during
the day
and
the financial transaction
originate
s at the
currency
of
the other loan
and
the currency measure
is a
transaction
amount of
the financial transaction
(=>
(
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
If
a process
is an
instance
of
seizing property
and
the process
end
s up at
an entity
and
the process
originate
s at
an object
and
the object
is an
instance
of
cognitive agent
,
then
the entity
is an
instance
of
government
and
the object
doesn't
confers
norm
the process
end
s up at
the entity
for
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
If
a transfer
is an
instance
of
swallowing
and
an agent
is an
agent
of
the transfer
,
then there exist
an object
,
another object
,, ,
the transfer
T and
a third object
such that
the object
is an
instance
of
mouth
and
the other object
is an
instance
of
esophagus
and
the transfer
T is an
instance
of
stomach
and the object transferred in
the transfer
is
the third object
and
the transfer
originate
s at
the object
and
the transfer
end
s up at
the transfer
T and
the other object
is
path
along which
the transfer
occurs
(=>
(
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
If
a process
is an
instance
of
sharing
and
an agent
is an
agent
of
the process
and
the process
end
s up at
an entity
and
an object
is a
patient
of
the process
,
then there exist
another process
and
another object
such that
the other process
is an
instance
of
giving
and
the other process
is a
subprocess
of
the process
and
the other object
is a
patient
of
the other process
and
the other object
is a
proper
part
of
the object
and
the agent
is an
agent
of
the other process
and
the other process
end
s up at
the entity
(=>
(
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
If
a process
is an
instance
of
radiating sound
and
an agent
is an
agent
of
the process
and
audible
is an
attribute
of
the process
,
then there exist
an object
and
a symbolic string
such that
the object
is an
instance
of
human
and
the object
is
capable
of doing the
class
described by
the symbolic string
as a
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
If
a process
is an
instance
of
stealing
and
the process
end
s up at
a cognitive agent
and
the process
originate
s at
an object
and
the object
is an
instance
of
cognitive agent
,
then
the object
doesn't
allow
the cognitive agent
to perform task of the type
the process
end
s up at
the cognitive agent
(=>
(
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
If
a process
is an
instance
of
commercial service
and
a cognitive agent
is an
agent
of
the process
and
an agent
employ
s
the cognitive agent
and
the process
end
s up at
an entity
,
then
the process
has the purpose there exists
another entity
such that
the other entity
is an
instance
of
financial transaction
and
the other entity
end
s up at
the agent
and
the other entity
originate
s at
the entity
(=>
(
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
If
a bank statement
is an
instance
of
bank statement
and
a financial account
is a
statement
account of
the bank statement
,
then there exists
a process
such that
the process
is an
instance
of
financial transaction
and
the process
originate
s at the
currency
of
the financial account
or
the process
end
s up at the
currency
of
the financial account
and
the bank statement
express
es the content of
the process
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