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
(subclass Day TimeInterval) Merge.kif 9230-9230 Giorno è una sottoclasse di IntervalloTemporale
(subclass Monday Day) Merge.kif 9240-9240 Luned� è una sottoclasse di Giorno
(subclass Tuesday Day) Merge.kif 9243-9243 Marted� è una sottoclasse di Giorno
(subclass Wednesday Day) Merge.kif 9256-9256 Mercoled� è una sottoclasse di Giorno
(subclass Thursday Day) Merge.kif 9269-9269 Gioved� è una sottoclasse di Giorno
(subclass Friday Day) Merge.kif 9282-9282 Venerd� è una sottoclasse di Giorno
(subclass Saturday Day) Merge.kif 9295-9295 Sabato è una sottoclasse di Giorno
(subclass Sunday Day) Merge.kif 9308-9308 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