No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2505-2505 |
眼镜 是 光学设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2510-2510 |
镜片 是 光学设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2515-2515 |
显微镜 是 光学设备 的 subclass |
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 |
|