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 O argumento numero 1 de electricityConsumptionInPeriod e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order. Economy.kif 2095-2095 O argumento numero 2 de electricityConsumptionInPeriod e' uma instancia de Quantidade Fisica
No TPTP formula. May not be expressible in strict first order. Economy.kif 2096-2096 O argumento numero 3 de electricityConsumptionInPeriod e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order. Economy.kif 2093-2093 electricityConsumptionInPeriod e' uma instancia de Predicado Ternario

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