YearDuration
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 323-330
Entit�
est une
instance
de
Teenager
l'
entit�
est
nombre r�el
YearDuration
(s)
pendant
position temporel
nombre r�el
est
plus
grand
que 12
nombre r�el
est
moins
que 20
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 252-257
Entit�
est une
instance
de
HumanYouth
l'
entit�
est
nombre r�el
YearDuration
(s)
pendant
position temporel
nombre r�el
est
moins
que 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