property
(=>
(
and
(
instance
?Y
NitricOxide
)
(
holdsDuring
?T
(
property
?Y
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
attribute
?Y
Gas
)))
Geography.kif 7520-7526
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 7545-7551
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 7485-7491
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 15520-15534
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 17148-17154
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))
Merge.kif 7675-7680
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 229-233
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 210-216
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 2805-2817
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 2825-2837
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
equal
the
end
of
the time interval
and
the time point
and
if
the physical
is an
instance
of
exercise an option
and
equal
the
time
of existence of
the physical
and
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 2686-2702
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 2640-2656
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 2704-2720
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 2658-2676
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 2729-2733
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 17567-17577
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 21070-21080
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 21086-21096
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 3213-3225
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 492-499
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
equal
the album
1 and
the album
2
(=>
(
property
?AGREEMENT
ActiveAgreement
)
(
instance
?AGREEMENT
Agreement
))
Mid-level-ontology.kif 15484-15486
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 15488-15492
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 15513-15518
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 15541-15547
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 15554-15563
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