Pupil
|
|
appearance as argument number 1 |
(documentation Pupil EnglishLanguage "The opening of the Eye that lets light pass from the Cornea through the Eye to the Retina.") | Mid-level-ontology.kif 12122-12123 | |
(subclass Pupil HoleRegion) | Mid-level-ontology.kif 12121-12121 | 子類 Pupil and HoleRegion |
appearance as argument number 2 |
(termFormat EnglishLanguage Pupil "pupil") | Mid-level-ontology.kif 12124-12124 |
antecedent |
(=> (instance ?P Pupil) (exists (?I) (and (instance ?I Eye) (equal ?I (HoleHostFn ?P))))) |
Mid-level-ontology.kif 12126-12132 |