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
Wenn
Proposition
hat ein
attribut
ServiceContract
%n{nicht},
dann es gibt
ServiceProcess
,
Agreement
, and und
** Proposition
UST um
** ServiceProcess
ist ein
fall
von
ServiceProcess
%n{nicht} und
** ServiceProcess
druekt den Inhalt von
** Proposition
aus und
serviceProvider
** ServiceProcess
and
** Agreement
und
serviceRecipient
** ServiceProcess
and
** Proposition
UST und
partyToAgreement
** Proposition
and
** Agreement
und
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
Wenn
CognitiveAgent
hat ein
attribut
LoanCommitment
%n{nicht},
dann es gibt
Loan
,
Agreement
, and und
** Agreement
um
** Loan
ist ein
fall
von
Loan
%n{nicht} und
lender
** Loan
and
** Agreement
und
borrower
** Loan
and
** ** Agreement
und
partyToAgreement
** CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
and
** ** Agreement
(=>
(
property
?ENTITY
Promise
)
(
or
(
property
?ENTITY
Contract
)
(
property
?ENTITY
NakedPromise
)))
Mid-level-ontology.kif 14123-14127
Wenn
Entity
hat ein
attribut
Promise
%n{nicht},
dann
** Entity
hat ein
attribut
Contract
%n{nicht} oder
** Entity
hat ein
attribut
NakedPromise
%n{nicht}
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 39))))
FinancialOntology.kif 2574-2580
Wenn
Agreement
hat ein
attribut
ConventionalOption
%n{nicht},
dann es gibt
RealNumber
und
TimeInterval
um
agreementPeriod
** Agreement
and
** TimeInterval
und
dauer
von
** TimeInterval
ist
** RealNumber
MonthDuration
(s) %n{nicht} und
** RealNumber
ist
kleinerAls
39 %n{nicht}
(=>
(
property
?Option
ConventionalOption
)
(
exists
(?Number ?Period)
(
and
(
agreementPeriod
?Option ?Period)
(
duration
?Period
(
MeasureFn
?Number
MonthDuration
))
(
lessThan
?Number 9))))
FinancialOntology.kif 2558-2564
Wenn
Agreement
hat ein
attribut
ConventionalOption
%n{nicht},
dann es gibt
RealNumber
und
TimeInterval
um
agreementPeriod
** Agreement
and
** TimeInterval
und
dauer
von
** TimeInterval
ist
** RealNumber
MonthDuration
(s) %n{nicht} und
** RealNumber
ist
kleinerAls
9 %n{nicht}
(=>
(
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
Wenn
Agreement
hat ein
attribut
Option
%n{nicht},
dann es gibt
Attribute
,
TimePoint
,, ,
FinancialInstrument
, and und
CurrencyMeasure
um
** Attribute
ist gleich
CallOption
%n{nicht} oder
** Attribute
ist gleich
PutOption
%n{nicht} und
** Agreement
hat ein
attribut
** Attribute
%n{nicht} und
agreementExpirationDate
** Agreement
and
** TimePoint
und
strikePrice
** Agreement
and
** CurrencyMeasure
und
underlier
** Agreement
and
** FinancialInstrument
und das
mass
von
** FinancialInstrument
ist 100
ShareUnit
(s) %n{nicht}
(=>
(
property
?Order
DayOrder
)
(
and
(
agreementPeriod
?Order ?Period)
(
duration
?Period
(
MeasureFn
1
DayDuration
))))
FinancialOntology.kif 2940-2944
Wenn
Agreement
hat ein
attribut
DayOrder
%n{nicht},
dann
agreementPeriod
** Agreement
and
TimeInterval
und
dauer
von
** TimeInterval
ist 1
DayDuration
(s) %n{nicht}
(=>
(
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
Wenn
Entity
hat ein
attribut
ChemicalEquilibrium
%n{nicht},
dann es gibt
RealNumber
,
TimePosition
,, ,
** RealNumber
, and und
** RealNumber
um
wenn
** ** RealNumber
ist ein
hilfmittel
fuer
** Entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht} und
** ** RealNumber
ist ein
resultat
von
** Entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht},
dann
** RealNumber
ist gleich
** ** RealNumber
und
** ** RealNumber
%n{nicht}
(=>
(
property
?PROCESS
ChemicalEquilibrium
)
(
instance
?PROCESS
ChemicalProcess
))
Mid-level-ontology.kif 19631-19633
Wenn
Entity
hat ein
attribut
ChemicalEquilibrium
%n{nicht},
dann
** Entity
ist ein
fall
von
ChemicalProcess
%n{nicht}
(=>
(
property
?Program
ReplicationsOnSameHostOK
)
(
property
?Program
Restartable
))
QoSontology.kif 1290-1292
Wenn
Entity
hat ein
attribut
ReplicationsOnSameHostOK
%n{nicht},
dann
** Entity
hat ein
attribut
Restartable
%n{nicht}
(=>
(
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
Wenn
CognitiveAgent
hat ein
attribut
Treaty
%n{nicht},
dann es gibt
Agreement
und
** Agreement
um
partyToAgreement
** CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
and
** ** Agreement
und
** Agreement
ist ein
fall
von
Nation
%n{nicht} und
** ** Agreement
ist ein
fall
von
Nation
%n{nicht} und
** Agreement
ist gleich
** ** Agreement
nicht
(=>
(
property
?TEST
ABTest
)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experimentalControlProcess
?TEST ?PROCESS))))
UXExperimentalTerms.kif 4425-4430
Wenn
Experimenting
hat ein
attribut
ABTest
%n{nicht},
dann es gibt
Process
um
** Process
ist ein
fall
von
Process
%n{nicht} und
experimentalControlProcess
** Experimenting
and
** 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