drugShipmentDestination |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 64-64 | O argumento numero 1 de drugShipmentDestination e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 66-66 | O argumento numero 3 de drugShipmentDestination e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 65-65 | O argumento numero 2 de drugShipmentDestination e' uma sub-classe de IllicitDrug |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 63-63 | drugShipmentDestination e' uma instancia de Predicado Ternario |
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 |