Downstream
|
|
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 is an instance of positional attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5460-5460 | Downstream is an opposite direction of upstream |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 270-270 | Downwind is a subattribute of 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 |
|