|
|
   Designating
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Designating EnglishLanguage "Selecting Process, in which the agent designates the patient in order to achive a special result (selects it out of a larger body of entities), e.g., SpecialOperationsForces are designated out of all branches of MilitaryService a Nation has.") | MilitaryProcesses.kif 319-322 | |
| (subclass Designating Selecting) | MilitaryProcesses.kif 318-318 | Designating は 選択 の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Designating "指定") | domainEnglishFormat.kif 19230-19230 | |
| (termFormat ChineseTraditionalLanguage Designating "指定") | domainEnglishFormat.kif 19229-19229 | |
| (termFormat EnglishLanguage Designating "designating") | domainEnglishFormat.kif 19228-19228 |
| consequent |
|
|
| (=> (instance ?FORCES SpecialOperationsForces) (exists (?DESIGNATING ?HUMAN) (and (instance ?DESIGNATING Designating) (agent ?DESIGNATING ?HUMAN) (attribute ?HUMAN SecretaryOfDefense) (patient ?DESIGNATING ?FORCES)))) |
MilitaryProcesses.kif 309-316 |
|
|
|
|