SewageSystem(sewage system)![]() ![]() ![]() ![]() | ![]() | sewage_system, sewage_works, sewer_system |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 786-787 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9630-9630 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4820-4820 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9631-9631 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9632-9632 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 785-785 | Sewage system is a subclass of pipeline |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52371-52371 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52370-52370 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52369-52369 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 789-795 |
|
![]() |
![]() |