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 19142-19143
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 19141-19141 冬季 是 一年的季节 的 subclass

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19152-19157
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19145-19150

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 19208-19213
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 19172-19177


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