No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2383-2383 |
LiquefiedGasTankerShip se chama nome "Liquefied gas carrier" |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2393-2393 |
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 |
|