languagePercentInRegion |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | People.kif 1560-1561 | |
No TPTP formula. May not be expressible in strict first order. | People.kif 1563-1563 | The number 1 argument of language percent in region is an instance of language |
No TPTP formula. May not be expressible in strict first order. | People.kif 1564-1564 | The number 2 argument of language percent in region is an instance of real number |
No TPTP formula. May not be expressible in strict first order. | People.kif 1565-1565 | The number 3 argument of language percent in region is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | People.kif 1562-1562 | language 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 3726-3726 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3725-3725 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3724-3724 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65862-65862 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | People.kif 1566-1577 | 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 |