No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18286-18286 |
擅闯 是 易位 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 185-185 |
Umrah 是 易位 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1067-1067 |
Vaccination 是 易位 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58958-58958 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58957-58957 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58956-58956 |
|