No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2131-2131 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2130-2130 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2129-2129 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16392-16392 |
familyRelation e' uma sub-relacao de relative |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16393-16393 |
spouse e' uma sub-relacao de relative |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49324-49324 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49323-49323 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49322-49322 |
|