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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - electricityConsumptionInPeriod
electricityConsumptionInPeriod

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2098-2101
No TPTP formula. May not be expressible in strict first order. Economy.kif 2094-2094 The number 1 argument of electricity consumption in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Economy.kif 2095-2095 The number 2 argument of electricity consumption in period is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Economy.kif 2096-2096 The number 3 argument of electricity consumption in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Economy.kif 2093-2093 electricity consumption in 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 860-860
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 859-859
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 858-858
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21588-21588
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21587-21587
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21586-21586

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2112-2121

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2123-2130


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