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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Circular
Circular(circular)circular, round

appearance as argument number 1

(documentation Circular EnglishLanguage "The attribute of being circular in two dimensions.") Mid-level-ontology.kif 25532-25532
(instance Circular ShapeAttribute) Mid-level-ontology.kif 25530-25530 Circular is an instance of shape attribute
(subAttribute Circular RoundTwoDimensional) Mid-level-ontology.kif 25531-25531 Circular is a subattribute of round two dimensional

appearance as argument number 2

(subAttribute DiskShaped Circular) Mid-level-ontology.kif 25540-25540 Disk shaped is a subattribute of circular
(termFormat EnglishLanguage Circular "circular") domainEnglishFormat.kif 64657-64657


    (instance ?SHAPE Circle)
    (shape ?SHAPE Circular))
Mid-level-ontology.kif 25534-25536

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 is open source software produced by Articulate Software and its partners