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 子類 Integer and RationalNumber
(subclass EvenInteger Integer) Merge.kif 1960-1960 子類 EvenInteger and Integer
(subclass OddInteger Integer) Merge.kif 1965-1965 子類 OddInteger and Integer
(subclass PrimeNumber Integer) Merge.kif 1970-1970 子類 PrimeNumber and Integer
(subclass NonnegativeInteger Integer) Merge.kif 1975-1975 子類 NonnegativeInteger and Integer
(subclass NegativeInteger Integer) Merge.kif 1985-1985 子類 NegativeInteger and Integer


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