Rectangle - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | LogLearn | Editor | ] KB: Language:

Formal Language:

Sigma KEE - Rectangle

Rectangle(rectangle)

appearance as argument number 1

(instance Rectangle Quadrilateral)	Mid-level-ontology.kif 5697-5697	Rectangle is an instance of quadrilateral
(documentation Rectangle EnglishLanguage "Any Quadrilateral whose angles are all RightAngles.")	Mid-level-ontology.kif 5698-5699	Rectangle is an instance of quadrilateral
(externalImage Rectangle "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Prostokat_rectangle.svg")	pictureList.kif 965-965	Rectangle is an instance of quadrilateral

appearance as argument number 2

(angleOfFigure RightAngle Rectangle)	Mid-level-ontology.kif 5701-5701	At a right angle to is the angle found in rectangle
(subAttribute Square Rectangle)	Mid-level-ontology.kif 5703-5703	Square is a subattribute of rectangle
(termFormat EnglishLanguage Rectangle "rectangle")	domainEnglishFormat.kif 49017-49017	Square is a subattribute of rectangle
(termFormat ChineseTraditionalLanguage Rectangle "長方形")	domainEnglishFormat.kif 49018-49018	Square is a subattribute of rectangle
(termFormat ChineseLanguage Rectangle "长方形")	domainEnglishFormat.kif 49019-49019	Square is a subattribute of rectangle

consequent

(=> (instance ?C ContainerChest) (shape ?C Rectangle))	Mid-level-ontology.kif 4642-4644	If X is an instance of chest container, then X is rectangle
(=> (instance ?SCREEN ComputerScreen) (shape ?SCREEN Rectangle))	ComputerInput.kif 160-162	If X is an instance of computer screen, then X is rectangle

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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners