Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Alpha2String(alpha2 string) |
| appearance as argument number 1 |
|
| (subclass Alpha2String AlphabeticString) | Media.kif 2933-2933 | Alpha2 string is a subclass of alphabetic string |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?STRING Alpha2String) (stringLength 2 ?STRING)) |
Media.kif 2935-2937 | If X is an instance of alpha2 string, then X is 2 characters long |
| consequent |
|
|
| (=> (and (instance ?STRING AlphabeticString) (stringLength 2 ?STRING)) (instance ?STRING Alpha2String)) |
Media.kif 2939-2943 | If X is an instance of alphabetic string and X is 2 characters long, then X is an instance of alpha2 string |
|