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

Formal Language: 



Term 1: Term 2:

(subclass PalmSunday ChristianHoliday) Media.kif 459-459 PalmSunday ist eine teilkategorie von ChristianHoliday
(subclass PalmSunday Sunday) Media.kif 460-460 PalmSunday ist eine teilkategorie von Sunday
(subclass PalmSunday MoveableHoliday) Media.kif 461-461 PalmSunday ist eine teilkategorie von MoveableHoliday


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