Mouse
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 630-630 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3528-3528 | North america is a geographic subregion of northern hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3529-3529 | North america is a geographic subregion of western hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3527-3527 | North america is an instance of continent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 91-91 | North america is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 279-279 | North america is east to asia |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 278-278 | North america is north to south america |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 404-404 | Bermuda is a geographic subregion of north america |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 164-164 | Northern north america is a geographic subregion of north america |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 405-405 | United states is a geographic subregion of north america |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20286-20286 | Badger inhabits north america |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20301-20301 | Bear inhabits north america |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30535-30535 | Crocodile inhabits north america |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20324-20324 | Llama inhabits north america |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30441-30441 | Parrot inhabits north america |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30517-30517 | Reindeer inhabits north america |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20333-20333 | Skunk inhabits north america |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 121-121 | North america has name "North America" |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 282-282 | Africa is southeast to north america |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 290-290 | Caribbean region is south to north america |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 277-277 | Europe is east to north america |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 288-288 | Middle america is south to north america |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 284-284 | Oceania is southwest to north america |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 167-167 | Caribbean region and north america overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 168-168 | Middle america and north america overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40959-40959 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40958-40958 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40957-40957 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 349-357 |
|
consequent |