| Designating(designating) | | designate, destine, intend, specify |
| appearance as argument number 1 |
|
|
| (documentation Designating EnglishLanguage "Selecting Process, in which the agent designates the patient in order to achieve 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 is a subclass of selecting |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Designating "指定") | domainEnglishFormat.kif 19245-19245 | |
| (termFormat ChineseTraditionalLanguage Designating "指定") | domainEnglishFormat.kif 19244-19244 | |
| (termFormat EnglishLanguage Designating "designating") | domainEnglishFormat.kif 19243-19243 |
| consequent |
|
|
| (=> (instance ?FORCES SpecialOperationsForces) (exists (?DESIGNATING ?HUMAN) (and (instance ?DESIGNATING Designating) (agent ?DESIGNATING ?HUMAN) (attribute ?HUMAN SecretaryOfDefense) (patient ?DESIGNATING ?FORCES)))) |
MilitaryProcesses.kif 309-316 |
|
|
|
|