|
|
   SymbolicString
|
|
|
| appearance as argument number 1 |
|
|
| (documentation SymbolicString ChineseLanguage "这是文数字序列的 Class 。") | chinese_format.kif 1644-1644 | |
| (documentation SymbolicString EnglishLanguage "The Class of alphanumeric sequences.") | Merge.kif 1266-1266 | |
| (subclass SymbolicString ContentBearingObject) | Merge.kif 1264-1264 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain KappaFn 1 SymbolicString) | Merge.kif 5377-5377 | |
| (domain ReverseFn 1 SymbolicString) | Media.kif 3032-3032 | |
| (domain StringConcatenateFn 1 SymbolicString) | Mid-level-ontology.kif 23494-23494 | |
| (domain StringConcatenateFn 2 SymbolicString) | Mid-level-ontology.kif 23495-23495 | |
| (domain StringLengthFn 1 SymbolicString) | Mid-level-ontology.kif 23466-23466 | |
| (domain SubstringFn 1 SymbolicString) | Mid-level-ontology.kif 23436-23436 | |
| (domain abbreviatedDisplayTitle 1 SymbolicString) | Media.kif 3124-3124 | |
| (domain abbreviation 1 SymbolicString) | Mid-level-ontology.kif 26271-26271 | |
| (domain acronym 1 SymbolicString) | Media.kif 3002-3002 | |
| (domain agentName 1 SymbolicString) | Media.kif 3392-3392 | |
| (domain aimOfOrganization 2 SymbolicString) | Government.kif 2572-2572 | |
| (domain alias 1 SymbolicString) | Mid-level-ontology.kif 22297-22297 | |
| (domain alternativeTitle 1 SymbolicString) | Media.kif 3092-3092 | |
| (domain canonicalPlaceName 3 SymbolicString) | Mid-level-ontology.kif 23601-23601 | |
| (domain chanceryAddressInArea 2 SymbolicString) | Government.kif 4710-4710 | |
| (domain chanceryFAXNumberInArea 2 SymbolicString) | Government.kif 4741-4741 | |
| (domain chanceryMailingAddressInArea 2 SymbolicString) | Government.kif 4720-4720 | |
| (domain chanceryTelephoneNumberInArea 2 SymbolicString) | Government.kif 4731-4731 | |
| (domain codeMapping 2 SymbolicString) | Media.kif 2260-2260 | |
| (domain comment 2 SymbolicString) | Merge.kif 17635-17635 | |
| (domain comment 3 SymbolicString) | Merge.kif 17636-17636 | |
| (domain componentDataID 5 SymbolicString) | QoSontology.kif 899-899 | |
| (domain confirmationNumber 2 SymbolicString) | FinancialOntology.kif 3791-3791 | |
| (domain conventionalLongName 1 SymbolicString) | Mid-level-ontology.kif 26254-26254 | |
| (domain conventionalShortName 1 SymbolicString) | Mid-level-ontology.kif 26266-26266 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (=> (and (instance ?STRING SymbolicString) (part ?CHAR ?STRING) (instance ?CHAR Character)) (inString ?CHAR ?STRING)) |
Mid-level-ontology.kif 23398-23403 | |
| (=> (instance ?STRING SymbolicString) (exists (?PART) (and (part ?PART ?STRING) (instance ?PART Character)))) |
Merge.kif 1275-1280 |
| consequent |
|
|
| (=> (codeMapping ISO-639-1 ?TOKEN ?X) (instance ?TOKEN SymbolicString)) |
Languages.kif 14693-14695 | |
| (=> (subtitle ?STRING ?WORKTYPE ?LANGUAGE) (exists (?TITLE) (and (instance ?TITLE SymbolicString) (instance ?TITLE LinguisticExpression) (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE)))) |
Media.kif 3204-3210 |
|
|
|