Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Folding
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 3609-3610
(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 3608-3608 Folding形状変化subclass では

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


(termFormat ChineseLanguage Folding "折页") domainEnglishFormat.kif 24487-24487
(termFormat ChineseTraditionalLanguage Folding "摺頁") domainEnglishFormat.kif 24486-24486
(termFormat EnglishLanguage Folding "folding") domainEnglishFormat.kif 24485-24485

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 3612-3623

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 1964-1973


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