Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Science FieldOfStudy) | Mid-level-ontology.kif 23364-23364 | Science is a subclass of field of study |
| (documentation Science EnglishLanguage "Any FieldOfStudy which tests theories on the basis of careful observations and/ or experiments and which has a cumulative body of results.") | Mid-level-ontology.kif 23365-23366 | Science is a subclass of field of study |
| (externalImage Science "http://articulatesoftware.com/SUMOpictures/working/ science.png") | pictureList.kif 717-717 | Science is a subclass of field of study |
| (externalImage Science "http://upload.wikimedia.org/wikipedia/commons/e/ e4/ DNA_Overview2.png") | pictureList.kif 8696-8696 | Science is a subclass of field of study |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (attribute ?P Researcher) (exists (?S) (and (subclass ?S Science) (hasExpertise ?P ?S)))) |
Mid-level-ontology.kif 20833-20838 | If researcher is an attribute of X, then there exists Y such that Y is a subclass of science and Y has an expertise in X |
| (=> (attribute ?PERSON Scientist) (hasExpertise ?PERSON Science)) |
Biography.kif 356-358 | If scientist is an attribute of X, then science has an expertise in X |
|
