more pictures...
| 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 29916-29920 | 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 2906-2911 | 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 2943-2950 | 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 |
|
|
|