No TPTP formula. May not be expressible in strict first order. |
Military.kif 162-163 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 427-427 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2169-2169 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2172-2172 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2170-2170 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 161-161 |
Fighter e' uma sub-classe de MilitaryAircraft |