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

Formal Language: 



Term 1: Term 2:

(=>
    (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 Wedding Ceremony) Mid-level-ontology.kif 7959-7959 Wedding e' uma sub-classe de Ceremony
(subclass Wedding Declaring) Mid-level-ontology.kif 7960-7960 Wedding e' uma sub-classe de Declarar
(subclass ReligiousWedding Wedding) Biography.kif 53-53 ReligiousWedding e' uma sub-classe de Wedding


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