Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (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 24236-24246
(=>
    (and
        (instance ?WED Wedding)
        (date ?WED ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?CLASS ?FUTURE)
        (and
            (weddingAnniversary ?WED ?CLASS)
            (subclass ?CLASS Day)
            (instance ?FUTURE Integer)
            (equal ?CLASS
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?FUTURE))))
            (greaterThan ?FUTURE ?Y))))		 Mid-level-ontology.kif 24195-24206
(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))		 Merge.kif 3392-3396
(subclass Integer RationalNumber) Merge.kif 1954-1954 Nombre entier est une sous-classe de nombre rationnel
(subclass EvenInteger Integer) Merge.kif 1960-1960 Nombre entier �gal est une sous-classe de nombre entier
(subclass OddInteger Integer) Merge.kif 1965-1965 Nombre entier impair est une sous-classe de nombre entier
(subclass PrimeNumber Integer) Merge.kif 1970-1970 Nombre premier est une sous-classe de nombre entier
(subclass NonnegativeInteger Integer) Merge.kif 1975-1975 Nombre entier non n�gatif est une sous-classe de nombre entier
(subclass NegativeInteger Integer) Merge.kif 1985-1985 Nombre entier n�gatif est une sous-classe de nombre entier


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