Browsing Interface
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
CroatianLanguage
DanishLanguage
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GreekLanguage
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
de
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE  electricityFractionFromSource
electricityFractionFromSource
appearance as argument number 1
(
documentation
electricityFractionFromSource
EnglishLanguage
"(
electricityFractionFromSource
?AREA ?SOURCE ?FRACTION) means that in the
GeopoliticalArea
?AREA, ?SOURCE provides ?FRACTION of the total electricity production.")
Economy.kif 20502053
(
domain
electricityFractionFromSource
1
GeopoliticalArea
)
Economy.kif 20462046
The number 1 argument of
electricity fraction from source
is an
instance
of
geopolitical area
(
domain
electricityFractionFromSource
3
RealNumber
)
Economy.kif 20482048
The number 3 argument of
electricity fraction from source
is an
instance
of
real number
(
domainSubclass
electricityFractionFromSource
2
PowerGeneration
)
Economy.kif 20472047
The number 2 argument of
electricity fraction from source
is a
subclass
of
power generation
(
instance
electricityFractionFromSource
TernaryPredicate
)
Economy.kif 20452045
electricity fraction from source
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
EnglishLanguage
electricityFractionFromSource
"%1 %n{doesn't} electricity fraction from source %2 for %3")
domainEnglishFormat.kif 226226
(
termFormat
EnglishLanguage
electricityFractionFromSource
"electricity fraction from source")
domainEnglishFormat.kif 40214021
"electricity fraction from source" is the
printable
form
of
electricity fraction from source
in
english language
antecedent
(=>
(
electricityFractionFromSource
?AREA ?SOURCE ?FRACTION)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 20552057
If
a geopolitical area
electricity
fraction from source
a kind of power generation
for
a real number
,
then
the real number
is
less
than or equal to 1.0
consequent
(<=>
(
electricityFractionFromSourceInPeriod
?AREA ?SOURCE ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
electricityFractionFromSource
?AREA ?SOURCE ?FRACTION)))))
Economy.kif 20602065
A geopolitical area
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
electricity
fraction from source
a kind of power generation
for
the real number
holds
during
the time position
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners