No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 797-797 |
Crude oil pipeline is a subclass of pipeline |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 809-809 |
Natural gas pipeline is a subclass of pipeline |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 821-821 |
Petroleum product pipeline is a subclass of pipeline |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 785-785 |
Sewage system is a subclass of 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 |
|