Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| StandardSizeDisc(standard size disc) |
| appearance as argument number 1 |
|
| (instance StandardSizeDisc SizeAttribute) | Media.kif 1172-1172 | Standard size disc is an instance of size attribute |
| (documentation StandardSizeDisc EnglishLanguage "A standard sized OpticalDisc, which diameter is 120 Millimeter.") | Media.kif 1173-1173 | Standard size disc is an instance of size attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage StandardSizeDisc "standard size disc") | domainEnglishFormat.kif 65541-65541 |
| antecedent |
|
|
| (=> (attribute ?X StandardSizeDisc) (instance ?X OpticalDisc)) |
Media.kif 1174-1176 | If standard size disc is an attribute of X, then X is an instance of optical disc |
| (=> (and (instance ?X OpticalDisc) (attribute ?X StandardSizeDisc)) (width ?X (MeasureFn 120 Millimeter))) |
Media.kif 1177-1182 | If X is an instance of optical disc and standard size disc is an attribute of X, then the width of X is 120 millimeter(s) |
|