Eye(eye)![]() ![]() | ![]() | OD, OS, compound_eye, eye, naked_eye, ocellus, oculus, oculus_dexter, oculus_sinister, optic, peeper, simple_eye, stemma |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13439-13439 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 421-421 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 87-87 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13438-13438 | Eye is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13437-13437 | Eye is a subclass of organ |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13466-13466 | Every cornea is initially part of a eye |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23041-23041 | Every cornea is initially part of a eye |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23040-23040 | Every cornea is initially part of a eye |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23039-23039 | Every cornea is initially part of a eye |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13441-13443 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13445-13450 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1129-1139 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1474-1483 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1504-1516 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1523-1535 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13494-13507 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13513-13518 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13457-13463 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3543-3570 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3572-3585 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12389-12394 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13706-13714 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1711-1717 |
|
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2883-2883 | Left eye is a subclass of the left eye |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2886-2886 | Right eye is a subclass of the right eye |
![]() |
![]() |