speaksLanguage |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 732-734 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 736-736 | The number 1 argument of speaks language is an instance of sentient agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 737-737 | The number 2 argument of speaks language is an instance of language |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 735-735 | speaks language is an instance of binary predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2327-2327 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2326-2326 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2325-2325 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54480-54480 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54479-54479 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54478-54478 |
consequent |
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 |