Folding![]() ![]() ![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Folding EnglishLanguage "Bending something in such a way that one part of it covers another part.") | Mid-level-ontology.kif 3609-3610 | |
(externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/3/ 37/ Brompton_folding_bicycle_four_part_diagram.png") | pictureList.kif 11005-11005 | |
(externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/3/ 39/ 20wtc.jpg") | pictureList.kif 11002-11002 | |
(externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/5/ 51/ Folding_hakama.jpg") | pictureList.kif 11001-11001 | |
(externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/5/ 5a/ Douglas.skyraider.folded.arp.jpg") | pictureList.kif 11003-11003 | |
(externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/9/ 90/ Brompton5.jpeg") | pictureList.kif 11004-11004 | |
(externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Image-2D_and_3D_modulor_Origami.jpg") | pictureList.kif 11000-11000 | |
(externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/b/ b6/ Chinesepaperfoldteal.jpg") | pictureList.kif 10018-10018 | |
(subclass Folding ShapeChange) | Mid-level-ontology.kif 3608-3608 | Folding は 形状変化 の subclass では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Folding "折页") | domainEnglishFormat.kif 24487-24487 | |
(termFormat ChineseTraditionalLanguage Folding "摺頁") | domainEnglishFormat.kif 24486-24486 | |
(termFormat EnglishLanguage Folding "folding") | domainEnglishFormat.kif 24485-24485 |
antecedent |
![]() |
(=> (and (instance ?F Folding) (patient ?F ?O)) (exists (?C ?P1 ?P2) (and (instance ?C Covering) (subProcess ?C ?F) (part ?P1 ?O) (part ?P2 ?O) (instrument ?C ?P1) (patient ?C ?P2)))) |
Mid-level-ontology.kif 3612-3623 |
consequent |
![]() |
(=> (instance ?X TurndownService) (exists (?FOLD ?BED ?SHEET) (and (instance ?FOLD Folding) (instance ?SHEET BedLinen) (instance ?BED Bed) (located ?SHEET ?BED) (patient ?FOLD ?SHEET) (subProcess ?FOLD ?X)))) |
Hotel.kif 1964-1973 |
![]() |
![]() |