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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpringSeason
SpringSeason(spring season)
spring, springtime

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18485-18488
No TPTP formula. May not be expressible in strict first order. Geography.kif 1659-1659 Spring season is equal to the recurring period from March to May
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2639-2639
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2535-2535
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18484-18484 Spring 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 54831-54831
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54830-54830
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54829-54829

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18456-18456 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 18490-18495
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18497-18502

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18508-18513
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18470-18475


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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