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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LevelShape
LevelShape(level shape)
more pictures...
flat, jagged, jaggy, level, plane, scraggy

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


(documentation LevelShape EnglishLanguage "The ShapeAttribute of Objects where no part of the top of the Object is higher than any other part of the top.") Mid-level-ontology.kif 3291-3293
(externalImage LevelShape "http://upload.wikimedia.org/wikipedia/commons/ 4/ 41/ Water_level_1.jpg") pictureList.kif 11374-11374
(externalImage LevelShape "http://upload.wikimedia.org/wikipedia/commons/ 5/ 57/ Aalto_table.JPG") pictureList.kif 11377-11377
(externalImage LevelShape "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5f/ DVD.jpg") pictureList.kif 11378-11378
(externalImage LevelShape "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ Floor_Glass_Auckland_Skycity.jpg") pictureList.kif 10117-10117
(externalImage LevelShape "http://upload.wikimedia.org/wikipedia/commons/ a/ a5/ Table.png") pictureList.kif 11375-11375
(externalImage LevelShape "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Coffee_table.jpg") pictureList.kif 11376-11376
(externalImage LevelShape "http://upload.wikimedia.org/wikipedia/en/5/55/ Flooring.jpg") pictureList.kif 11373-11373
(instance LevelShape ShapeAttribute) Mid-level-ontology.kif 3290-3290 Level shape is an instance of shape attribute

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


(termFormat ChineseLanguage LevelShape "水平的形状") domainEnglishFormat.kif 34069-34069
(termFormat ChineseTraditionalLanguage LevelShape "水平的形狀") domainEnglishFormat.kif 34068-34068
(termFormat EnglishLanguage LevelShape "level shape") domainEnglishFormat.kif 34067-34067

antecedent
-------------------------


(=>
    (attribute ?O LevelShape)
    (not
        (exists (?P1 ?P2 ?T ?H1 ?H2)
            (and
                (top ?T ?O)
                (part ?P1 ?T)
                (part ?P2 ?T)
                (height ?P1 ?H1)
                (height ?P2 ?H2)
                (greaterThan ?H1 ?H2)))))
Mid-level-ontology.kif 3295-3305


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners