property
(=>
(
property
?C
ServiceContract
)
(
exists
(?SP ?SERVICE ?CUST)
(
and
(
instance
?SP
ServiceProcess
)
(
realization
?SP ?C)
(
serviceProvider
?SP ?SERVICE)
(
serviceRecipient
?SP ?CUST)
(
partyToAgreement
?C ?SERVICE)
(
partyToAgreement
?C ?CUST))))
Mid-level-ontology.kif 14198-14207
Proposition
a un
attribute
ServiceContract
ServiceProcess
Agreement
and
proposition
UST
ServiceProcess
est une
instance
de
ServiceProcess
ServiceProcess
exprime
le contenu de
proposition
serviceProvider
ServiceProcess
and
Agreement
serviceRecipient
ServiceProcess
and
proposition
UST
partyToAgreement
proposition
and
Agreement
partyToAgreement
proposition
and
proposition
UST
(=>
(
property
?Commitment
LoanCommitment
)
(
exists
(?Loan ?Lender ?Borrower)
(
and
(
instance
?Loan
Loan
)
(
lender
?Loan ?Lender)
(
borrower
?Loan ?Borrower)
(
partyToAgreement
?Commitment ?Lender)
(
partyToAgreement
?Commitment ?Borrower))))
FinancialOntology.kif 1473-1481
Agent cognitif
a un
attribute
LoanCommitment
Loan
Agreement
and
Agreement
Loan
est une
instance
de
Loan
lender
Loan
and
Agreement
borrower
Loan
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
(=>
(
property
?ENTITY
Promise
)
(
or
(
property
?ENTITY
Contract
)
(
property
?ENTITY
NakedPromise
)))
Mid-level-ontology.kif 14123-14127
Entit�
a un
attribute
Promise
entit�
a un
attribute
Contract
entit�
a un
attribute
NakedPromise
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 39))))
FinancialOntology.kif 2574-2580
Agreement
a un
attribute
ConventionalOption
nombre r�el
interval temporel
agreementPeriod
Agreement
and
interval temporel
la
dur
�� de
interval temporel
est
nombre r�el
MonthDuration
(s)
nombre r�el
est
moins
que 39
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 9))))
FinancialOntology.kif 2558-2564
Agreement
a un
attribute
ConventionalOption
nombre r�el
interval temporel
agreementPeriod
Agreement
and
interval temporel
la
dur
�� de
interval temporel
est
nombre r�el
MonthDuration
(s)
nombre r�el
est
moins
que 9
(=>
(
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
a un
attribute
Option
attribut
point temporel
,
FinancialInstrument
and
mesure de devise
attribut
est
CallOption
attribut
est
PutOption
Agreement
a un
attribute
attribut
agreementExpirationDate
Agreement
and
point temporel
strikePrice
Agreement
and
mesure de devise
underlier
Agreement
and
FinancialInstrument
la
mesure
de
FinancialInstrument
est 100
ShareUnit
(s)
(=>
(
property
?Order
DayOrder
)
(
and
(
agreementPeriod
?Order ?Period)
(
duration
?Period
(
MeasureFn
1
DayDuration
))))
FinancialOntology.kif 2940-2944
Agreement
a un
attribute
DayOrder
agreementPeriod
Agreement
and
interval temporel
la
dur
�� de
interval temporel
est 1
DayDuration
(s)
(=>
(
property
?PROCESS
ChemicalEquilibrium
)
(
exists
(?RATIO ?TIME ?RESOURCE ?RESULT)
(=>
(
and
(
holdsDuring
?TIME
(
resource
?PROCESS ?RESOURCE))
(
holdsDuring
?TIME
(
result
?PROCESS ?RESULT)))
(
equal
?RATIO
(
DivisionFn
?RESOURCE ?RESULT)))))
Mid-level-ontology.kif 19635-19642
Entit�
a un
attribute
ChemicalEquilibrium
nombre r�el
position temporel
,
nombre r�el
and
nombre r�el
nombre r�el
est une
resource
pour
entit�
pendant
position temporel
nombre r�el
est le
resultat
de
entit�
pendant
position temporel
nombre r�el
est
nombre r�el
+
nombre r�el
(=>
(
property
?PROCESS
ChemicalEquilibrium
)
(
instance
?PROCESS
ChemicalProcess
))
Mid-level-ontology.kif 19631-19633
Entit�
a un
attribute
ChemicalEquilibrium
entit�
est une
instance
de
processus chimique
(=>
(
property
?Program
ReplicationsOnSameHostOK
)
(
property
?Program
Restartable
))
QoSontology.kif 1290-1292
Entit�
a un
attribute
ReplicationsOnSameHostOK
entit�
a un
attribute
Restartable
(=>
(
property
?T
Treaty
)
(
exists
(?N1 ?N2)
(
and
(
partyToAgreement
?T ?N1)
(
partyToAgreement
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2)))))
Mid-level-ontology.kif 14220-14229
Agent cognitif
a un
attribute
Treaty
Agreement
Agreement
partyToAgreement
agent cognitif
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
Agreement
est une
instance
de
nation
Agreement
est une
instance
de
nation
Agreement
est
Agreement
(=>
(
property
?TEST
ABTest
)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experimentalControlProcess
?TEST ?PROCESS))))
UXExperimentalTerms.kif 4425-4430
Experimenting
a un
attribute
ABTest
processus
processus
est une
instance
de
processus
experimentalControlProcess
Experimenting
and
processus
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