YearDuration
(年持续时间)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 323-330
如果
实体
是
青少年
的
instance
和
那个 实体
的
age
是
实数
年持续时间
在
时间位置
holdsDuring
,
然后
那个 实数
是
greaterThan
12 和
那个 实数
是
lessThan
20
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 252-257
如果
实体
是
人类青年
的
instance
和
那个 实体
的
age
是
实数
年持续时间
在
时间位置
holdsDuring
,
然后
那个 实数
是
lessThan
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