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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SeasonOfYear

 Sigma KEE - SeasonOfYear
SeasonOfYear(season of year)
high_season, holiday_season, off-season, peak_season, season, time_of_year

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19132-19139
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2628-2628
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2627-2627
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2522-2522
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2629-2629
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19131-19131 Season of year is exhaustively partitioned into winter season, spring season, summer season, and fall season
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19130-19130 Season of year is a subclass of time interval

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19197-19197 Fall season is a subclass of season of year
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19159-19159 Spring season is a subclass of season of year
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19179-19179 Summer season is a subclass of season of year
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19141-19141 Winter season is a subclass of season of year
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51723-51723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51722-51722
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51721-51721


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