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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 25375-25376
(subclass SizeAttribute RelationalAttribute) Mid-level-ontology.kif 25374-25374 子類 SizeAttribute and RelationalAttribute

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


(instance DoubleSize SizeAttribute) Mid-level-ontology.kif 25385-25385 DoubleSize and SizeAttribute
(instance MiniSizeDisc SizeAttribute) Media.kif 1239-1239 MiniSizeDisc and SizeAttribute
(instance StandardSizeDisc SizeAttribute) Media.kif 1225-1225 StandardSizeDisc and SizeAttribute
(termFormat EnglishLanguage SizeAttribute "size attribute") Mid-level-ontology.kif 25377-25377

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


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


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