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  electricityFractionFromSourceInPeriod
electricityFractionFromSourceInPeriod
appearance as argument number 1
(
documentation
electricityFractionFromSourceInPeriod
EnglishLanguage
"(
electricityFractionFromSourceInPeriod
?AREA ?SOURCE ?FRACTION ?PERIOD) means that in the
GeopoliticalArea
?AREA, ?SOURCE provides ?FRACTION of the total electricity production during the
TimeInterval
indicated by ?PERIOD.")
Economy.kif 20352039
(
domain
electricityFractionFromSourceInPeriod
1
GeopoliticalArea
)
Economy.kif 20302030
The number 1 argument of
electricity fraction from source in period
is an
instance
of
geopolitical area
(
domain
electricityFractionFromSourceInPeriod
3
RealNumber
)
Economy.kif 20322032
The number 3 argument of
electricity fraction from source in period
is an
instance
of
real number
(
domainSubclass
electricityFractionFromSourceInPeriod
2
PowerGeneration
)
Economy.kif 20312031
The number 2 argument of
electricity fraction from source in period
is a
subclass
of
power generation
(
domainSubclass
electricityFractionFromSourceInPeriod
4
TimeInterval
)
Economy.kif 20332033
The number 4 argument of
electricity fraction from source in period
is a
subclass
of
time interval
(
instance
electricityFractionFromSourceInPeriod
QuaternaryPredicate
)
Economy.kif 20292029
electricity fraction from source in period
is an
instance
of
quaternary predicate
appearance as argument number 2
(
format
EnglishLanguage
electricityFractionFromSourceInPeriod
"%1 %n{doesn't} electricity fraction from source in period %2 for %3 with %4")
domainEnglishFormat.kif 227227
(
termFormat
EnglishLanguage
electricityFractionFromSourceInPeriod
"electricity fraction from source in period")
domainEnglishFormat.kif 40224022
"electricity fraction from source in period" is the
printable
form
of
electricity fraction from source in period
in
english language
antecedent
(<=>
(
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
(=>
(
electricityFractionFromSourceInPeriod
?AREA ?SOURCE ?FRACTION ?PERIOD)
(
lessThanOrEqualTo
?FRACTION 1.0))
Economy.kif 20412043
If
a geopolitical area
electricity
fraction from source in period
a kind of power generation
for
a real number
with
a kind of time interval
,
then
the real number
is
less
than or equal to 1.0
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