VisualAcuityAttribute |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19760-19762 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19759-19759 | VisualAcuityAttribute est une sous-classe de attribut biologique |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19796-19796 | Blind est une instance de VisualAcuityAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19764-19764 | ColorBlind est une instance de VisualAcuityAttribute |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65706-65706 |