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



KB Term:  Term intersection
English Word: 

  exportPartnerByRank

Sigma KEE - MiniSizeDisc
MiniSizeDisc(mini size disc)

appearance as argument number 1
-------------------------


(documentation MiniSizeDisc EnglishLanguage "A standrdized of OpticalDiscs, which diameter is 80 mm") Media.kif 1185-1185
(instance MiniSizeDisc SizeAttribute) Media.kif 1186-1186 Mini size disc is an instance of size attribute

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


(termFormat EnglishLanguage MiniSizeDisc "mini size disc") domainEnglishFormat.kif 65183-65183

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


(=>
    (attribute ?X MiniSizeDisc)
    (instance ?X OpticalDisc))
Media.kif 1187-1189 If mini size disc is an attribute of X, then X is an instance of optical disc
(=>
    (and
        (instance ?X OpticalDisc)
        (attribute ?X MiniSizeDisc))
    (width ?X
        (MeasureFn 80 Millimeter)))
Media.kif 1190-1195 If X is an instance of optical disc and mini size disc is an attribute of X, then the width of X is 80 millimeter(s)


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners