No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2323-2323 |
DeckCargoShip est une sous-classe de GeneralCargoShip |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2322-2322 |
PalletizedCargoShip est une sous-classe de GeneralCargoShip |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25656-25656 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25655-25655 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25654-25654 |
|