more pictures...
| Folding
more pictures... | |
| 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 3159-3160 | |
| (externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/3/ 37/ Brompton_folding_bicycle_four-part_diagram.png") | pictureList.kif 11011-11011 | |
| (externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/3/ 39/ 20wtc.jpg") | pictureList.kif 11008-11008 | |
| (externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/5/ 51/ Folding_hakama.jpg") | pictureList.kif 11007-11007 | |
| (externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/5/ 5a/ Douglas.skyraider.folded.arp.jpg") | pictureList.kif 11009-11009 | |
| (externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/9/ 90/ Brompton5.jpeg") | pictureList.kif 11010-11010 | |
| (externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Image-2D_and_3D_modulor_Origami.jpg") | pictureList.kif 11006-11006 | |
| (externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/b/ b6/ Chinesepaperfoldteal.jpg") | pictureList.kif 10019-10019 | |
| (subclass Folding ShapeChange) | Mid-level-ontology.kif 3158-3158 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Folding "折页") | domainEnglishFormat.kif 24499-24499 | |
| (termFormat ChineseTraditionalLanguage Folding "摺頁") | domainEnglishFormat.kif 24498-24498 | |
| (termFormat EnglishLanguage Folding "folding") | domainEnglishFormat.kif 24497-24497 |
| 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 3162-3173 |
| 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 1953-1962 |
|
|
|