|
|
   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 |
|
|
|