Downstream more pictures... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10881-10881 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10879-10879 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10878-10878 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10880-10880 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10877-10877 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9987-9987 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5459-5459 | Downstream est une instance de attribut positionnel |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5460-5460 | oppositeDirection Upstream and Downstream |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 270-270 | Downwind est un sous-attribut de Downstream |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20268-20268 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20267-20267 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20266-20266 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29826-29835 |