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

Formal Language: 



Term 1: Term 2:

(subclass Day TimeInterval) Merge.kif 9139-9139 时距subclass
(subclass Monday Day) Merge.kif 9149-9149 星期一subclass
(subclass Tuesday Day) Merge.kif 9152-9152 星期二subclass
(subclass Wednesday Day) Merge.kif 9165-9165 星期三subclass
(subclass Thursday Day) Merge.kif 9178-9178 星期四subclass
(subclass Friday Day) Merge.kif 9191-9191 星期五subclass
(subclass Saturday Day) Merge.kif 9204-9204 星期六subclass
(subclass Sunday Day) Merge.kif 9217-9217 星期日subclass
(subclass ChristmasDay Day) Media.kif 335-335 ChristmasDaysubclass


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