duration
(=>
(
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}
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