TreeView 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 3159-3160
(externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/3/ 37/ Brompton_folding_bicycle_four-part_diagram.png")	pictureList.kif 11012-11012
(externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/3/ 39/ 20wtc.jpg")	pictureList.kif 11009-11009
(externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/5/ 51/ Folding_hakama.jpg")	pictureList.kif 11008-11008
(externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/5/ 5a/ Douglas.skyraider.folded.arp.jpg")	pictureList.kif 11010-11010
(externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/9/ 90/ Brompton5.jpeg")	pictureList.kif 11011-11011
(externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Image-2D_and_3D_modulor_Origami.jpg")	pictureList.kif 11007-11007
(externalImage Folding "http://upload.wikimedia.org/wikipedia/commons/b/ b6/ Chinesepaperfoldteal.jpg")	pictureList.kif 10020-10020
(subclass Folding ShapeChange)	Mid-level-ontology.kif 3158-3158	Folding is a subclass of shape change

appearance as argument number 2

(termFormat ChineseLanguage Folding "折页")	domainEnglishFormat.kif 24482-24482
(termFormat ChineseTraditionalLanguage Folding "摺頁")	domainEnglishFormat.kif 24481-24481
(termFormat EnglishLanguage Folding "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 3162-3173

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: