Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Alpha3String(alpha3 string) |
| appearance as argument number 1 |
|
| (subclass Alpha3String AlphabeticString) | Media.kif 2918-2918 | Alpha3 string is a subclass of alphabetic string |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?STRING Alpha3String) (stringLength 3 ?STRING)) |
Media.kif 2920-2922 | If X is an instance of alpha3 string, then X is 3 characters long |
| consequent |
|
|
| (=> (and (instance ?STRING AlphabeticString) (stringLength 3 ?STRING)) (instance ?STRING Alpha3String)) |
Media.kif 2924-2928 | If X is an instance of alphabetic string and X is 3 characters long, then X is an instance of alpha3 string |
|