property
(=>
(
and
(
instance
?Y
NitricOxide
)
(
holdsDuring
?T
(
property
?Y
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
attribute
?Y
Gas
)))
Geography.kif 7216-7222
If
an entity
is an
instance
of
nitric oxide
and
the entity
the
attribute
standard ambient temperature and pressure
holds
during
a time position
,
then
gas
is an
attribute
of
the entity
holds
during
the time position
(=>
(
and
(
instance
?Y
NitrogenDioxide
)
(
holdsDuring
?T
(
property
?Y
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
attribute
?Y
Gas
)))
Geography.kif 7241-7247
If
an entity
is an
instance
of
nitrogen dioxide
and
the entity
the
attribute
standard ambient temperature and pressure
holds
during
a time position
,
then
gas
is an
attribute
of
the entity
holds
during
the time position
(=>
(
and
(
instance
?Y
SulphurDioxide
)
(
holdsDuring
?T
(
property
?Y
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
attribute
?Y
Gas
)))
Geography.kif 7181-7187
If
an entity
is an
instance
of
sulphur dioxide
and
the entity
the
attribute
standard ambient temperature and pressure
holds
during
a time position
,
then
gas
is an
attribute
of
the entity
holds
during
the time position
(=>
(
and
(
property
?AGREEMENT
Contract
)
(
partyToAgreement
?AGENT1 ?AGREEMENT)
(
partyToAgreement
?AGENT2 ?AGREEMENT)
(
instance
?PROC
IntentionalProcess
)
(
agent
?PROC ?AGENT1)
(
realization
?PROC ?PROP)
(
not
(
consistent
?PROP ?AGREEMENT)))
(
modalAttribute
(
exists
(?LEGAL)
(
and
(
instance
?LEGAL
LegalAction
)
(
plaintiff
?LEGAL ?AGENT2)
(
defendant
?LEGAL ?AGENT1)))
Possibility
))
Mid-level-ontology.kif 14149-14163
If
an agreement
the
attribute
contract
and
the agreement
is a
party
to agreement of
a cognitive agent
and
the agreement
is a
party
to agreement of
another cognitive agent
and
a process
is an
instance
of
intentional process
and
the cognitive agent
is an
agent
of
the process
and
the process
express
es the content of
a proposition
and
the agreement
is not a
consistent
of
the proposition
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
legal action
and
the other cognitive agent
is the
plaintiff
in
the entity
and
the cognitive agent
is the
defendant
in
the entity
has the
modal
force
of
possibility
(=>
(
and
(
property
?ITEM ?VALUE)
(
instance
?VALUE
TruthValue
))
(
or
(
instance
?ITEM
Sentence
)
(
instance
?ITEM
Proposition
)))
Merge.kif 16973-16979
If
an entity
the
attribute
an attribute
and
the attribute
is an
instance
of
truth value
,
then
the entity
is an
instance
of
sentence
or
the entity
is an
instance
of
proposition
(=>
(
and
(
property
?OBJ ?SHAPE)
(
instance
?OBJ
Physical
)
(
instance
?SHAPE
ShapeAttribute
))
(
shape
?OBJ ?SHAPE))
Mid-level-ontology.kif 25580-25585
If
a physical
the
attribute
a shape attribute
and
the physical
is an
instance
of
physical
and
the shape attribute
is an
instance
of
shape attribute
,
then
the physical
is
the shape attribute
(=>
(
and
(
property
?OBJECT ?ATTRIBUTE)
(
instance
?ATTRIBUTE
AlgebroDifferentialAttribute
))
(
instance
?OBJECT
SetOfEquations
))
engineering.kif 230-234
If
an entity
the
attribute
an attribute
and
the attribute
is an
instance
of
algebro differential attribute
,
then
the entity
is an
instance
of
set of equations
(=>
(
and
(
property
?OBJECT ?ATTRIBUTE)
(
instance
?ATTRIBUTE
EquationAttribute
))
(
or
(
instance
?OBJECT
Equation
)
(
instance
?OBJECT
SetOfEquations
)))
engineering.kif 211-217
If
an entity
the
attribute
an attribute
and
the attribute
is an
instance
of
equation attribute
,
then
the entity
is an
instance
of
equation
or
the entity
is an
instance
of
set of equations
(=>
(
and
(
property
?Option
AmericanStyleOption
)
(
optionHolder
?Option ?Agent)
(
agreementExpirationDate
?Option ?Day))
(
holdsRight
(
exists
(?Exercise)
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
before
(
EndFn
(
WhenFn
?Exercise))
(
EndFn
?Day)))) ?Agent))
FinancialOntology.kif 2788-2800
If
an agreement
the
attribute
american style option
and
a cognitive agent
holds
the agreement
and
the agreement
has
expiration
a time point
,
then
the cognitive agent
has the
right
to perform there exists
an entity
such that
the entity
is an
instance
of
exercise an option
and
the agreement
is a
patient
of
the entity
and the
end
of the
time
of existence of
the entity
happens
before
the
end
of
the time point
(=>
(
and
(
property
?Option
EuropeanStyleOption
)
(
agreementExpirationDate
?Option ?Date))
(
exists
(?Period ?Time ?Exercise)
(
and
(
instance
?Period
TimeInterval
)
(
equal
(
EndFn
?Period) ?Date)
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
equal
(
WhenFn
?Exercise) ?Time))
(
temporalPart
?Time ?Period)))))
FinancialOntology.kif 2808-2820
If
an agreement
the
attribute
european style option
and
the agreement
has
expiration
a time point
,
then there exist
a time interval
,
another time interval
and
a physical
such that
the time interval
is an
instance
of
time interval
and the
end
of
the time interval
is
equal
to
the time point
and
if
the physical
is an
instance
of
exercise an option
and the
time
of existence of
the physical
is
equal
to
the other time interval
,
then
the other time interval
is a
part
of
the time interval
(=>
(
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
If
an agreement
the
attribute
option
and
a cognitive agent
holds
the agreement
and
a currency measure
is a
strike
price of
the agreement
and
the agreement
has
expiration
a time interval
and
a financial instrument
is
price
the currency measure
for
an agent
and
the agent
is an
instance
of
time interval
and the
end
of
the agent
happens
before
the
beginning
of
the time interval
and
the financial instrument
is an
underlier
of
the agreement
,
then
the cognitive agent
has the
right
to perform the
class
described by
a symbolic string
(=>
(
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
If
an agreement
the
attribute
option
and
a cognitive agent
holds
the agreement
and
a currency measure
is a
strike
price of
the agreement
and
the agreement
has
expiration
a time interval
and
a financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the currency measure
for
an agent
and
the agent
is an
instance
of
time interval
and the
end
of
the agent
happens
before
the
beginning
of
the time interval
,
then
the cognitive agent
has the
right
to perform the
class
described by
a symbolic string
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2687-2703
If
an agreement
the
attribute
option
and
a cognitive agent
sells
the agreement
and
a currency measure
is a
strike
price of
the agreement
and
the agreement
has
expiration
a time interval
and
a financial instrument
is
price
the currency measure
for
an agent
and
the agent
is an
instance
of
time interval
and the
end
of
the agent
happens
before
the
beginning
of
the time interval
and
the financial instrument
is an
underlier
of
the agreement
,
then
the cognitive agent
is
obliged
to perform tasks of type the
class
described by
a symbolic string
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Seller)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Seller))
FinancialOntology.kif 2641-2659
If
an agreement
the
attribute
option
and
a cognitive agent
sells
the agreement
and
a currency measure
is a
strike
price of
the agreement
and
the agreement
has
expiration
a time interval
and
a financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the currency measure
for
an agent
and
the agent
is an
instance
of
time interval
and the
end
of
the agent
happens
before
the
beginning
of
the time interval
,
then
the cognitive agent
is
obliged
to perform tasks of type the
class
described by
a symbolic string
(=>
(
and
(
property
?Option
StockOption
)
(
underlier
?Option ?Stock))
(
property
?Stock
CommonStock
))
FinancialOntology.kif 2712-2716
If
an agreement
the
attribute
stock option
and
a financial instrument
is an
underlier
of
the agreement
,
then
the financial instrument
the
attribute
common stock
(=>
(
and
(
property
?THING ?ATTR)
(
instance
?ATTR
ContestAttribute
))
(
exists
(?CONTEST)
(
and
(
instance
?CONTEST
Contest
)
(
or
(
agent
?CONTEST ?THING)
(
patient
?CONTEST ?THING)
(
subProcess
?THING ?CONTEST)))))
Merge.kif 17392-17402
If
an agent
the
attribute
an attribute
and
the attribute
is an
instance
of
contest attribute
,
then there exists
a process
such that
the process
is an
instance
of
contest
and
the agent
is an
agent
of
the process
or
the agent
is a
patient
of
the process
or
the agent
is a
subprocess
of
the process
(=>
(
and
(
property
?THING ?ATTR)
(
instance
?ATTR
GameAttribute
))
(
exists
(?GAME)
(
and
(
instance
?GAME
Game
)
(
or
(
agent
?GAME ?THING)
(
patient
?GAME ?THING)
(
subProcess
?THING ?GAME)))))
Mid-level-ontology.kif 19499-19509
If
an agent
the
attribute
an attribute
and
the attribute
is an
instance
of
game attribute
,
then there exists
a process
such that
the process
is an
instance
of
game
and
the agent
is an
agent
of
the process
or
the agent
is a
patient
of
the process
or
the agent
is a
subprocess
of
the process
(=>
(
and
(
property
?THING ?ATTR)
(
instance
?ATTR
SportsAttribute
))
(
exists
(?SPORT)
(
and
(
instance
?SPORT
Game
)
(
or
(
agent
?SPORT ?THING)
(
patient
?SPORT ?THING)
(
subProcess
?THING ?SPORT)))))
Mid-level-ontology.kif 19515-19525
If
an agent
the
attribute
an attribute
and
the attribute
is an
instance
of
sports attribute
,
then there exists
a process
such that
the process
is an
instance
of
game
and
the agent
is an
agent
of
the process
or
the agent
is a
patient
of
the process
or
the agent
is a
subprocess
of
the process
(=>
(
and
(
property
?X
Booting
)
(
instance
?X
Computer
))
(
exists
(?CD ?OS ?DT)
(
and
(
instance
?CD
DigitalData
)
(
instance
?OS
OperatingSystem
)
(
instance
?DT
DataTransfer
)
(
during
(
WhenFn
?DT)
(
WhenFn
?X))
(
destination
?DT ?X)
(
part
?CD ?OS)
(
objectTransferred
?DT ?CD))))
ComputingBrands.kif 3217-3229
If
a physical
the
attribute
booting up
and
the physical
is an
instance
of
computer
,
then there exist
an object
,
another object
and
a transfer
such that
the object
is an
instance
of
digital data
and
the other object
is an
instance
of
operating system
and
the transfer
is an
instance
of
data transfer
and the
time
of existence of
the transfer
takes place
during
the
time
of existence of
the physical
and
the transfer
end
s up at
the physical
and
the object
is a
part
of
the other object
and the object transferred in
the transfer
is
the object
(=>
(
property
?A
CompilationAlbum
)
(
exists
(?A1 ?A2)
(
and
(
albumArtist
?A ?A1)
(
albumArtist
?A ?A2)
(
not
(
equal
?A1 ?A2)))))
Music.kif 490-497
If
an album
the
attribute
compilation album
,
then there exist
the album
1 and
the album
2 such that
the album
1 is a performer on
the album
and
the album
2 is a performer on
the album
and
the album
1 is not
equal
to
the album
2
(=>
(
property
?AGREEMENT
ActiveAgreement
)
(
instance
?AGREEMENT
Agreement
))
Mid-level-ontology.kif 14113-14115
If
an entity
the
attribute
active agreement
,
then
the entity
is an
instance
of
agreement
(=>
(
property
?AGREEMENT
ActiveAgreement
)
(
modalAttribute
(
exists
(?PROC)
(
realization
?PROC ?AGREEMENT))
Obligation
))
Mid-level-ontology.kif 14117-14121
If
an entity
the
attribute
active agreement
,
then the statement there exists
another entity
such that
the other entity
express
es the content of
the entity
has the
modal
force
of
obligation
(=>
(
property
?AGREEMENT
Contract
)
(
forall
(?X)
(=>
(
subProposition
?X ?AGREEMENT)
(
modalAttribute
?X
Legal
))))
Mid-level-ontology.kif 14142-14147
If
a proposition
the
attribute
contract
,
then for all
a formula
if
the formula
is a
sub
-proposition of
the proposition
,
then the statement
the formula
has the
modal
force
of
legal
(=>
(
property
?C
MarriageContract
)
(
exists
(?P1 ?P2)
(
and
(
partyToAgreement
?P1 ?C)
(
partyToAgreement
?P2 ?C)
(
spouse
?P1 ?P2))))
Mid-level-ontology.kif 14170-14176
If
an agreement
the
attribute
marriage contract
,
then there exist
a human
and
another human
such that
the agreement
is a
party
to agreement of
the human
and
the agreement
is a
party
to agreement of
the other human
and
the human
is the
spouse
of
the other human
(=>
(
property
?C
PurchaseContract
)
(
exists
(?S ?SELLER ?BUYER)
(
and
(
instance
?S
Selling
)
(
agent
?S ?SELLER)
(
destination
?S ?BUYER)
(
realization
?S ?C)
(
partyToAgreement
?C ?SELLER)
(
partyToAgreement
?C ?BUYER))))
Mid-level-ontology.kif 14183-14192
If
a proposition
the
attribute
purchase contract
,
then there exist
a process
,
the process
ELLER and
another agreement
such that
the process
is an
instance
of
selling
and
the process
ELLER is an
agent
of
the process
and
the process
end
s up at
the other agreement
and
the process
express
es the content of
the proposition
and
the process
ELLER is a
party
to agreement of
the proposition
and
the other agreement
is a
party
to agreement of
the proposition
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