No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 3306-3307 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13467-13468 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10821-10821 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10820-10820 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9976-9976 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10819-10819 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10818-10818 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13466-13466 |
DefensiveManeuver e' uma sub-classe de Manobra |