LevelShape - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2819-2821
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11347-11347
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11350-11350
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11351-11351
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10097-10097
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11348-11348
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11349-11349
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11346-11346
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2818-2818	Level shape is an instance of shape attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34175-34175
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34174-34174
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34173-34173

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 2823-2836

If level shape 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 unit of length 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