TreeView Knowledge Base Browser - Rectangle

Browsing Interface : Welcome guest : log in

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

Formal Language:

KB Term:			Term intersection

English Word:

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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