YearDuration

-------------------------


(=>
    (holdsDuring ?TIME
        (and
            (instance ?TEEN Teenager)
            (age ?TEEN
                (MeasureFn ?NUMBER YearDuration))))
    (and
        (greaterThan ?NUMBER 12)
        (lessThan ?NUMBER 20)))
Mid-level-ontology.kif 323-330
(=>
    (holdsDuring ?TIME
        (and
            (instance ?YOUTH HumanYouth)
            (age ?YOUTH
                (MeasureFn ?NUMBER YearDuration))))
    (lessThan ?NUMBER 18))
Mid-level-ontology.kif 252-257


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