Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Zoology(zoology) |  | bugology, conchology, entomology, ethology, herpetology, ichthyology, lepidopterology, lepidoptery, malacology, mammalogy, oology, ornithology, primatology, protozoology, shell_collecting, zoological_science, zoology |
| appearance as argument number 1 |
|
|
| (subField Zoology Biology) | Mid-level-ontology.kif 23461-23461 | Zoology is a sub-field of biology |
| (subclass Zoology Science) | Mid-level-ontology.kif 23462-23462 | Zoology is a subclass of science |
| (documentation Zoology EnglishLanguage "Zoology is the branch of Biology that relates to the animal kingdom, including the structure, embryology, evolution, classification, habits, and distribution of all animals, both living and extinct.") | Mid-level-ontology.kif 23463-23465 | Zoology is a subclass of science |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (attribute ?PERSON Zoologist) (hasExpertise ?PERSON Zoology)) |
Biography.kif 617-619 | If zoologist is an attribute of X, then zoology has an expertise in X |
|