No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10804-10804 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10803-10803 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9973-9973 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10802-10802 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2329-2329 |
DeckCargoShip e' uma sub-classe de GeneralCargoShip |