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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SizeAttribute

Sigma KEE - SizeAttribute
SizeAttribute

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


(documentation SizeAttribute EnglishLanguage "SizeAttribute refers to attributes that pertain to the measure of some Object") Mid-level-ontology.kif 25318-25319
(subclass SizeAttribute RelationalAttribute) Mid-level-ontology.kif 25317-25317 SizeAttribute est une sous-classe de attribut relationnel

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


(instance DoubleSize SizeAttribute) Mid-level-ontology.kif 25328-25328 DoubleSize est une instance de SizeAttribute
(instance MiniSizeDisc SizeAttribute) Media.kif 1239-1239 MiniSizeDisc est une instance de SizeAttribute
(instance StandardSizeDisc SizeAttribute) Media.kif 1225-1225 StandardSizeDisc est une instance de SizeAttribute
(termFormat EnglishLanguage SizeAttribute "size attribute") Mid-level-ontology.kif 25320-25320

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


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


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