No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2454-2454 |
CableShip e' uma sub-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30062-30062 |
CargoShip e' uma sub-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2453-2453 |
CraneShip e' uma sub-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2449-2449 |
Dredger e' uma sub-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2446-2446 |
DrillingShip e' uma sub-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2455-2455 |
IceBreakerShip e' uma sub-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1019-1019 |
MerchantMarineShip e' uma sub-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 187-187 |
MilitaryShip e' uma sub-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2451-2451 |
MotorHopper e' uma sub-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2443-2443 |
OffshoreSupplyShip e' uma sub-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2444-2444 |
OffshoreSupportShip e' uma sub-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2445-2445 |
OffshoreWellProductionShip e' uma sub-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2309-2309 |
PassengerShip e' uma sub-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2447-2447 |
ResearchShip e' uma sub-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2452-2452 |
SludgeDisposalVessel e' uma sub-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52599-52599 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52598-52598 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52597-52597 |
|