mother |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3691-3692 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16433-16435 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16431-16431 | 母亲 的 1 数量 是 生物 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16432-16432 | 母亲 的 2 数量 是 生物 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16425-16425 | 母亲 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16424-16424 | 母亲 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16423-16423 | 母亲 是 单值关系 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 525-525 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 530-530 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 310-310 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 195-195 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2078-2078 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 262-262 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 316-316 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 683-683 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 233-233 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 331-331 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 339-339 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 375-375 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 526-526 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38678-38678 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38677-38677 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 376-376 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16427-16429 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16436-16438 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23060-23075 | 人类 另一个 人类 是 cousins 若且唯若 有存在 女人 和 人 这样 那个 人类 的 grandmother 是 那个 女人 和 那个 人类 的 grandfather 是 那个 人 和 那个 另外 人类 的 grandmother 是 那个 女人 和 那个 另外 人类 的 grandfather 是 那个 人 和 不存在 生物 和 另一个 生物 这样 那个 生物 是 那个 人类 的 mother 和 那个 另外 生物 是 那个 人类 father 和 那个 生物 是 那个 另外 人类 的 mother 和 那个 另外 生物 是 那个 另外 人类 father |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23151-23158 | 人 是 人类 的 stepfather 若且唯若 有存在 另一个 人类 这样 那个 另外 人类 是 那个 人类 的 mother 和 那个 人 是 那个 另外 人类 的 spouse 和 那个 人 不 是 那个 人类 father |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23168-23175 | 女人 是 人类 的 stepfather 若且唯若 有存在 另一个 人类 这样 那个 另外 人类 是 那个 人类 father 和 那个 女人 是 那个 另外 人类 的 spouse 和 那个 女人 不 是 那个 人类 的 mother |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10358-10365 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16515-16519 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16408-16416 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23094-23099 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 774-780 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20163-20170 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 595-600 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 573-578 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 690-696 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 678-684 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 618-624 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 738-744 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 642-648 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 726-732 |