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

Formal Language: 



Term 1: Term 2:

(subclass NightTime TimeInterval) Merge.kif 8888-8888 NightTime ist eine teilkategorie von TimeInterval
(subclass Evening NightTime) Merge.kif 8910-8910 Evening ist eine teilkategorie von NightTime


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