sibling |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3699-3700 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16467-16469 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16465-16465 | 兄弟姐妹 的 1 数量 是 生物 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16466-16466 | 兄弟姐妹 的 2 数量 是 生物 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16460-16460 | 兄弟姐妹 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16464-16464 | 兄弟姐妹 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16461-16461 | 兄弟姐妹 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16463-16463 | 兄弟姐妹 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16462-16462 | 兄弟姐妹 是 家属关系 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 529-529 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 534-534 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 312-312 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 261-261 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2080-2080 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 264-264 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 318-318 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 689-689 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 298-298 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 333-333 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 343-343 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 453-453 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16499-16499 | 哥哥 是 兄弟姐妹 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16508-16508 | 妹妹 是 兄弟姐妹 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52922-52922 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 530-530 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52921-52921 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52920-52920 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16481-16485 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23109-23114 | 人 是 人类 的 nephew 若且唯若 有存在 生物 这样 那个 生物 是 那个 人类 的 sibling 和 那个 人 是 那个 生物 的 son |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23123-23128 | 女人 是 人类 的 niece 若且唯若 有存在 生物 这样 那个 生物 是 那个 人类 的 sibling 和 那个 女人 是 那个 生物 的 daughter |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16471-16479 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7493-7500 |