Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| EyeIris(eye iris) |  | iris |
| appearance as argument number 1 |
|
|
| (subclass EyeIris Organ) | Mid-level-ontology.kif 13760-13760 | Eye iris is a subclass of organ |
| (documentation EyeIris EnglishLanguage "The iris is a thin, circular structure in the Eye, responsible for controlling the diameter and size of the Pupils.") | Mid-level-ontology.kif 13761-13762 | Eye iris is a subclass of organ |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EyeIris "eye iris") | domainEnglishFormat.kif 64847-64847 |
| antecedent |
|
|
| (=> (instance ?I EyeIris) (exists (?E) (and (instance ?E Eyeball) (part ?I ?E)))) |
Mid-level-ontology.kif 13764-13769 | If X is an instance of eye iris, then there exists Y such that Y is an instance of eye ball and X is a part of Y |
|