No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2493-2493 | OpticalDevice est une sous-classe de appareil |
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 |
![]() |