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

Formal Language: 



KB Term:  Term intersection
English Word: 

  warmSeasonInArea

 Sigma KEE - warmSeasonInArea
warmSeasonInArea

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1620-1622
No TPTP formula. May not be expressible in strict first order. Geography.kif 1617-1617 地区温暖的季节 的 1 数量 是 地理区域 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 1618-1618 地区温暖的季节 的 2 数量 是 时距 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 1616-1616 地区温暖的季节 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 1615-1615 地区温暖的季节 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2611-2611
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2610-2610
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2609-2609
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62217-62217
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62216-62216
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62215-62215

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1456-1458


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