Putting
|
|
appearance as argument number 1 |
(documentation Putting ChineseLanguage "这是当把某些东西放到一个位置时的 Process Class。 注: 可以用 CaseRole 的 destination 来指明所要放置的位置。") | chinese_format.kif 3035-3036 | |
(documentation Putting EnglishLanguage "The Class of Processes where something is put in a location. Note that the location is specified with the CaseRole destination.") | Merge.kif 11447-11449 | |
(documentation Putting JapaneseLanguage "何かがある場所に置かれる Process の Class 。注: 場所は CaseRole destination で指定されている。") | japanese_format.kif 1803-1804 | |
(externalImage Putting "http://upload.wikimedia.org/wikipedia/commons/8/ 89/ Woman%2C_with_large_bow_in_her_hair%2C_putting_needle_on_record_on_phonograph.png") | pictureList.kif 2983-2983 | |
(subclass Putting Transfer) | Merge.kif 11445-11445 | Porre è una sottoclasse di Trasferimento |
appearance as argument number 2 |
appearance as argument number 3 |
(biochemicalAgentAntidote Soman PyridostigmineBromide Putting) | WMD.kif 581-581 | biochemicalAgentAntidote Soman, PyridostigmineBromide and Porre |
antecedent |
(=> (and (instance ?P Putting) (patient ?P ?S) (instance ?S Spice) (destination ?P ?F) (instance ?F PreparedFood)) (exists (?C ?A) (and (instance ?C InternalChange) (patient ?C ?F) (result ?C ?A) (attribute ?F ?A) (or (instance ?A FlavourAttribute) (instance ?A ColorAttribute))))) |
Economy.kif 4384-4399 |
|
(=> (and (instance ?PUT Putting) (destination ?PUT ?PLACE) (patient ?PUT ?OBJ)) (and (holdsDuring (BeginFn (WhenFn ?PUT)) (not (located ?OBJ ?PLACE))) (holdsDuring (EndFn (WhenFn ?PUT)) (located ?OBJ ?PLACE)))) |
Merge.kif 11451-11458 |
consequent |