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 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 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 |