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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StandardSizeDisc

Sigma KEE - StandardSizeDisc
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

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


(termFormat EnglishLanguage StandardSizeDisc "standard size disc") domainEnglishFormat.kif 65538-65538

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


(=>
    (and
        (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