Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Folding
Folding(folding)
more pictures...		fold, fold_up, pleat, plicate, turn_up

appearance as argument number 1
-------------------------


(subclass Folding ShapeChange) Mid-level-ontology.kif 3772-3772 Folding is a subclass of shape change
(documentation Folding EnglishLanguage "Bending something in such a way that one part of it covers another part.") Mid-level-ontology.kif 3773-3774 Folding is a subclass of shape change
(externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/b/ b6/ Chinesepaperfoldteal.jpg") pictureList.kif 10018-10018 Folding is a subclass of shape change
(externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Image-2D_and_3D_modulor_Origami.jpg") pictureList.kif 11000-11000 Folding is a subclass of shape change
(externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/5/ 51/ Folding_hakama.jpg") pictureList.kif 11001-11001 Folding is a subclass of shape change
(externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/3/ 39/ 20wtc.jpg") pictureList.kif 11002-11002 Folding is a subclass of shape change
(externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/5/ 5a/ Douglas.skyraider.folded.arp.jpg") pictureList.kif 11003-11003 Folding is a subclass of shape change
(externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/9/ 90/ Brompton5.jpeg") pictureList.kif 11004-11004 Folding is a subclass of shape change
(externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/3/ 37/ Brompton_folding_bicycle_four_part_diagram.png") pictureList.kif 11005-11005 Folding is a subclass of shape change

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Folding "folding") domainEnglishFormat.kif 24478-24478
(termFormat ChineseTraditionalLanguage Folding "摺頁") domainEnglishFormat.kif 24479-24479
(termFormat ChineseLanguage Folding "折页") domainEnglishFormat.kif 24480-24480

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 3776-3787 If X is an instance of folding and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of covering (3) Z is a subprocess of X (4) W is a part of Y (5) V is a part of Y (6) W is an instrument for Z (7) V is a patient of Z

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 1971-1980 If X is an instance of turndown service, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of folding (3) W is an instance of bed linen (4) Z is an instance of bed (5) W is located at Z (6) W is a patient of Y (7) Y is a subprocess of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners