Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Geography(geography) |  | economic_geography, geographics, geography, physical_geography, physiography, topography, topology |
| appearance as argument number 1 |
|
|
| (subclass Geography Science) | Mid-level-ontology.kif 23411-23411 | Geography is a subclass of science |
| (documentation Geography EnglishLanguage "Geography is the science that studies the lands, features, inhabitants, and phenomena of Earth. Also Earth's physical environment and human habitat.") | Mid-level-ontology.kif 23412-23413 | Geography is a subclass of science |
| appearance as argument number 2 |
|
|
| (subField Cartography Geography) | Mid-level-ontology.kif 23415-23415 | Cartography is a sub-field of geography |
| (termFormat EnglishLanguage Geography "geography") | domainEnglishFormat.kif 25784-25784 | Cartography is a sub-field of geography |
| (termFormat ChineseTraditionalLanguage Geography "地理") | domainEnglishFormat.kif 25785-25785 | Cartography is a sub-field of geography |
| (termFormat ChineseLanguage Geography "地理") | domainEnglishFormat.kif 25786-25786 | Cartography is a sub-field of geography |
| consequent |
|
|
| (=> (attribute ?PERSON Geographer) (hasExpertise ?PERSON Geography)) |
Biography.kif 479-481 | If geographer is an attribute of X, then geography has an expertise in X |
|