Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  WinterSeason

 Sigma KEE - WinterSeason
WinterSeason(冬季)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19170-19171
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. pictureList.kif 4951-4951
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5095-5095
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5097-5097
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5096-5096
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19169-19169 冬季 是 一年的季节 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19159-19159 一年的季节 详尽无遗地 partition 成 冬季, 春暖花开的季节, 夏季, 和 秋季
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63215-63215
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63214-63214
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63213-63213

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19180-19185
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19173-19178

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 1533-1541
No TPTP formula. May not be expressible in strict first order. Geography.kif 1474-1476
No TPTP formula. May not be expressible in strict first order. Geography.kif 1452-1454
No TPTP formula. May not be expressible in strict first order. Geography.kif 1460-1462
No TPTP formula. May not be expressible in strict first order. Geography.kif 1489-1491
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19236-19241
No TPTP formula. May not be expressible in strict first order. Sports.kif 1341-1351
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19200-19205


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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