No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 797-797 |
CrudeOilPipeline est une sous-classe de Pipeline |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 809-809 |
NaturalGasPipeline est une sous-classe de Pipeline |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 821-821 |
PetroleumProductPipeline est une sous-classe de Pipeline |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 785-785 |
SewageSystem est une sous-classe de Pipeline |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45902-45902 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45901-45901 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45900-45900 |
|