No TPTP formula. May not be expressible in strict first order. |
Geography.kif 177-177 |
geographicSubregion CentralAsia and Asia |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 178-178 |
geographicSubregion EasternAsia and Asia |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 179-179 |
geographicSubregion NorthernAsia and Asia |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 183-183 |
geographicSubregion SoutheasternAsia and Asia |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 182-182 |
geographicSubregion SouthernAsia and Asia |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 184-184 |
geographicSubregion SouthwesternAsia and Asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20316-20316 |
habitatOfOrganism Badger and Asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20331-20331 |
habitatOfOrganism Bear and Asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30593-30593 |
habitatOfOrganism Cheetah and Asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30570-30570 |
habitatOfOrganism Crocodile and Asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30475-30475 |
habitatOfOrganism Parrot and Asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30552-30552 |
habitatOfOrganism Reindeer and Asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30458-30458 |
habitatOfOrganism Rhinoceros and Asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30438-30438 |
habitatOfOrganism Tiger and Asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 45-45 |
Europe rencontre Asia |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3549-3549 |
Asia s'appele nom "Asia" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 276-276 |
Europe est West � Asia |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 285-285 |
MiddleEastRegion est Southwest � Asia |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 279-279 |
NorthAmerica est East � Asia |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 146-146 |
MiddleEastRegion recouvre Asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 820-820 |
KoreanPeninsula est une partie de Asia |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8658-8658 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8657-8657 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8656-8656 |
|