Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(instance LevelShape ShapeAttribute) Mid-level-ontology.kif 3445-3445 Level shape is an instance of shape attribute
(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 3446-3448 Level shape is an instance of shape attribute
(externalImage LevelShape "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ Floor_Glass_Auckland_Skycity.jpg") pictureList.kif 10095-10095 Level shape is an instance of shape attribute
(externalImage LevelShape "http://upload.wikimedia.org/wikipedia/en/5/55/ Flooring.jpg") pictureList.kif 11339-11339 Level shape is an instance of shape attribute
(externalImage LevelShape "http://upload.wikimedia.org/wikipedia/commons/ 4/ 41/ Water_level_1.jpg") pictureList.kif 11340-11340 Level shape is an instance of shape attribute
(externalImage LevelShape "http://upload.wikimedia.org/wikipedia/commons/ a/ a5/ Table.png") pictureList.kif 11341-11341 Level shape is an instance of shape attribute
(externalImage LevelShape "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Coffee_table.jpg") pictureList.kif 11342-11342 Level shape is an instance of shape attribute
(externalImage LevelShape "http://upload.wikimedia.org/wikipedia/commons/ 5/ 57/ Aalto_table.JPG") pictureList.kif 11343-11343 Level shape is an instance of shape attribute
(externalImage LevelShape "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5f/ DVD.jpg") pictureList.kif 11344-11344 Level shape is an instance of shape attribute

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


(termFormat EnglishLanguage LevelShape "level shape") domainEnglishFormat.kif 34177-34177
(termFormat ChineseTraditionalLanguage LevelShape "水平的形狀") domainEnglishFormat.kif 34178-34178
(termFormat ChineseLanguage LevelShape "水平的形状") domainEnglishFormat.kif 34179-34179

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


(=>
    (attribute ?O LevelShape)
    (not
        (exists (?P1 ?P2 ?T ?H1 ?H2 ?U)
            (and
                (top ?T ?O)
                (part ?P1 ?T)
                (part ?P2 ?T)
                (instance ?U UnitOfLength)
                (height ?P1
                    (MeasureFn ?H1 ?U))
                (height ?P2
                    (MeasureFn ?H2 ?U))
                (greaterThan ?H1 ?H2)))))		 Mid-level-ontology.kif 3450-3463 If level shape is an attribute of X, then there don't exist Y, Z,, , W,, , V,, , U and T such that the top of X is W and Y is a part of W and Z is a part of W and T is an instance of unit of length and the height of Y is V T(s) and the height of Z is U T(s) and V is greater than U


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