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 | The number 1 argument of sibling is an instance of organism |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16466-16466 | The number 2 argument of sibling is an instance of organism |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16460-16460 | sibling is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16464-16464 | sibling is an instance of irreflexive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16461-16461 | sibling is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16463-16463 | sibling is an instance of symmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16462-16462 | sibling is a subrelation of family relation |
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 | brother is a subrelation of sibling |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16508-16508 | sister is a subrelation of sibling |
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 | A man is the nephew of a human if and only if there exists an organism such that the organism is a sibling of the human and the man is the son of the organism |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23123-23128 | A woman is the niece of a human if and only if there exists an organism such that the organism is a sibling of the human and the woman is the daughter of the organism |
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 |
|