capableAtLocation |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2683-2686 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2688-2688 | Le nombre 2 argument de capableAtLocation est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2689-2689 | Le nombre 3 argument de capableAtLocation est une instance de objet |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2690-2690 | Le nombre 4 argument de capableAtLocation est une instance de r�gion |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2687-2687 | Le nombre 1 argument de capableAtLocation est une sous-classe de processus |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2682-2682 | capableAtLocation est une instance de pr�dicat quaternaire |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 348-348 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 347-347 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 346-346 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13026-13026 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13025-13025 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13024-13024 |
consequent |