Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Paleontology(paleontology) |  | fossilology, palaeontology, palaeornithology, palaeozoology, paleomammalogy, paleontology, paleornithology, paleozoology |
| appearance as argument number 1 |
|
|
| (subclass Paleontology Science) | Mid-level-ontology.kif 23474-23474 | Paleontology is a subclass of science |
| (documentation Paleontology EnglishLanguage "The earth science that studies fossil organisms and related remains.") | Mid-level-ontology.kif 23475-23475 | Paleontology is a subclass of science |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (attribute ?PERSON Paleontologist) (hasExpertise ?PERSON Paleontology)) |
Biography.kif 527-529 | If paleontologist is an attribute of X, then paleontology has an expertise in X |
|