Folding - Sigma Knowledge base Browser

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 3232-3233
(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 3231-3231	Folding is a subclass of shape change

appearance as argument number 2

(termFormat ChineseLanguage Folding "折页")	domainEnglishFormat.kif 24498-24498
(termFormat ChineseTraditionalLanguage Folding "摺頁")	domainEnglishFormat.kif 24497-24497
(termFormat EnglishLanguage Folding "folding")	domainEnglishFormat.kif 24496-24496

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 3235-3246

If a process is an instance of folding and an object is a patient of the process,
then there exist another process, another object and a third object such that the other process is an instance of covering and the other process is a subprocess of the process and the other object is a part of the object and the third object is a part of the object and the other object is an instrument for the other process and the third object is a patient of the other process

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

If a process is an instance of turndown service,
then there exist another process, an object and a physical such that the other process is an instance of folding and the physical is an instance of bed linen and the object is an instance of bed and the physical is located at the object and the physical is a patient of the other process and the other process is a subprocess of the process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: