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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StandardSizeDisc
StandardSizeDisc(standard size disc)

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 Standard size disc is an instance of size attribute

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 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