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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - StandardSizeDisc

appearance as argument number 1

(documentation StandardSizeDisc EnglishLanguage "A standard sized OpticalDisc, which diameter is 120 Millimeter.") Media.kif 1226-1226
(instance StandardSizeDisc SizeAttribute) Media.kif 1225-1225 StandardSizeDisc is an instance of size attribute


        (instance ?X OpticalDisc)
        (attribute ?X StandardSizeDisc))
    (width ?X
        (MeasureFn 120 Millimeter)))
Media.kif 1230-1235
    (attribute ?X StandardSizeDisc)
    (instance ?X OpticalDisc))
Media.kif 1227-1229

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