Canal
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5595-5597 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 944-944 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5594-5594 | 子類 運河 and StationaryArtifact |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5593-5593 | 子類 運河 and 水路 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12895-12895 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12894-12894 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12893-12893 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5599-5605 |