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

Formal Language: 



Term 1: Term 2:

(subclass ChristmasDay ChristianHoliday) Media.kif 334-334 ChristmasDay ist eine teilkategorie von ChristianHoliday
(subclass ChristmasDay Day) Media.kif 335-335 ChristmasDay ist eine teilkategorie von Day
(subclass ChristmasDay FixedHoliday) Media.kif 336-336 ChristmasDay ist eine teilkategorie von FixedHoliday
(subclass ChristmasDay
    (DayFn 25 December))		 Media.kif 337-337 ChristmasDay ist eine teilkategorie von der tag 25


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