Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| speaksLanguage |
| appearance as argument number 1 |
|
| (documentation speaksLanguage EnglishLanguage "(speaksLanguage ?AGENT ?LANGUAGE) means that the SentientAgent ?AGENT is capable of understanding and/ or generating the Language ?LANGUAGE.") | Mid-level-ontology.kif 715-717 | |
| (instance speaksLanguage BinaryPredicate) | Mid-level-ontology.kif 718-718 | speaks language is an instance of binary predicate |
| (domain speaksLanguage 1 SentientAgent) | Mid-level-ontology.kif 719-719 | The number 1 argument of speaks language is an instance of sentient agent |
| (domain speaksLanguage 2 Language) | Mid-level-ontology.kif 720-720 | The number 2 argument of speaks language is an instance of language |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage speaksLanguage "%2 is %n a speaks language of %1") | domainEnglishFormat.kif 2329-2329 | |
| (format ChineseTraditionalLanguage speaksLanguage "%2 %n 是 %1 的 speaks 語言") | domainEnglishFormat.kif 2330-2330 | |
| (format ChineseLanguage speaksLanguage "%2 %n 是 %1 的 speaks 语言") | domainEnglishFormat.kif 2331-2331 | |
| (termFormat EnglishLanguage speaksLanguage "speaks language") | domainEnglishFormat.kif 54475-54475 | |
| (termFormat ChineseTraditionalLanguage speaksLanguage "說語言") | domainEnglishFormat.kif 54476-54476 | |
| (termFormat ChineseLanguage speaksLanguage "说语言") | domainEnglishFormat.kif 54477-54477 |
| consequent |
|
|
| (=> (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 1606-1617 | If X percent of people in Y speak Z, then All of the following hold: (1) there exist W, V,, , U,, , T,, , S (2) R such that U is located at Y (3) U is a member of W (4) Z is a speaks language of U (5) S is a member count of W (6) T is located at Y (7) T is a member of V (8) R is a member count of V (9) equal X (10) 100 (11) S (12) R |
|