ethnicityPercentInRegion |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | People.kif 1541-1542 | |
No TPTP formula. May not be expressible in strict first order. | People.kif 1544-1544 | The number 1 argument of ethnicity percent in region is an instance of ethnic group |
No TPTP formula. May not be expressible in strict first order. | People.kif 1545-1545 | The number 2 argument of ethnicity percent in region is an instance of real number |
No TPTP formula. May not be expressible in strict first order. | People.kif 1546-1546 | The number 3 argument of ethnicity percent in region is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | People.kif 1543-1543 | ethnicity percent in region is an instance of ternary predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3318-3318 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3317-3317 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3316-3316 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65823-65823 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | People.kif 1547-1558 | A real number percent of people in a geographic area are an ethnic group if and only if there exist a collection, another collection,, , a physical,, , the physical2,, , the real number1 and the real number2 such that the physical is located at the geographic area and the physical is a member of the ethnic group and the physical is a member of the collection and the real number1 is a member count of the collection and the physical2 is located at the geographic area and the physical2 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 |