Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SymbolicString(symbolic string) |  | Maxwell's_equations, character_set, expression, formula, mathematical_statement, primitive, simultaneous_equations, substring |
| appearance as argument number 1 |
|
|
| (subclass SymbolicString ContentBearingPhysical) | Merge.kif 1426-1426 | Symbolic string is a subclass of content bearing physical |
| (documentation SymbolicString EnglishLanguage "The Class of alphanumeric sequences.") | Merge.kif 1428-1428 | Symbolic string is a subclass of content bearing physical |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (instance ?STRING SymbolicString) (exists (?PART) (and (part ?PART ?STRING) (instance ?PART Character)))) |
Merge.kif 1437-1442 | If X is an instance of symbolic string, then there exists Y such that Y is a part of X and Y is an instance of character |
| (=> (and (instance ?STRING SymbolicString) (part ?CHAR ?STRING) (instance ?CHAR Character)) (inString ?CHAR ?STRING)) |
Mid-level-ontology.kif 26677-26682 | If X is an instance of symbolic string, Y is a part of X, and Y is an instance of character, then Y is part of X |
| consequent |
|
|
| (=> (codeMapping ISO_639_1 ?TOKEN ?X) (instance ?TOKEN SymbolicString)) |
Languages.kif 14743-14745 | If X in ISO_639_1 denotes Y, then X is an instance of symbolic string |
| (=> (subtitle ?STRING ?WORKTYPE ?LANGUAGE) (exists (?TITLE) (and (instance ?TITLE SymbolicString) (instance ?TITLE LinguisticExpression) (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE)))) |
Media.kif 3163-3169 | If X is a sub-title for Y in Z, then there exists W such that W is an instance of symbolic string, W is an instance of linguistic expression, and the title of Y in Z is W |
|