Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Chemistry(chemistry)
|  | chemic, chemical, chemical_science, chemistry, chemoimmunology, femtochemistry, immunochemistry, thermochemistry |
| appearance as argument number 1 |
|
|
| (subclass Chemistry Science) | Mid-level-ontology.kif 23470-23470 | Chemistry is a subclass of science |
| (documentation Chemistry EnglishLanguage "The study of the compositions, properties, and reactions of Substances.") | Mid-level-ontology.kif 23471-23472 | Chemistry is a subclass of science |
| (externalImage Chemistry "http://articulatesoftware.com/SUMOpictures/education/ Chemistry_3.png") | pictureList.kif 337-337 | Chemistry is a subclass of science |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (attribute ?PERSON Chemist) (hasExpertise ?PERSON Chemistry)) |
Biography.kif 412-414 | If chemist is an attribute of X, then chemistry has an expertise in X |
|