Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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) |
|