more pictures...
VerbNet: build-26.1|fold, build-26.1|fold, build-26.1|fold,
| Folding
more pictures... | | VerbNet: build-26.1|fold, build-26.1|fold, build-26.1|fold, |
| 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 3709-3710 | |
| (externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/3/ 37/ Brompton_folding_bicycle_four-part_diagram.png") | pictureList.kif 11039-11039 | |
| (externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/3/ 39/ 20wtc.jpg") | pictureList.kif 11036-11036 | |
| (externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/5/ 51/ Folding_hakama.jpg") | pictureList.kif 11035-11035 | |
| (externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/5/ 5a/ Douglas.skyraider.folded.arp.jpg") | pictureList.kif 11037-11037 | |
| (externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/9/ 90/ Brompton5.jpeg") | pictureList.kif 11038-11038 | |
| (externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Image-2D_and_3D_modulor_Origami.jpg") | pictureList.kif 11034-11034 | |
| (externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/b/ b6/ Chinesepaperfoldteal.jpg") | pictureList.kif 10039-10039 | |
| (subclass Folding ShapeChange) | Mid-level-ontology.kif 3708-3708 | subclass Folding and ShapeChange |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Folding "折页") | domainEnglishFormat.kif 24409-24409 | |
| (termFormat ChineseTraditionalLanguage Folding "摺頁") | domainEnglishFormat.kif 24408-24408 | |
| (termFormat EnglishLanguage Folding "folding") | domainEnglishFormat.kif 24407-24407 |
| 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 3711-3722 |
| 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 1901-1910 |
|
|
|