No TPTP formula. May not be expressible in strict first order.	Government.kif 3055-3055	15 Day 是 世界海关组织 的成立 date
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1667-1667	冬季 equal 从十二月到二月再次发生所需的时间
No TPTP formula. May not be expressible in strict first order.	Media.kif 337-337	ChristmasDay 是 25 day 的 subclass

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