| Agent | |
| appearance as argument number 1 |
|
|
| (documentation Agent JapaneseLanguage "自分で行動でき、さらに世界に変化をもたらす何か、もしくは 誰か。") | japanese_format.kif 275-276 | |
| (documentation Agent SpanishLanguage "Algo o alguien que puede actuar por cuenta propia y producir cambios en el mundo.") | spanish_format.kif 325-326 |
| appearance as argument number 2 |
|
|
| (termFormat FrenchLanguage Agent "agent") | french_format.kif 524-524 | |
| (termFormat Hindi Agent "kartaa") | terms-hindi.txt 55-55 | |
| (termFormat ItalianLanguage Agent "Agente") | terms-it.txt 58-58 | |
| (termFormat JapaneseLanguage Agent "代理(人)") | japanese_format.kif 2209-2209 | |
| (termFormat PortugueseLanguage Agent "Agente") | portuguese_format.kif 476-476 | |
| (termFormat cb Agent "ahente") | terms-cb.txt 60-60 | |
| (termFormat cz Agent "agent") | terms-cz.txt 91-91 | |
| (termFormat ro Agent "agent") | relations-ro.kif 545-545 | |
| (termFormat tg Agent "kinatawan") | terms-tg.txt 59-59 |
| consequent |
|
|
| (=> (instance ?AT ApplyingTourniquet) (exists (?A ?P ?T) (and (instance ?A Agent) (instance ?P Mammal) (holdsDuring (WhenFn ?AT) (attribute ?T Tourniquet)) (destination ?AT ?P) (agent ?AT ?A) (objectTransferred ?AT ?T)))) |
Medicine.kif 67-78 |
|
|
|