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 is a subclass of body of water |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5473-5473 | River is a subclass of fresh water area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5472-5472 | River is a subclass of stream water area |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5675-5675 | Creek is disjoint from river |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 831-831 | Hudson river is an instance of river |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 739-739 | Mississippi river is an instance of river |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4241-4241 | Red river is an instance of 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 | The number 2 argument of stream outfall is an instance of 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 |
|