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

Formal Language: 



Term 1: Term 2:

(subclass Epiphany ChristianHoliday) Media.kif 516-516 Epiphany ist eine teilkategorie von ChristianHoliday
(subclass Epiphany
    (DayFn 6 January))		 Media.kif 517-517 Epiphany ist eine teilkategorie von der tag 6
(subclass Epiphany FixedHoliday) Media.kif 518-518 Epiphany ist eine teilkategorie von FixedHoliday


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