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

Formal Language: 



KB Term:  Term intersection
English Word: 

  electricityFractionFromSource

Sigma KEE - electricityFractionFromSource
electricityFractionFromSource

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2057-2060
No TPTP formula. May not be expressible in strict first order. Economy.kif 2053-2053 The number 1 argument of electricity fraction from source is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Economy.kif 2055-2055 The number 3 argument of electricity fraction from source is an instance of real number
No TPTP formula. May not be expressible in strict first order. Economy.kif 2054-2054 The number 2 argument of electricity fraction from source is a subclass of power generation
No TPTP formula. May not be expressible in strict first order. Economy.kif 2052-2052 electricity fraction from source is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 869-869
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 868-868
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 867-867
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21591-21591
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21590-21590
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21589-21589

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2062-2064

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2067-2072 A geopolitical area is electricity fraction from source in period a kind of power generation for a real number with a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the geopolitical area is electricity fraction from source a kind of power generation for the real number holds during the time position


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