No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 797-797 |
CrudeOilPipeline e' uma sub-classe de Pipeline |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 809-809 |
NaturalGasPipeline e' uma sub-classe de Pipeline |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 821-821 |
PetroleumProductPipeline e' uma sub-classe de Pipeline |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 785-785 |
SewageSystem e' uma sub-classe de Pipeline |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45900-45900 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45899-45899 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45898-45898 |
|