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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SizeAttribute
SizeAttribute(size attribute)size_attribute

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


(documentation SizeAttribute EnglishLanguage "SizeAttribute refers to attributes that pertain to the measure of some Object") Mid-level-ontology.kif 23208-23209
(subclass SizeAttribute RelationalAttribute) Mid-level-ontology.kif 23207-23207 Size attribute is a subclass of relational attribute

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


(instance DoubleSize SizeAttribute) Mid-level-ontology.kif 23218-23218 Double size is an instance of size attribute
(instance MiniSizeDisc SizeAttribute) Media.kif 1243-1243 MiniSizeDisc is an instance of size attribute
(instance StandardSizeDisc SizeAttribute) Media.kif 1229-1229 StandardSizeDisc is an instance of size attribute
(termFormat EnglishLanguage SizeAttribute "size attribute") Mid-level-ontology.kif 23210-23210 "size attribute" is the printable form of size attribute in english language

antecedent
-------------------------


(=>
    (and
        (attribute ?X ?ATTR)
        (instance ?ATTR SizeAttribute))
    (instance ?X Object))		 Mid-level-ontology.kif 23212-23216


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners