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

Formal Language: 



Term 1: Term 2:

(subclass DayTime TimeInterval) Merge.kif 8857-8857 DayTime ist eine teilkategorie von TimeInterval
(subclass Afternoon DayTime) Merge.kif 8788-8788 Afternoon ist eine teilkategorie von DayTime
(subclass Morning DayTime) Merge.kif 8803-8803 Morning ist eine teilkategorie von DayTime


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