|
|
   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 | River e' uma sub-classe de BodyOfWater |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5473-5473 | River e' uma sub-classe de Area Aquatica nao-salgada |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5472-5472 | River e' uma sub-classe de Area aquatica em movimento |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5675-5675 | Creek e' disjunto de River |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 831-831 | HudsonRiver e' uma instancia de River |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 739-739 | MississippiRiver e' uma instancia de River |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4241-4241 | RedRiver e' uma instancia de River |
| 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 | O argumento numero 2 de streamOutfall e' uma instancia de River |
| 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 |
|
|
|
