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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rectangle
Rectangle(rectangle)
box, rectangle

appearance as argument number 1
-------------------------


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

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


(angleOfFigure RightAngle Rectangle) Mid-level-ontology.kif 4920-4920 Right angle is the angle found in rectangle
(subAttribute Square Rectangle) Mid-level-ontology.kif 4922-4922 Square is a subattribute of rectangle
(termFormat ChineseLanguage Rectangle "长方形") domainEnglishFormat.kif 49062-49062 Square is a subattribute of rectangle
(termFormat ChineseTraditionalLanguage Rectangle "長方形") domainEnglishFormat.kif 49061-49061 Square is a subattribute of rectangle
(termFormat EnglishLanguage Rectangle "rectangle") domainEnglishFormat.kif 49060-49060 Square is a subattribute of rectangle

consequent
-------------------------


(=>
    (instance ?C ContainerChest)
    (shape ?C Rectangle))
Mid-level-ontology.kif 3989-3991
(=>
    (instance ?SCREEN ComputerScreen)
    (shape ?SCREEN Rectangle))
ComputerInput.kif 160-162


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