No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2461-2461 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10960-10960 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10958-10958 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10959-10959 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10957-10957 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2460-2460 |
例 敵人 and ContestAttribute |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2459-2459 |
例 敵人 and SocialRole |