property
(=>
(
instance
?Attribute
ComputerPathAttribute
)
(
exists
(?Path)
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path ?Attribute))))
QoSontology.kif 1097-1102
Atributo
e' uma
instancia
de
ComputerPathAttribute
Entidade
Entidade
e' uma
instancia
de
ComputerPath
Entidade
tem um
atributo
de
Atributo
(=>
(
instance
?DOC
ContractDocument
)
(
exists
(?PROP)
(
and
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))))
Media.kif 979-984
ContentBearingPhysical
e' uma
instancia
de
ContractDocument
Proposicao
ContentBearingPhysical
contem
informacao
Proposicao
Proposicao
tem um
atributo
de
Contract
(=>
(
insured
?PROP ?ORG)
(
property
?PROP
Contract
))
Mid-level-ontology.kif 7142-7144
insured
Proposicao
and
Organizacao
Proposicao
tem um
atributo
de
Contract
(=>
(
optionHolder
?OPTION ?AGENT)
(
property
?OPTION
Option
))
FinancialOntology.kif 2591-2593
optionHolder
Agreement
and
Agente Cognitivo
Agreement
tem um
atributo
de
Option
(=>
(
optionSeller
?OPTION ?AGENT)
(
property
?OPTION
Option
))
FinancialOntology.kif 2604-2606
optionSeller
Agreement
and
Agente Cognitivo
Agreement
tem um
atributo
de
Option
(=>
(
premium
?OPTION ?AMT)
(
property
?OPTION
Option
))
FinancialOntology.kif 2725-2727
premium
Agreement
and
Medida de Divisa
Agreement
tem um
atributo
de
Option
(=>
(
property
?ENTITY
Promise
)
(
or
(
property
?ENTITY
Contract
)
(
property
?ENTITY
NakedPromise
)))
Mid-level-ontology.kif 14123-14127
Entidade
tem um
atributo
de
Promise
Entidade
tem um
atributo
de
Contract
Entidade
tem um
atributo
de
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
tem um
atributo
de
Option
Atributo
Ponto no tempo
,
FinancialInstrument
and
Medida de Divisa
Atributo
e'
igual
a
CallOption
Atributo
e'
igual
a
PutOption
Agreement
tem um
atributo
de
Atributo
agreementExpirationDate
Agreement
and
Ponto no tempo
strikePrice
Agreement
and
Medida de Divisa
underlier
Agreement
and
FinancialInstrument
a
medida
de
FinancialInstrument
e' 100
ShareUnit
(s)
(=>
(
property
?Program
ReplicationsOnSameHostOK
)
(
property
?Program
Restartable
))
QoSontology.kif 1290-1292
Entidade
tem um
atributo
de
ReplicationsOnSameHostOK
Entidade
tem um
atributo
de
Restartable
(=>
(
subAttribute
?ATTR1 ?ATTR2)
(
forall
(?OBJ)
(=>
(
property
?OBJ ?ATTR1)
(
property
?OBJ ?ATTR2))))
Merge.kif 689-694
Atributo
e' um
sub
-atributo de
Atributo
Entidade
Entidade
tem um
atributo
de
Atributo
Entidade
tem um
atributo
de
Atributo
(=>
(
underlier
?OPTION ?FI)
(
property
?OPTION
Option
))
FinancialOntology.kif 2745-2747
underlier
Agreement
and
FinancialInstrument
Agreement
tem um
atributo
de
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