No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 3591-3592 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15793-15796 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 506-506 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 116-116 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15791-15791 |
House est une sous-classe de ResidentialBuilding |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15792-15792 |
House est une sous-classe de SingleFamilyResidence |