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 24235-24245
(=>
    (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 24194-24205
(subclass Day TimeInterval) Merge.kif 9252-9252 Giorno è una sottoclasse di IntervalloTemporale
(subclass Monday Day) Merge.kif 9262-9262 Luned� è una sottoclasse di Giorno
(subclass Tuesday Day) Merge.kif 9265-9265 Marted� è una sottoclasse di Giorno
(subclass Wednesday Day) Merge.kif 9278-9278 Mercoled� è una sottoclasse di Giorno
(subclass Thursday Day) Merge.kif 9291-9291 Gioved� è una sottoclasse di Giorno
(subclass Friday Day) Merge.kif 9304-9304 Venerd� è una sottoclasse di Giorno
(subclass Saturday Day) Merge.kif 9317-9317 Sabato è una sottoclasse di Giorno
(subclass Sunday Day) Merge.kif 9330-9330 Domenica è una sottoclasse di Giorno
(subclass ChristmasDay Day) Media.kif 335-335 ChristmasDay è una sottoclasse di Giorno


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