Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
History(history)
|  | historical, history |
| appearance as argument number 1 |
|
|
| (subclass History FieldOfStudy) | Mid-level-ontology.kif 23532-23532 | History is a subclass of field of study |
| (documentation History EnglishLanguage "The recording and interpretation of past events involving Humans, including political events and cultural practices.") | Mid-level-ontology.kif 23533-23534 | History is a subclass of field of study |
| (externalImage History "http://upload.wikimedia.org/wikipedia/commons/4/ 45/ MontreGousset001.jpg") | pictureList.kif 6612-6612 | History is a subclass of field of study |
| (externalImage History "http://upload.wikimedia.org/wikipedia/commons/6/ 64/ Ancientlibraryalex.jpg") | pictureList.kif 7073-7073 | History is a subclass of field of study |
| (externalImage History "http://upload.wikimedia.org/wikipedia/commons/7/ 70/ Wooden_hourglass_3.jpg") | pictureList.kif 7074-7074 | History is a subclass of field of study |
| (externalImage History "http://upload.wikimedia.org/wikipedia/commons/d/ da/ Stonehenge_back_wide.jpg") | pictureList.kif 7075-7075 | History is a subclass of field of study |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (attribute ?X Historical) (refers History ?X)) |
Mid-level-ontology.kif 29184-29186 | If historical is an attribute of X, then history includes a reference to X |
| (=> (attribute ?PERSON Historian) (hasExpertise ?PERSON History)) |
Biography.kif 494-496 | If historian is an attribute of X, then history has an expertise in X |
|