No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2135-2135 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2134-2134 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2133-2133 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16496-16496 |
family relation is a subrelation of relative |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16497-16497 |
spouse is a subrelation of relative |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49326-49326 |
spouse is a subrelation of relative |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49325-49325 |
spouse is a subrelation of relative |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49324-49324 |
spouse is a subrelation of relative |