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 | 说语言 的 1 数量 是 有感知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 737-737 | 说语言 的 2 数量 是 语言 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 735-735 | 说语言 是 二元谓语 的 instance |
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 | 百分之 实数 的人在 地理区域 speak 语言 若且唯若 有存在 群体, 另一个 群体,, , 有感知的主事,, , 那个 有感知的主事2,, , 那个 实数1, and 和 那个 实数2 这样 那个 有感知的主事 是 located 在 那个 地理区域 和 那个 有感知的主事 是 那个 群体 的 member 和 那个 语言 是 那个 有感知的主事 的 speaks 语言 和 那个 实数1 是 那个 群体 的 member 计数 和 那个 有感知的主事2 是 located 在 那个 地理区域 和 那个 有感知的主事2 是 那个 另外 群体 的 member 和 那个 实数2 是 那个 另外 群体 的 member 计数 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2 |