No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2454-2454 |
CableShip est une sous-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30062-30062 |
CargoShip est une sous-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2453-2453 |
CraneShip est une sous-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2449-2449 |
Dredger est une sous-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2446-2446 |
DrillingShip est une sous-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2455-2455 |
IceBreakerShip est une sous-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1019-1019 |
MerchantMarineShip est une sous-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 187-187 |
MilitaryShip est une sous-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2451-2451 |
MotorHopper est une sous-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2443-2443 |
OffshoreSupplyShip est une sous-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2444-2444 |
OffshoreSupportShip est une sous-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2445-2445 |
OffshoreWellProductionShip est une sous-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2309-2309 |
PassengerShip est une sous-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2447-2447 |
ResearchShip est une sous-classe de Ship |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2452-2452 |
SludgeDisposalVessel est une sous-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 |
|