No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2389-2389 |
LiquefiedGasTankerShip se chama nome "Liquefied gas carrier" |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2399-2399 |
LiquefiedGasChemicalTankerShip e' uma sub-classe de LiquefiedGasTankerShip |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34601-34601 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34600-34600 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34599-34599 |
|