Sigma KB Term Intersection

(=>
    (and
        (birthdate ?A ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?CLASS ?FUTURE)
        (and
            (birthday ?A ?CLASS)
            (subclass ?CLASS Day)
            (instance ?FUTURE Integer)
            (equal ?CLASS
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?FUTURE))))
            (greaterThan ?FUTURE ?Y))))

Mid-level-ontology.kif 24235-24245

Wenn birthdate Human and Day und ** Day ist ein fall von der tag PositiveInteger %n{nicht},
dann es gibt ** ** Day und Integer um birthday ** Human and ** ** Day und ** ** ** Day ist eine teilkategorie von Day und ** Integer ist ein fall von Integer %n{nicht} und ** ** ** Day ist gleich der tag ** PositiveInteger %n{nicht} und ** Integer ist groesserAls ** Integer %n{nicht}

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