|
|
  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 282-282 | 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 29801-29810 |
|
|
|
|
