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

Formal Language: 



Term 1: Term 2:

(subclass Lent ChristianHoliday) Media.kif 413-413 Lent ist eine teilkategorie von ChristianHoliday
(subclass Lent MoveableHoliday) Media.kif 414-414 Lent 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