Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
ethnicityPercentInRegion
Sigma KEE - ethnicityPercentInRegion
ethnicityPercentInRegion
appearance as argument number 1
(
documentation
ethnicityPercentInRegion
EnglishLanguage
"The percentage of the population of a given
GeographicArea
that belongs to a particular
EthnicGroup
.")
People.kif 1541-1542
(
domain
ethnicityPercentInRegion
1
EthnicGroup
)
People.kif 1544-1544
O argumento numero 1 de
ethnicityPercentInRegion
e' uma
instancia
de
Grupo Etnico
(
domain
ethnicityPercentInRegion
2
RealNumber
)
People.kif 1545-1545
O argumento numero 2 de
ethnicityPercentInRegion
e' uma
instancia
de
Numero Real
(
domain
ethnicityPercentInRegion
3
GeographicArea
)
People.kif 1546-1546
O argumento numero 3 de
ethnicityPercentInRegion
e' uma
instancia
de
Area Geografica
(
instance
ethnicityPercentInRegion
TernaryPredicate
)
People.kif 1543-1543
ethnicityPercentInRegion
e' uma
instancia
de
Predicado Ternario
appearance as argument number 2
(
format
ChineseLanguage
ethnicityPercentInRegion
"%2 percent 的人在 %3 是 %1 ")
domainEnglishFormat.kif 3318-3318
(
format
ChineseTraditionalLanguage
ethnicityPercentInRegion
"%2 percent 的人在 %3 是 %1 ")
domainEnglishFormat.kif 3317-3317
(
format
EnglishLanguage
ethnicityPercentInRegion
"%2 percent of people in %3 are %1")
domainEnglishFormat.kif 3316-3316
(
termFormat
EnglishLanguage
ethnicityPercentInRegion
"ethnicity percent in region")
domainEnglishFormat.kif 65823-65823
antecedent
(<=>
(
ethnicityPercentInRegion
?BG ?N ?R)
(
exists
(?G1 ?G2 ?P ?P2 ?N1 ?N2)
(
and
(
located
?P ?R)
(
member
?P ?BG)
(
member
?P ?G1)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1547-1558
ethnicityPercentInRegion
Grupo Etnico
,
Numero Real
and
Area Geografica
Colecao
Colecao
,
Fisico
,
Fisico
2,
Numero Real
1 and
Numero Real
2
Fisico
e'
situado
em
Area Geografica
Fisico
e'
membro
de
Grupo Etnico
Fisico
e'
membro
de
Colecao
memberCount
Colecao
and
Numero Real
1
Fisico
2 e'
situado
em
Area Geografica
Fisico
2 e'
membro
de
Colecao
memberCount
Colecao
and
Numero Real
2
Numero Real
+ 100 e'
igual
a
Numero Real
1 +
Numero Real
2
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