|
|
  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 | 下游 是 位置属性 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5460-5460 | 下游 是 上游 的 opposite 方向 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 282-282 | 顺风 是 下游 的 subAttribute |
| 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 |
|
|
|
