| SouthAmerica
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 233-233 | SaintHelena est entre SouthAmerica et WesternAfrica |
| 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 | geographicSubregion SouthAmerica and WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3531-3531 | SouthAmerica est une instance de continent |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3533-3533 | SouthAmerica recouvre NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3534-3534 | SouthAmerica recouvre SouthernHemisphere |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 171-171 | geographicSubregion CentralSouthAmerica and SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 172-172 | geographicSubregion EasternSouthAmerica and SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 173-173 | geographicSubregion NorthernSouthAmerica and SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 174-174 | geographicSubregion SouthernSouthAmerica and SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 175-175 | geographicSubregion WesternSouthAmerica and SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20304-20304 | habitatOfOrganism Bear and SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30538-30538 | habitatOfOrganism Crocodile and SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20323-20323 | habitatOfOrganism Llama and SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30442-30442 | habitatOfOrganism Parrot and SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20332-20332 | habitatOfOrganism Skunk and SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3532-3532 | SouthAmerica s'appele nom "South America" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 280-280 | Africa est Northeast � SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 289-289 | CaribbeanRegion est North � SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 283-283 | Europe est Northeast � SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 287-287 | MiddleAmerica est North � SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 278-278 | NorthAmerica est North � SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 166-166 | CaribbeanRegion recouvre SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 169-169 | MiddleAmerica recouvre SouthAmerica |
| 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 | Entit� est une instance de continent Africa est entit� NorthAmerica est entit� SouthAmerica est entit� Antarctica est entit� Europe est entit� Asia est entit� Oceania est entit� |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6683-6685 |
|
|
|