fathersBrothersWife |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 604-605 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 602-602 | fathers brothers wife is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 603-603 | fathers brothers wife is a subrelation of family relation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3410-3410 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3409-3409 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3408-3408 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23380-23380 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23379-23379 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23378-23378 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 606-612 |
|