drugShipmentDestination |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 64-64 | 域 藥品運輸目的地, 1 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 66-66 | 域 藥品運輸目的地, 3 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 65-65 | 域子類 藥品運輸目的地, 2 and 非法藥物 |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 63-63 | 例 藥品運輸目的地 and TernaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 804-804 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 803-803 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 802-802 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20520-20520 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20519-20519 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20518-20518 |