| appearance as argument number 1 |
|
| (documentation languagePercentInRegion EnglishLanguage "The percentage of the population of a given GeographicArea that speaks the given Language.") | People.kif 1561-1562 | |
| (domain languagePercentInRegion 1 Language) | People.kif 1564-1564 | The number 1 argument of language percent in region is an instance of language |
| (domain languagePercentInRegion 2 RealNumber) | People.kif 1565-1565 | The number 2 argument of language percent in region is an instance of real number |
| (domain languagePercentInRegion 3 GeographicArea) | People.kif 1566-1566 | The number 3 argument of language percent in region is an instance of geographic area |
| (instance languagePercentInRegion TernaryPredicate) | People.kif 1563-1563 | language percent in region is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage languagePercentInRegion "百分之 %2 的人在 %3 speak %1 ") | domainEnglishFormat.kif 3724-3724 | |
| (format ChineseTraditionalLanguage languagePercentInRegion "百分之 %2 的人在 %3 speak %1 ") | domainEnglishFormat.kif 3723-3723 | |
| (format EnglishLanguage languagePercentInRegion "%2 percent of people in %3 speak %1") | domainEnglishFormat.kif 3722-3722 | |
| (termFormat EnglishLanguage languagePercentInRegion "language percent in region") | domainEnglishFormat.kif 65901-65901 |
| antecedent |
|
|
| (<=> (languagePercentInRegion ?L ?N ?R) (exists (?G1 ?G2 ?P ?P2 ?N1 ?N2) (and (located ?P ?R) (member ?P ?G1) (speaksLanguage ?P ?L) (memberCount ?G1 ?N1) (located ?P2 ?R) (member ?P2 ?G2) (memberCount ?G2 ?N2) (equal (DivisionFn ?N 100) (DivisionFn ?N1 ?N2))))) |
People.kif 1567-1578 | A real number percent of people in a geographic area speak a language if and only if there exist a collection, another collection,, , a sentient agent,, , the sentient agent2,, , the real number1 and the real number2 such that the sentient agent is located at the geographic area and the sentient agent is a member of the collection and the language is a speaks language of the sentient agent and the real number1 is a member count of the collection and the sentient agent2 is located at the geographic area and the sentient agent2 is a member of the other collection and the real number2 is a member count of the other collection and the real number and 100 is equal to the real number1 and the real number2 |
|
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