EyeIris(eye iris) | iris |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12178-12179 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12177-12177 | Eye iris is a subclass of organ |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64844-64844 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12181-12186 |
|