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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 StandardSizeDiscSizeAttributeinstance では %n

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


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

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