Translocation(易位) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18287-18287 | 子類 擅闖 and 易位 |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 185-185 | 子類 umrah and 易位 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1067-1067 | 子類 Vaccination and 易位 |
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 |