No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16761-16761 |
子類 藝術學校 and 學校 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16777-16777 |
子類 日間學校 and 學校 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16665-16665 |
子類 中學 and 學校 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16721-16721 |
子類 中學後 and 學校 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16661-16661 |
子類 私立學校 and 學校 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16657-16657 |
子類 公立學校 and 學校 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16684-16684 |
子類 中學 and 學校 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16703-16703 |
子類 職業學校 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 |
|