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
beliefGroupPercentInRegion
Sigma KEE - beliefGroupPercentInRegion
beliefGroupPercentInRegion
appearance as argument number 1
(
documentation
beliefGroupPercentInRegion
EnglishLanguage
"The percentage of the population of a given
GeographicArea
that subscribes to a particular belief, typically a religion.")
People.kif 1521-1523
(
domain
beliefGroupPercentInRegion
1
BeliefGroup
)
People.kif 1525-1525
Il numero 1 argomenti di
beliefGroupPercentInRegion
è un
istanza
di
BeliefGroup
(
domain
beliefGroupPercentInRegion
2
RealNumber
)
People.kif 1526-1526
Il numero 2 argomenti di
beliefGroupPercentInRegion
è un
istanza
di
NumeroReale
(
domain
beliefGroupPercentInRegion
3
GeographicArea
)
People.kif 1527-1527
Il numero 3 argomenti di
beliefGroupPercentInRegion
è un
istanza
di
AreaGeografica
(
instance
beliefGroupPercentInRegion
TernaryPredicate
)
People.kif 1524-1524
beliefGroupPercentInRegion
è un'
istanza
di
PredicatoTernario
appearance as argument number 2
(
format
ChineseLanguage
beliefGroupPercentInRegion
"百分之 %2 在 %1 的人相信 %1 ")
domainEnglishFormat.kif 2890-2890
(
format
ChineseTraditionalLanguage
beliefGroupPercentInRegion
"百分之 %2 在 %1 的人相信 %1 ")
domainEnglishFormat.kif 2889-2889
(
format
EnglishLanguage
beliefGroupPercentInRegion
"%2 percent of people in %3 believe in %1")
domainEnglishFormat.kif 2888-2888
(
termFormat
EnglishLanguage
beliefGroupPercentInRegion
"belief group percent in region")
domainEnglishFormat.kif 65787-65787
antecedent
(<=>
(
beliefGroupPercentInRegion
?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 1528-1539
beliefGroupPercentInRegion
BeliefGroup
,
NumeroReale
and
AreaGeografica
InsiemeConcreto
InsiemeConcreto
,
Entit�Concreta
,
Entit�Concreta
2,
NumeroReale
1 and
NumeroReale
2
Entit�Concreta
è
localizzato
in
AreaGeografica
Entit�Concreta
è un
membro
di
BeliefGroup
Entit�Concreta
è un
membro
di
InsiemeConcreto
memberCount
InsiemeConcreto
and
NumeroReale
1
Entit�Concreta
2 è
localizzato
in
AreaGeografica
Entit�Concreta
2 è un
membro
di
InsiemeConcreto
memberCount
InsiemeConcreto
and
NumeroReale
2
NumeroReale
+ 100 is
uguale
a
NumeroReale
1 +
NumeroReale
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