duration
(=>
(
property
?Order
DayOrder
)
(
and
(
agreementPeriod
?Order ?Period)
(
duration
?Period
(
MeasureFn
1
DayDuration
))))
FinancialOntology.kif 2940-2944
如果
协议
有
一天的订单
的
attribute
,
然后
时距
是
那个 协议
的
agreement
週期 和
那个 时距
的
duration
是 1
一天长度
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