No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2372-2372 |
ChemicalTankerShip se chama nome "chemical carrier" |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2380-2380 |
Chemical-OilTankerShip e' uma sub-classe de ChemicalTankerShip |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14340-14340 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14339-14339 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14338-14338 |
|