No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2505-2505 |
EyeGlass est une sous-classe de OpticalDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2510-2510 |
Lens est une sous-classe de OpticalDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2515-2515 |
Microscope est une sous-classe de OpticalDevice |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42330-42330 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42329-42329 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42328-42328 |
|