| River(河)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5476-5477 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 878-878 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 912-912 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5474-5474 | 河 是 水体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5473-5473 | 河 是 淡水区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5472-5472 | 河 是 溪水区 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5675-5675 | 溪 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 831-831 | 哈德逊河 是 河 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 739-739 | 密西西比河 是 河 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4241-4241 | 红河 是 河 的 instance |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50096-50096 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50095-50095 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50094-50094 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5688-5688 | 流出口 的 2 数量 是 河 的 instance |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5678-5682 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5661-5670 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1683-1688 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5533-5542 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5498-5505 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 856-862 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5639-5644 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5524-5531 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5517-5522 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5195-5200 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5761-5766 |
|
|
|