Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Designating(designating) |  | designate, destine, intend, specify |
| appearance as argument number 1 |
|
|
| (subclass Designating Selecting) | MilitaryProcesses.kif 318-318 | Designating is a subclass of selecting |
| (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 | Designating is a subclass of selecting |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?FORCES SpecialOperationsForces) (exists (?DESIGNATING ?HUMAN) (and (instance ?DESIGNATING Designating) (agent ?DESIGNATING ?HUMAN) (attribute ?HUMAN SecretaryOfDefense) (patient ?DESIGNATING ?FORCES)))) |
MilitaryProcesses.kif 309-316 | If X is an instance of special operations forces, then there exist Y, Z such that Y is an instance of designating, Z is an agent of Y, secretary of defense is an attribute of Z, and X is a patient of Y |
|