Translocation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18286-18286 | Trespassing est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 185-185 | Umrah est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1067-1067 | Vaccination est une sous-classe de Translocation |
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 |