YearDuration
(年持續時間)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 323-330
持有期間
TimePosition
and
例
entity
and
青少年
年齡
entity
and
測量
RealNumber
and
年持續時間
比較多
RealNumber
and 12
少於
RealNumber
and 20
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 252-257
持有期間
TimePosition
and
例
entity
and
人類青年
年齡
entity
and
測量
RealNumber
and
年持續時間
少於
RealNumber
and 18
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