LevelShape - Sigma Knowledge base Browser

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

appearance as argument number 2

(termFormat ChineseLanguage LevelShape "水平的形状")	domainEnglishFormat.kif 34185-34185
(termFormat ChineseTraditionalLanguage LevelShape "水平的形狀")	domainEnglishFormat.kif 34184-34184
(termFormat EnglishLanguage LevelShape "level shape")	domainEnglishFormat.kif 34183-34183

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 3286-3299

If LevelShape is an attribute of a self connected object,
then there don't exist another self connected object, a third self connected object,, , a fourth self connected object,, , a real number,, , another real number and an unit of measure such that the top of the self connected object is the fourth self connected object and the other self connected object is a part of the fourth self connected object and the third self connected object is a part of the fourth self connected object and the unit of measure is an instance of UnitOfLength and the height of the other self connected object is the real number the unit of measure(s) and the height of the third self connected object is the other real number the unit of measure(s) and the real number is greater than the other real number

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

KB Term:			Term intersection

English Word: