No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16762-16762 |
子類 藝術學校 and 學校 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16778-16778 |
子類 日間學校 and 學校 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16666-16666 |
子類 中學 and 學校 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16722-16722 |
子類 中學後 and 學校 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16662-16662 |
子類 私立學校 and 學校 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16658-16658 |
子類 公立學校 and 學校 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16685-16685 |
子類 中學 and 學校 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16704-16704 |
子類 職業學校 and 學校 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51549-51549 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51548-51548 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51547-51547 |
|