property
(=>
(
instance
?Attribute
ComputerPathAttribute
)
(
exists
(?Path)
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path ?Attribute))))
QoSontology.kif 1097-1102
Attributo
è un'
istanza
di
ComputerPathAttribute
Entit�
Entit�
è un'
istanza
di
ComputerPath
Entit�
ha un
attributo
Attributo
(=>
(
instance
?DOC
ContractDocument
)
(
exists
(?PROP)
(
and
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))))
Media.kif 979-984
ContentBearingPhysical
è un'
istanza
di
ContractDocument
Proposizione
ContentBearingPhysical
contiene
s informazione
Proposizione
Proposizione
ha un
attributo
Contract
(=>
(
insured
?PROP ?ORG)
(
property
?PROP
Contract
))
Mid-level-ontology.kif 7141-7143
insured
Proposizione
and
Organizzazione
Proposizione
ha un
attributo
Contract
(=>
(
optionHolder
?OPTION ?AGENT)
(
property
?OPTION
Option
))
FinancialOntology.kif 2591-2593
optionHolder
Agreement
and
AgenteCognitivo
Agreement
ha un
attributo
Option
(=>
(
optionSeller
?OPTION ?AGENT)
(
property
?OPTION
Option
))
FinancialOntology.kif 2604-2606
optionSeller
Agreement
and
AgenteCognitivo
Agreement
ha un
attributo
Option
(=>
(
premium
?OPTION ?AMT)
(
property
?OPTION
Option
))
FinancialOntology.kif 2725-2727
premium
Agreement
and
MisuraMonetaria
Agreement
ha un
attributo
Option
(=>
(
property
?ENTITY
Promise
)
(
or
(
property
?ENTITY
Contract
)
(
property
?ENTITY
NakedPromise
)))
Mid-level-ontology.kif 14122-14126
Entit�
ha un
attributo
Promise
Entit�
ha un
attributo
Contract
Entit�
ha un
attributo
NakedPromise
(=>
(
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
Agreement
ha un
attributo
Option
Attributo
PuntoTemporale
,
FinancialInstrument
and
MisuraMonetaria
Attributo
is
uguale
a
CallOption
Attributo
is
uguale
a
PutOption
Agreement
ha un
attributo
Attributo
agreementExpirationDate
Agreement
and
PuntoTemporale
strikePrice
Agreement
and
MisuraMonetaria
underlier
Agreement
and
FinancialInstrument
la
misura
FinancialInstrument
è 100
ShareUnit
(s
(=>
(
property
?Program
ReplicationsOnSameHostOK
)
(
property
?Program
Restartable
))
QoSontology.kif 1290-1292
Entit�
ha un
attributo
ReplicationsOnSameHostOK
Entit�
ha un
attributo
Restartable
(=>
(
subAttribute
?ATTR1 ?ATTR2)
(
forall
(?OBJ)
(=>
(
property
?OBJ ?ATTR1)
(
property
?OBJ ?ATTR2))))
Merge.kif 689-694
Attributo
è un
sottoattributo
di
Attributo
Entit�
Entit�
ha un
attributo
Attributo
Entit�
ha un
attributo
Attributo
(=>
(
underlier
?OPTION ?FI)
(
property
?OPTION
Option
))
FinancialOntology.kif 2745-2747
underlier
Agreement
and
FinancialInstrument
Agreement
ha un
attributo
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