capableAtLocation |
appearance as argument number 1 |
(documentation capableAtLocation EnglishLanguage "(capableAtLocation ?EVENTTYPE ?ROLE ?OBJECT ?PLACE) means that ?OBJECT has the ability to play the CaseRole ?ROLE in Translocation of ?EVENTTYPE that occur at ?PLACE.") | Transportation.kif 2728-2731 | |
(domain capableAtLocation 2 CaseRole) | Transportation.kif 2733-2733 | The number 2 argument of capable at location is an instance of case role |
(domain capableAtLocation 3 Object) | Transportation.kif 2734-2734 | The number 3 argument of capable at location is an instance of object |
(domain capableAtLocation 4 Region) | Transportation.kif 2735-2735 | The number 4 argument of capable at location is an instance of region |
(domainSubclass capableAtLocation 1 Process) | Transportation.kif 2732-2732 | The number 1 argument of capable at location is a subclass of process |
(instance capableAtLocation QuaternaryPredicate) | Transportation.kif 2727-2727 | capable at location is an instance of quaternary predicate |
appearance as argument number 2 |
(format ChineseLanguage capableAtLocation "%1 %n{不是} capable 在地点 %2 对于 %3 跟 %4 在一起") | domainEnglishFormat.kif 348-348 | |
(format ChineseTraditionalLanguage capableAtLocation "%1 %n{不是} capable 在地點 %2 對於 %3 跟 %4 在一起") | domainEnglishFormat.kif 347-347 | |
(format EnglishLanguage capableAtLocation "%1 %n{doesn't} capable at location %2 for %3 with %4") | domainEnglishFormat.kif 346-346 | |
(termFormat ChineseLanguage capableAtLocation "能够在位置") | domainEnglishFormat.kif 13026-13026 | |
(termFormat ChineseTraditionalLanguage capableAtLocation "能夠在位置") | domainEnglishFormat.kif 13025-13025 | |
(termFormat EnglishLanguage capableAtLocation "capable at location") | domainEnglishFormat.kif 13024-13024 |
consequent |