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
If
a proposition
the
attribute
service contract
,
then there exist
a service
,
an agreement
and
the proposition
UST such that
the service
is an
instance
of
service
and
the service
express
es the content of
the proposition
and
the agreement
provides a service during
the service
and
the proposition
UST receives a service during
the service
and
the agreement
is a
party
to agreement of
the proposition
and
the proposition
UST is a
party
to agreement of
the proposition
(=>
(
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
If
a cognitive agent
the
attribute
loan commitment
,
then there exist
a loan
,
an agreement
and
another agreement
such that
the loan
is an
instance
of
loan
and
the agreement
lends
the loan
and
the loan
is the
borrower
of
the other agreement
and
the agreement
is a
party
to agreement of
the cognitive agent
and
the other agreement
is a
party
to agreement of
the cognitive agent
(=>
(
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
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 39))))
FinancialOntology.kif 2574-2580
If
an agreement
the
attribute
conventional option
,
then there exist
a real number
and
a time interval
such that
the time interval
is an
agreement
period of
the agreement
and
duration
of
the time interval
is
the real number
month duration
(s) and
the real number
is
less
than 39
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 9))))
FinancialOntology.kif 2558-2564
If
an agreement
the
attribute
conventional option
,
then there exist
a real number
and
a time interval
such that
the time interval
is an
agreement
period of
the agreement
and
duration
of
the time interval
is
the real number
month duration
(s) and
the real number
is
less
than 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
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
?Order
DayOrder
)
(
and
(
agreementPeriod
?Order ?Period)
(
duration
?Period
(
MeasureFn
1
DayDuration
))))
FinancialOntology.kif 2940-2944
If
an agreement
the
attribute
day order
,
then
a time interval
is an
agreement
period of
the agreement
and
duration
of
the time interval
is 1
day duration
(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
If
an entity
the
attribute
chemical equilibrium
,
then there exist
a real number
,
a time position
,, ,
another real number
and
a third real number
such that
if
the other real number
is a
resource
for
the entity
holds
during
the time position
and
the third real number
is a
result
of
the entity
holds
during
the time position
,
then
the real number
is
equal
to
the other real number
and
the third real number
(=>
(
property
?PROCESS
ChemicalEquilibrium
)
(
instance
?PROCESS
ChemicalProcess
))
Mid-level-ontology.kif 19631-19633
If
an entity
the
attribute
chemical equilibrium
,
then
the entity
is an
instance
of
chemical process
(=>
(
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
(=>
(
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
If
a cognitive agent
the
attribute
treaty
,
then there exist
an agreement
and
another agreement
such that
the agreement
is a
party
to agreement of
the cognitive agent
and
the other agreement
is a
party
to agreement of
the cognitive agent
and
the agreement
is an
instance
of
nation
and
the other agreement
is an
instance
of
nation
and
the agreement
is not
equal
to
the other agreement
(=>
(
property
?TEST
ABTest
)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experimentalControlProcess
?TEST ?PROCESS))))
UXExperimentalTerms.kif 4425-4430
If
an experimenting
the
attribute
A/B test
,
then there exists
a process
such that
the process
is an
instance
of
process
and the
control
in experiment
the experimenting
is
the process
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