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 1299-1299 | |
(subclass SymbolicString ContentBearingObject) | Merge.kif 1297-1297 |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain KappaFn 1 SymbolicString) | Merge.kif 5490-5490 | |
(domain ReverseFn 1 SymbolicString) | Media.kif 3048-3048 | |
(domain StringConcatenateFn 1 SymbolicString) | Mid-level-ontology.kif 23943-23943 | |
(domain StringConcatenateFn 2 SymbolicString) | Mid-level-ontology.kif 23944-23944 | |
(domain StringLengthFn 1 SymbolicString) | Mid-level-ontology.kif 23916-23916 | |
(domain SubstringFn 1 SymbolicString) | Mid-level-ontology.kif 23886-23886 | |
(domain abbreviatedDisplayTitle 1 SymbolicString) | Media.kif 3140-3140 | |
(domain abbreviation 1 SymbolicString) | Mid-level-ontology.kif 26717-26717 | |
(domain acronym 1 SymbolicString) | Media.kif 3018-3018 | |
(domain agentName 1 SymbolicString) | Media.kif 3408-3408 | |
(domain aimOfOrganization 2 SymbolicString) | Government.kif 2583-2583 | |
(domain alias 1 SymbolicString) | Mid-level-ontology.kif 22739-22739 | |
(domain alternativeTitle 1 SymbolicString) | Media.kif 3108-3108 | |
(domain canonicalPlaceName 3 SymbolicString) | Mid-level-ontology.kif 24050-24050 | |
(domain chanceryAddressInArea 2 SymbolicString) | Government.kif 4726-4726 | |
(domain chanceryFAXNumberInArea 2 SymbolicString) | Government.kif 4757-4757 | |
(domain chanceryMailingAddressInArea 2 SymbolicString) | Government.kif 4736-4736 | |
(domain chanceryTelephoneNumberInArea 2 SymbolicString) | Government.kif 4747-4747 | |
(domain codeMapping 2 SymbolicString) | Media.kif 2251-2251 | |
(domain comment 2 SymbolicString) | Merge.kif 18100-18100 | |
(domain comment 3 SymbolicString) | Merge.kif 18101-18101 | |
(domain componentDataID 5 SymbolicString) | QoSontology.kif 899-899 | |
(domain confirmationNumber 2 SymbolicString) | FinancialOntology.kif 3832-3832 | |
(domain conventionalLongName 1 SymbolicString) | Mid-level-ontology.kif 26700-26700 | |
(domain conventionalShortName 1 SymbolicString) | Mid-level-ontology.kif 26712-26712 | |
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 23848-23853 | |
(=> (instance ?STRING SymbolicString) (exists (?PART) (and (part ?PART ?STRING) (instance ?PART Character)))) |
Merge.kif 1308-1313 |
consequent |
![]() |
(=> (codeMapping ISO-639-1 ?TOKEN ?X) (instance ?TOKEN SymbolicString)) |
Languages.kif 14715-14717 | |
(=> (subtitle ?STRING ?WORKTYPE ?LANGUAGE) (exists (?TITLE) (and (instance ?TITLE SymbolicString) (instance ?TITLE LinguisticExpression) (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE)))) |
Media.kif 3220-3226 |
![]() |
![]() |