| Drying(s�cher) | |
| appearance as argument number 1 |
|
|
| (documentation Drying ChineseLanguage "这是将 Liquid 从 Object 消除的 Process Class。") | chinese_format.kif 3213-3214 | |
| (documentation Drying EnglishLanguage "The Class of Processes where a Liquid is removed from an Object.") | Merge.kif 12928-12929 | |
| (subclass Drying Removing) | Merge.kif 12927-12927 | S�cher est une sous-classe de supprimer |
| appearance as argument number 2 |
|
|
| (subclass CuringFood Drying) | Food.kif 77-77 | CuringFood est une sous-classe de s�cher |
| (termFormat ChineseLanguage Drying "烘干") | chinese_format.kif 1183-1183 | CuringFood est une sous-classe de s�cher |
| (termFormat EnglishLanguage Drying "drying") | english_format.kif 1583-1583 | CuringFood est une sous-classe de s�cher |
| (termFormat FrenchLanguage Drying "s�cher") | french_format.kif 861-861 | CuringFood est une sous-classe de s�cher |
| (termFormat Hindi Drying "shurkan") | terms-hindi.txt 393-393 | CuringFood est une sous-classe de s�cher |
| (termFormat ItalianLanguage Drying "Asciugare") | terms-it.txt 396-396 | CuringFood est une sous-classe de s�cher |
| (termFormat JapaneseLanguage Drying "乾燥") | japanese_format.kif 2545-2545 | CuringFood est une sous-classe de s�cher |
| (termFormat PortugueseLanguage Drying "Secar") | portuguese_format.kif 813-813 | CuringFood est une sous-classe de s�cher |
| (termFormat cb Drying "pag-uga") | terms-cb.txt 398-398 | CuringFood est une sous-classe de s�cher |
| (termFormat cz Drying "drying") | terms-cz.txt 432-432 | CuringFood est une sous-classe de s�cher |
| (termFormat de Drying "Trocknen") | terms-de.txt 691-691 | CuringFood est une sous-classe de s�cher |
| (termFormat ro Drying "uscare") | relations-ro.kif 882-882 | CuringFood est une sous-classe de s�cher |
| (termFormat tg Drying "pinapatuyo") | terms-tg.txt 397-397 | CuringFood est une sous-classe de s�cher |
| antecedent |
|
|
| (=> (and (instance ?DRY Drying) (patient ?DRY ?OBJ)) (holdsDuring (EndFn (WhenFn ?DRY)) (attribute ?OBJ Dry))) |
Merge.kif 12931-12936 |
| consequent |
|
|
| (=> (and (instance ?C CuringFood) (instance ?F Food) (patient ?C ?F)) (exists (?D) (and (instance ?D Drying) (subProcess ?D ?C) (patient ?D ?F)))) |
Food.kif 96-105 | |
| (=> (instance ?D DryingDevice) (hasPurpose ?D (exists (?DRYING) (and (instance ?DRYING Drying) (instrument ?DRYING ?D))))) |
Mid-level-ontology.kif 27030-27036 | |
| (=> (instance ?HD HairDryer) (hasPurpose ?HD (exists (?HAIR ?DRYING) (and (instance ?HAIR Hair) (instance ?DRYING Drying) (patient ?DRYING ?HAIR) (instrument ?DRYING ?HD))))) |
Mid-level-ontology.kif 27048-27056 | |
| (=> (instance ?R Raisin) (exists (?D ?G) (and (instance ?D Drying) (instance ?G Grape) (patient ?D ?G) (result ?D ?R)))) |
Food.kif 3332-3339 | |
| (=> (instance ?SVC LaundryService) (exists (?CLOTHES ?WASH ?DRY ?IRON) (and (instance ?CLOTHES Clothing) (patient ?SVC ?CLOTHES) (subProcess ?WASH ?SVC) (instance ?WASH Washing) (patient ?WASH ?CLOTHES) (result ?WASH (attribute ?CLOTHES Clean)) (subProcess ?DRY ?SVC) (instance ?DRY Drying) (patient ?DRY ?CLOTHES) (instance ?IRON Ironing) (subProcess ?IRON ?SVC) (patient ?IRON ?CLOTHES) (before (BeginFn (WhenFn ?WASH)) (BeginFn (WhenFn ?DRY))) (before (BeginFn (WhenFn ?DRY)) (BeginFn (WhenFn ?IRON)))))) |
Hotel.kif 1796-1813 |
|
| (=> (instance ?T Towel) (hasPurpose ?T (exists (?D) (and (instance ?D Drying) (instrument ?D ?T))))) |
Mid-level-ontology.kif 6303-6309 | |
| (=> (instance ?X Towel) (capability Drying instrument ?X)) |
Mid-level-ontology.kif 6299-6301 |
|
|
|