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

Formal Language: 



KB Term:  Term intersection
English Word: 

  averageRainfallForPeriod

Sigma KEE - averageRainfallForPeriod
averageRainfallForPeriod

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1273-1276
No TPTP formula. May not be expressible in strict first order. Geography.kif 1277-1277 The number 1 argument of average rainfall for period is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 1278-1278 The number 2 argument of average rainfall for period is an instance of month
No TPTP formula. May not be expressible in strict first order. Geography.kif 1279-1279 The number 3 argument of average rainfall for period is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 1272-1272 average rainfall 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 68-68
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1994-1994 "average rainfall for period" is the printable form of average rainfall for period in english language

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1288-1295

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1297-1302


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners