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 1338-1338 | |
(documentation SymbolicString JapaneseLanguage "英数字シーケンス の Class 。") | japanese_format.kif 229-229 | |
(documentation SymbolicString SpanishLanguage "La Class de secuencias alfanuméricas.") | spanish_format.kif 271-271 | |
(subclass SymbolicString ContentBearingPhysical) | Merge.kif 1336-1336 | Stringa è una sottoclasse di ContentBearingPhysical |
appearance as argument number 2 |
appearance as argument number 3 |
(domain KappaFn 1 SymbolicString) | Merge.kif 5582-5582 | Il numero 1 argomenti di KappaFn è un istanza di Stringa |
(domain ReverseFn 1 SymbolicString) | Media.kif 3062-3062 | Il numero 1 argomenti di ReverseFn è un istanza di Stringa |
(domain StringConcatenateFn 1 SymbolicString) | Mid-level-ontology.kif 24473-24473 | Il numero 1 argomenti di StringConcatenateFn è un istanza di Stringa |
(domain StringConcatenateFn 2 SymbolicString) | Mid-level-ontology.kif 24474-24474 | Il numero 2 argomenti di StringConcatenateFn è un istanza di Stringa |
(domain StringLengthFn 1 SymbolicString) | Mid-level-ontology.kif 24446-24446 | Il numero 1 argomenti di StringLengthFn è un istanza di Stringa |
(domain SubstringFn 1 SymbolicString) | Mid-level-ontology.kif 24416-24416 | Il numero 1 argomenti di SubstringFn è un istanza di Stringa |
(domain abbreviatedDisplayTitle 1 SymbolicString) | Media.kif 3154-3154 | Il numero 1 argomenti di abbreviatedDisplayTitle è un istanza di Stringa |
(domain abbreviation 1 SymbolicString) | Mid-level-ontology.kif 27231-27231 | Il numero 1 argomenti di abbreviation è un istanza di Stringa |
(domain acronym 1 SymbolicString) | Media.kif 3032-3032 | Il numero 1 argomenti di acronym è un istanza di Stringa |
(domain agentName 1 SymbolicString) | Media.kif 3422-3422 | Il numero 1 argomenti di agentName è un istanza di Stringa |
(domain aimOfOrganization 2 SymbolicString) | Government.kif 2586-2586 | Il numero 2 argomenti di aimOfOrganization è un istanza di Stringa |
(domain alias 1 SymbolicString) | Mid-level-ontology.kif 23207-23207 | Il numero 1 argomenti di alias è un istanza di Stringa |
(domain alternativeTitle 1 SymbolicString) | Media.kif 3122-3122 | Il numero 1 argomenti di alternativeTitle è un istanza di Stringa |
(domain canonicalPlaceName 3 SymbolicString) | Mid-level-ontology.kif 24582-24582 | Il numero 3 argomenti di canonicalPlaceName è un istanza di Stringa |
(domain chanceryAddressInArea 2 SymbolicString) | Government.kif 4734-4734 | Il numero 2 argomenti di chanceryAddressInArea è un istanza di Stringa |
(domain chanceryFAXNumberInArea 2 SymbolicString) | Government.kif 4765-4765 | Il numero 2 argomenti di chanceryFAXNumberInArea è un istanza di Stringa |
(domain chanceryMailingAddressInArea 2 SymbolicString) | Government.kif 4744-4744 | Il numero 2 argomenti di chanceryMailingAddressInArea è un istanza di Stringa |
(domain chanceryTelephoneNumberInArea 2 SymbolicString) | Government.kif 4755-4755 | Il numero 2 argomenti di chanceryTelephoneNumberInArea è un istanza di Stringa |
(domain codeMapping 2 SymbolicString) | Media.kif 2265-2265 | Il numero 2 argomenti di codeMapping è un istanza di Stringa |
(domain comment 2 SymbolicString) | Merge.kif 18367-18367 | Il numero 2 argomenti di comment è un istanza di Stringa |
(domain comment 3 SymbolicString) | Merge.kif 18368-18368 | Il numero 3 argomenti di comment è un istanza di Stringa |
(domain componentDataID 5 SymbolicString) | QoSontology.kif 901-901 | Il numero 5 argomenti di componentDataID è un istanza di Stringa |
(domain confirmationNumber 2 SymbolicString) | FinancialOntology.kif 3880-3880 | Il numero 2 argomenti di confirmationNumber è un istanza di Stringa |
(domain conventionalLongName 1 SymbolicString) | Mid-level-ontology.kif 27214-27214 | Il numero 1 argomenti di conventionalLongName è un istanza di Stringa |
(domain conventionalShortName 1 SymbolicString) | Mid-level-ontology.kif 27226-27226 | Il numero 1 argomenti di conventionalShortName è un istanza di Stringa |
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 24378-24383 | |
(=> (instance ?STRING SymbolicString) (exists (?PART) (and (part ?PART ?STRING) (instance ?PART Character)))) |
Merge.kif 1347-1352 |
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 3234-3240 |
|