Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
AlphabeticCharacter(alphabetic character)
more pictures... |  | A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, a, alphabetic_character, ascender, b, c, d, descender, double-u, e, ex, f, g, h, i, j, k, l, letter, letter_of_the_alphabet, m, n, o, p, q, r... |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (acronym ?STRING ?THING) (inString ?CHAR ?STRING)) (instance ?CHAR AlphabeticCharacter)) |
Mid-level-ontology.kif 29859-29863 | If X is an acronym for Y and Z is part of X, then Z is an instance of alphabetic character |
| (=> (and (instance ?STR AlphabeticString) (part ?CHAR ?STR) (instance ?CHAR Character)) (instance ?CHAR AlphabeticCharacter)) |
Media.kif 2851-2856 | If X is an instance of alphabetic string, Y is a part of X, and Y is an instance of character, then Y is an instance of alphabetic character |
| (=> (instance ?ANS AlphaNumericString) (exists (?A ?N) (and (instance ?A AlphabeticCharacter) (inString ?A ?ANS) (instance ?N DigitCharacter) (inString ?N ?ANS)))) |
Media.kif 2888-2895 | If X is an instance of alpha numeric string, then there exist Y, Z such that Y is an instance of alphabetic character, Y is part of X, Z is an instance of digit character, and Z is part of X |
|