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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SummerSeason

Sigma KEE - SummerSeason
SummerSeason(summer season)
summer, summertime

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19181-19182
No TPTP formula. May not be expressible in strict first order. Geography.kif 1665-1665 Summer season is equal to the recurring period from June to August
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3199-3199
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2992-2992
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3198-3198
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19180-19180 Summer season is a subclass of season of year

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56059-56059
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56058-56058
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56057-56057

appearance as argument number 4
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19132-19132 Season of year is exhaustively partitioned into winter season, spring season, summer season, and fall season

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19191-19196
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19184-19189

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1478-1480
No TPTP formula. May not be expressible in strict first order. Geography.kif 1464-1466
No TPTP formula. May not be expressible in strict first order. Geography.kif 1456-1458
No TPTP formula. May not be expressible in strict first order. Geography.kif 1493-1495
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19202-19207
No TPTP formula. May not be expressible in strict first order. Sports.kif 1340-1350
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19166-19171


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