Translocation(translocation) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18287-18287 | Trespassing is a subclass of translocation |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 185-185 | Umrah is a subclass of translocation |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1067-1067 | Vaccination is a subclass of 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 |