maternalUncle |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 571-572 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 569-569 | maternalUncle e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 570-570 | maternalUncle e' uma sub-relacao de familyRelation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3826-3826 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3825-3825 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3824-3824 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36485-36485 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36484-36484 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36483-36483 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 573-578 |
![]() |
![]() |