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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SizeAttribute

Sigma KEE - SizeAttribute
SizeAttribute(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 24670-24671
(subclass SizeAttribute RelationalAttribute) Mid-level-ontology.kif 24669-24669 Size attribute is a subclass of relational attribute

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


(instance DoubleSize SizeAttribute) Mid-level-ontology.kif 24680-24680 Double size is an instance of size attribute
(instance MiniSizeDisc SizeAttribute) Media.kif 1239-1239 MiniSizeDisc is an instance of size attribute
(instance StandardSizeDisc SizeAttribute) Media.kif 1225-1225 StandardSizeDisc is an instance of size attribute
(termFormat EnglishLanguage SizeAttribute "size attribute") Mid-level-ontology.kif 24672-24672

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


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


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