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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LevelShape
LevelShape
more pictures...

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 2819-2821
(externalImage LevelShape "http://upload.wikimedia.org/wikipedia/commons/ 4/ 41/ Water_level_1.jpg") pictureList.kif 11347-11347
(externalImage LevelShape "http://upload.wikimedia.org/wikipedia/commons/ 5/ 57/ Aalto_table.JPG") pictureList.kif 11350-11350
(externalImage LevelShape "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5f/ DVD.jpg") pictureList.kif 11351-11351
(externalImage LevelShape "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ Floor_Glass_Auckland_Skycity.jpg") pictureList.kif 10097-10097
(externalImage LevelShape "http://upload.wikimedia.org/wikipedia/commons/ a/ a5/ Table.png") pictureList.kif 11348-11348
(externalImage LevelShape "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Coffee_table.jpg") pictureList.kif 11349-11349
(externalImage LevelShape "http://upload.wikimedia.org/wikipedia/en/5/55/ Flooring.jpg") pictureList.kif 11346-11346
(instance LevelShape ShapeAttribute) Mid-level-ontology.kif 2818-2818 LevelShape形状属性instance では %n

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


(termFormat ChineseLanguage LevelShape "水平的形状") domainEnglishFormat.kif 34175-34175
(termFormat ChineseTraditionalLanguage LevelShape "水平的形狀") domainEnglishFormat.kif 34174-34174
(termFormat EnglishLanguage LevelShape "level shape") domainEnglishFormat.kif 34173-34173

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 2823-2836


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