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

Formal Language: 



KB Term:  Term intersection
English Word: 

  averagePrecipitationForPeriod

Sigma KEE - averagePrecipitationForPeriod
averagePrecipitationForPeriod

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1223-1226
No TPTP formula. May not be expressible in strict first order. Weather.kif 1220-1220 The number 1 argument of average precipitation for period is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Weather.kif 1221-1221 The number 2 argument of average precipitation for period is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Weather.kif 1222-1222 The number 3 argument of average precipitation for period is an instance of constant quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 1219-1219 average precipitation for period is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 232-232
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 231-231
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 230-230
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9348-9348
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9347-9347
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9346-9346


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