|
|
  SouthAmerica
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 233-233 | Saint helena is between south america and western africa |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 747-747 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3535-3535 | South america is a geographic subregion of western hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3531-3531 | South america is an instance of continent |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3533-3533 | South america and northern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3534-3534 | South america and southern hemisphere overlapsSpatially |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 171-171 | Central south america is a geographic subregion of south america |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 172-172 | Eastern south america is a geographic subregion of south america |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 173-173 | Northern south america is a geographic subregion of south america |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 174-174 | Southern south america is a geographic subregion of south america |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 175-175 | Western south america is a geographic subregion of south america |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20305-20305 | Bear inhabits south america |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30550-30550 | Crocodile inhabits south america |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20324-20324 | Llama inhabits south america |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30454-30454 | Parrot inhabits south america |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20333-20333 | Skunk inhabits south america |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3532-3532 | South america has name "South America" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 280-280 | Africa is northeast to south america |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 289-289 | Caribbean region is north to south america |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 283-283 | Europe is northeast to south america |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 287-287 | Middle america is north to south america |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 278-278 | North america is north to south america |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 166-166 | Caribbean region and south america overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 169-169 | Middle america and south america overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54060-54060 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54059-54059 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54058-54058 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 349-357 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3504-3513 | An entity is an instance of continent if and only if africa is equal to the entity or north america is equal to the entity or south america is equal to the entity or antarctica is equal to the entity or europe is equal to the entity or asia is equal to the entity or oceania is equal to the entity |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6683-6685 |
|
|
|
|
