property
(=>
(
instance
?Attribute
ComputerPathAttribute
)
(
exists
(?Path)
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path ?Attribute))))
QoSontology.kif 1097-1102
If
an attribute
is an
instance
of
computer path attribute
,
then there exists
an entity
such that
the entity
is an
instance
of
computer path
and
the entity
the
attribute
the attribute
(=>
(
instance
?DOC
ContractDocument
)
(
exists
(?PROP)
(
and
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))))
Media.kif 979-984
If
a content bearing physical
is an
instance
of
contract document
,
then there exists
a proposition
such that
the content bearing physical
contain
s information
the proposition
and
the proposition
the
attribute
contract
(=>
(
insured
?PROP ?ORG)
(
property
?PROP
Contract
))
Mid-level-ontology.kif 7142-7144
If
an organization
is an
insured
of
a proposition
,
then
the proposition
the
attribute
contract
(=>
(
optionHolder
?OPTION ?AGENT)
(
property
?OPTION
Option
))
FinancialOntology.kif 2591-2593
If
a cognitive agent
holds
an agreement
,
then
the agreement
the
attribute
option
(=>
(
optionSeller
?OPTION ?AGENT)
(
property
?OPTION
Option
))
FinancialOntology.kif 2604-2606
If
a cognitive agent
sells
an agreement
,
then
the agreement
the
attribute
option
(=>
(
premium
?OPTION ?AMT)
(
property
?OPTION
Option
))
FinancialOntology.kif 2725-2727
If
a currency measure
is a
premium
of
an agreement
,
then
the agreement
the
attribute
option
(=>
(
property
?ENTITY
Promise
)
(
or
(
property
?ENTITY
Contract
)
(
property
?ENTITY
NakedPromise
)))
Mid-level-ontology.kif 14123-14127
If
an entity
the
attribute
promise
,
then
the entity
the
attribute
contract
or
the entity
the
attribute
naked promise
(=>
(
property
?Option
Option
)
(
exists
(?Type ?Date ?Stock ?Price)
(
and
(
or
(
equal
?Type
CallOption
)
(
equal
?Type
PutOption
))
(
property
?Option ?Type)
(
agreementExpirationDate
?Option ?Date)
(
strikePrice
?Option ?Price)
(
underlier
?Option ?Stock)
(
measure
?Stock
(
MeasureFn
100
ShareUnit
)))))
FinancialOntology.kif 2540-2551
If
an agreement
the
attribute
option
,
then there exist
an attribute
,
a time point
,, ,
a financial instrument
and
a currency measure
such that
the attribute
is
equal
to
call option
or
the attribute
is
equal
to
put option
and
the agreement
the
attribute
the attribute
and
the agreement
has
expiration
the time point
and
the currency measure
is a
strike
price of
the agreement
and
the financial instrument
is an
underlier
of
the agreement
and the
measure
of
the financial instrument
is 100
share unit
(s)
(=>
(
property
?Program
ReplicationsOnSameHostOK
)
(
property
?Program
Restartable
))
QoSontology.kif 1290-1292
If
an entity
the
attribute
replications on same host Ok
,
then
the entity
the
attribute
restartable
(=>
(
subAttribute
?ATTR1 ?ATTR2)
(
forall
(?OBJ)
(=>
(
property
?OBJ ?ATTR1)
(
property
?OBJ ?ATTR2))))
Merge.kif 689-694
If
an attribute
is a
subattribute
of
another attribute
,
then for all
an entity
if
the entity
the
attribute
the attribute
,
then
the entity
the
attribute
the other attribute
(=>
(
underlier
?OPTION ?FI)
(
property
?OPTION
Option
))
FinancialOntology.kif 2745-2747
If
a financial instrument
is an
underlier
of
an agreement
,
then
the agreement
the
attribute
option
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