|
|
  SouthAmerica
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 233-233 | SaintHelena esta' entre SouthAmerica e 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 e' uma instancia de Continente |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3533-3533 | SouthAmerica engloba NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3534-3534 | SouthAmerica engloba 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 20305-20305 | habitatOfOrganism Bear and SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30550-30550 | habitatOfOrganism Crocodile and SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20324-20324 | habitatOfOrganism Llama and SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30454-30454 | habitatOfOrganism Parrot and SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20333-20333 | habitatOfOrganism Skunk and SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3532-3532 | SouthAmerica se chama nome "South America" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 280-280 | Africa e' Northeast em relacao a SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 289-289 | CaribbeanRegion e' North em relacao a SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 283-283 | Europe e' Northeast em relacao a SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 287-287 | MiddleAmerica e' North em relacao a SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 278-278 | NorthAmerica e' North em relacao a SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 166-166 | CaribbeanRegion engloba SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 169-169 | MiddleAmerica engloba 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 | Entidade e' uma instancia de Continente Africa e' igual a Entidade NorthAmerica e' igual a Entidade SouthAmerica e' igual a Entidade Antarctica e' igual a Entidade Europe e' igual a Entidade Asia e' igual a Entidade Oceania e' igual a Entidade |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6683-6685 |
|
|
|
