sister |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3703-3704 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16514-16515 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16512-16512 | The number 1 argument of sister is an instance of woman |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16513-16513 | The number 2 argument of sister is an instance of human |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16509-16509 | sister is an instance of irreflexive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16511-16511 | sister is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16510-16510 | sister is an instance of transitive relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16508-16508 | sister is a subrelation of sibling |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4522-4522 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4521-4521 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4520-4520 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53246-53246 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53245-53245 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53244-53244 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23046-23051 | A woman is the aunt of a human if and only if there exists another human such that the woman is the sister of the other human and the other human is a parent of the human |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 714-720 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 630-636 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 702-708 |
|
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 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 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 584-589 |