instance
(<=>
(
exists
(?BORROW)
(
and
(
instance
?BORROW
Borrowing
)
(
agent
?BORROW ?AGENT1)
(
origin
?BORROW ?AGENT2)
(
patient
?BORROW ?OBJECT)))
(
exists
(?LEND)
(
and
(
instance
?LEND
Lending
)
(
agent
?LEND ?AGENT2)
(
destination
?LEND ?AGENT1)
(
patient
?LEND ?OBJECT))))
Merge.kif 10951-10963
There exists
a process
such that
the process
is an
instance
of
borrowing
and
an agent
is an
agent
of
the process
and
the process
originate
s at
another agent
and
an entity
is a
patient
of
the process
if and only if there exists
another process
such that
the other process
is an
instance
of
lending
and
the other agent
is an
agent
of
the other process
and
the other process
end
s up at
the agent
and
the entity
is a
patient
of
the other process
(<=>
(
exists
(?BUILD)
(
and
(
instance
?BUILD
Constructing
)
(
result
?BUILD ?ARTIFACT)))
(
instance
?ARTIFACT
StationaryArtifact
))
Merge.kif 11892-11897
There exists
a process
such that
the process
is an
instance
of
constructing
and
an entity
is a
result
of
the process
if and only if
the entity
is an
instance
of
stationary artifact
(<=>
(
exists
(?BUY)
(
and
(
instance
?BUY
Buying
)
(
agent
?BUY ?AGENT1)
(
origin
?BUY ?AGENT2)
(
patient
?BUY ?OBJECT)))
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?AGENT2)
(
destination
?SELL ?AGENT1)
(
patient
?SELL ?OBJECT))))
Merge.kif 11113-11125
There exists
a process
such that
the process
is an
instance
of
buying
and
an agent
is an
agent
of
the process
and
the process
originate
s at
another agent
and
an entity
is a
patient
of
the process
if and only if there exists
another process
such that
the other process
is an
instance
of
selling
and
the other agent
is an
agent
of
the other process
and
the other process
end
s up at
the agent
and
the entity
is a
patient
of
the other process
(<=>
(
exists
(?EMIT)
(
and
(
instance
?EMIT
RadiatingLight
)
(
patient
?EMIT ?REGION)
(
instance
?REGION
Region
)))
(
attribute
?REGION
Illuminated
))
Merge.kif 12649-12655
There exists
a process
such that
the process
is an
instance
of
radiating light
and
an object
is a
patient
of
the process
and
the object
is an
instance
of
region
if and only if
illuminated
is an
attribute
of
the object
(<=>
(
exists
(?Period)
(
and
(
instance
?Loan
Loan
)
(
agreementPeriod
?Loan ?Period)
(
interestEarned
?Loan ?Amount ?Period)))
(
loanInterest
?Loan ?Amount))
FinancialOntology.kif 3762-3768
There exists
a time interval
such that
a loan
is an
instance
of
loan
and
the time interval
is an
agreement
period of
the loan
and
the loan
is
interest
earned
an interest
for
the time interval
if and only if
the interest
is a
loan
interest of
the loan
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
lessThan
?StockPrice ?StrikePrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 2966-2974
There exist
a financial instrument
,
the financial instrument
Price and
another currency measure
such that
an agreement
is an
instance
of
call option
and
the financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the financial instrument
Price for
an agent
and
the other currency measure
is a
strike
price of
the agreement
and
the financial instrument
Price is
less
than
the other currency measure
if and only if
the agent
is an
out
of the money of
the agreement
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
lessThan
?StrikePrice ?StockPrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 2923-2931
There exist
a financial instrument
,
the financial instrument
Price and
another currency measure
such that
an agreement
is an
instance
of
call option
and
the financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the financial instrument
Price for
an agent
and
the other currency measure
is a
strike
price of
the agreement
and
the other currency measure
is
less
than
the financial instrument
Price if and only if
the agent
is an
in
the money of
the agreement
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
Option
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
equal
?StockPrice ?StrikePrice)))
(
atTheMoney
?Option ?Time))
FinancialOntology.kif 2949-2957
There exist
a financial instrument
,
the financial instrument
Price and
another currency measure
such that
an agreement
is an
instance
of
option
and
the financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the financial instrument
Price for
an agent
and
the other currency measure
is a
strike
price of
the agreement
and
the financial instrument
Price is
equal
to
the other currency measure
if and only if
the agent
is an
at
the money of
the agreement
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
lessThan
?StockPrice ?StrikePrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 2933-2941
There exist
a financial instrument
,
the financial instrument
Price and
another currency measure
such that
an agreement
is an
instance
of
put option
and
the financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the financial instrument
Price for
an agent
and
the other currency measure
is a
strike
price of
the agreement
and
the financial instrument
Price is
less
than
the other currency measure
if and only if
the agent
is an
in
the money of
the agreement
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
lessThan
?StrikePrice ?StockPrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 2976-2984
There exist
a financial instrument
,
the financial instrument
Price and
another currency measure
such that
an agreement
is an
instance
of
put option
and
the financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the financial instrument
Price for
an agent
and
the other currency measure
is a
strike
price of
the agreement
and
the other currency measure
is
less
than
the financial instrument
Price if and only if
the agent
is an
out
of the money of
the agreement
(<=>
(
holdsDuring
?TIME
(
instance
?AGENT
LegalAgent
))
(
holdsDuring
?TIME
(
or
(
capability
LegalAction
agent
?AGENT)
(
capability
LegalAction
patient
?AGENT))))
Merge.kif 1505-1511
An entity
is an
instance
of
LegalAgent
holds
during
a time position
if and only if
the entity
is
capable
of doing
legal action
as a
agent
or
the entity
is
capable
of doing
legal action
as a
patient
holds
during
the time position
(<=>
(
instance
?B
Bull
)
(
and
(
instance
?B
Cow
)
(
attribute
?B
Male
)))
Mid-level-ontology.kif 17977-17981
An object
is an
instance
of
bull
if and only if
the object
is an
instance
of
cow
and
male
is an
attribute
of
the object
(<=>
(
instance
?BONE
Bone
)
(
exists
(?SKELETON)
(
and
(
or
(
instance
?SKELETON
Skeleton
)
(
instance
?SKELETON
Exoskeleton
))
(
part
?BONE ?SKELETON))))
Mid-level-ontology.kif 9898-9905
An object
is an
instance
of
bone
if and only if there exists
another object
such that
the other object
is an
instance
of
skeleton
or
the other object
is an
instance
of
exoskeleton
and
the object
is a
part
of
the other object
(<=>
(
instance
?C
Calf
)
(
and
(
instance
?C
Cow
)
(
attribute
?C
NonFullyFormed
)))
Mid-level-ontology.kif 17969-17973
An object
is an
instance
of
calf
if and only if
the object
is an
instance
of
cow
and
non fully formed
is an
attribute
of
the object
(<=>
(
instance
?C
City
)
(
instance
(
GovernmentFn
?C)
CityGovernment
))
Mid-level-ontology.kif 8017-8019
A geopolitical area
is an
instance
of
city
if and only if
the geopolitical area
の
government
is an
instance
of
city government
(<=>
(
instance
?CLASS
Class
)
(
subclass
?CLASS
Entity
))
Merge.kif 793-795
A set or class
is an
instance
of
class
if and only if
the set or class
is a
subclass
of
entity
(<=>
(
instance
?COMPOUND
CompoundSubstance
)
(
exists
(?ELEMENT1 ?ELEMENT2 ?PROCESS)
(
and
(
instance
?ELEMENT1
ElementalSubstance
)
(
instance
?ELEMENT2
ElementalSubstance
)
(
not
(
equal
?ELEMENT1 ?ELEMENT2))
(
instance
?PROCESS
ChemicalSynthesis
)
(
resource
?PROCESS ?ELEMENT1)
(
resource
?PROCESS ?ELEMENT2)
(
result
?PROCESS ?COMPOUND))))
Merge.kif 11619-11629
An entity
is an
instance
of
compound substance
if and only if there exist
an object
,
another object
and
a process
such that
the object
is an
instance
of
elemental substance
and
the other object
is an
instance
of
elemental substance
and
the object
is not
equal
to
the other object
and
the process
is an
instance
of
chemical synthesis
and
the object
is a
resource
for
the process
and
the other object
is a
resource
for
the process
and
the entity
is a
result
of
the process
(<=>
(
instance
?CONTINENT
Continent
)
(
or
(
equal
Africa
?CONTINENT)
(
equal
NorthAmerica
?CONTINENT)
(
equal
SouthAmerica
?CONTINENT)
(
equal
Antarctica
?CONTINENT)
(
equal
Europe
?CONTINENT)
(
equal
Asia
?CONTINENT)
(
equal
Oceania
?CONTINENT)))
Geography.kif 3363-3372
An entity
is an
instance
of
continent
if and only if
africa
is
equal
to
the entity
or
north america
is
equal
to
the entity
or
south america
is
equal
to
the entity
or
antarctica
is
equal
to
the entity
or
europe
is
equal
to
the entity
or
asia
is
equal
to
the entity
or
oceania
is
equal
to
the entity
(<=>
(
instance
?COW
FemaleCow
)
(
and
(
instance
?COW
Cow
)
(
attribute
?COW
Female
)))
Mid-level-ontology.kif 17986-17990
An object
is an
instance
of
female cow
if and only if
the object
is an
instance
of
cow
and
female
is an
attribute
of
the object
(<=>
(
instance
?CS
ConjugatedSubstance
)
(
exists
(?C1 ?C2 ?P)
(
and
(
instance
?C1
CompoundSubstance
)
(
instance
?C2
CompoundSubstance
)
(
not
(
equal
?C1 ?C2))
(
instance
?P
ChemicalSynthesis
)
(
resource
?P ?C1)
(
resource
?P ?C2)
(
result
?P ?CS))))
Mid-level-ontology.kif 6172-6182
An entity
is an
instance
of
conjugated substance
if and only if there exist
an object
,
another object
and
a process
such that
the object
is an
instance
of
compound substance
and
the other object
is an
instance
of
compound substance
and
the object
is not
equal
to
the other object
and
the process
is an
instance
of
chemical synthesis
and
the object
is a
resource
for
the process
and
the other object
is a
resource
for
the process
and
the entity
is a
result
of
the process
(<=>
(
instance
?Collateral
Collateral
)
(
exists
(?Loan)
(
and
(
instance
?Loan
SecuredLoan
)
(
securedBy
?Loan ?Collateral))))
FinancialOntology.kif 1262-1267
A collateral
is an
instance
of
collateral
if and only if there exists
a financial account
such that
the financial account
is an
instance
of
secured loan
and
the collateral
is a
secured
by of
the financial account
(<=>
(
instance
?DISTRICT
CityDistrict
)
(
exists
(?CITY)
(
and
(
instance
?CITY
City
)
(
geopoliticalSubdivision
?DISTRICT ?CITY))))
Mid-level-ontology.kif 7800-7805
A geopolitical area
is an
instance
of
city district
if and only if there exists
another geopolitical area
such that
the other geopolitical area
is an
instance
of
city
and
the geopolitical area
は
the other geopolitical area
の
geopolitical
部分では %n
(<=>
(
instance
?DV
DamagedVehicle
)
(
and
(
instance
?DV
Vehicle
)
(
attribute
?DV
DeviceDamaged
)))
Mid-level-ontology.kif 28282-28286
An object
is an
instance
of
DamagedVehicle
if and only if
the object
is an
instance
of
vehicle
and
DeviceDamaged
is an
attribute
of
the object
(<=>
(
instance
?Feedback
Feedback
)
(
exists
(?RM ?Process ?Program)
(
and
(
rMProgram-of
?RM ?Program)
(
programRunning
?Process ?Program)
(
instance
?Send
DataTransfer
)
(
patient
?Send ?Feedback)
(
destination
?Send ?RM))))
QoSontology.kif 674-682
An entity
is an
instance
of
feedback
if and only if there exist
a resource management program
,
a computer process
and
a software system
such that
the software system
is a
rM
program-of of
the resource management program
and
the software system
is a
program
running of
the computer process
and
a process
is an
instance
of
data transfer
and
the entity
is a
patient
of
the process
and
the process
end
s up at
the resource management program
(<=>
(
instance
?GRAPH
GraphCircuit
)
(
exists
(?NODE)
(
and
(
equal
(
BeginNodeFn
?GRAPH) ?NODE)
(
equal
(
EndNodeFn
?GRAPH) ?NODE))))
Merge.kif 5464-5469
A graph path
is an
instance
of
graph circuit
if and only if there exists
a graph node
such that the
beginning
of
the graph path
is
equal
to
the graph node
and the
end
of
the graph path
is
equal
to
the graph node
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
