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 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 1618-1618 域子類 地區溫暖的季節, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order. Geography.kif 1616-1616 例 地區溫暖的季節 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Geography.kif 1615-1615 例 地區溫暖的季節 and BinaryPredicate

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