| appearance as argument number 1 |
|
| (documentation stringLength EnglishLanguage "(stringLength ?NonnegativeInteger ?SymbolicString) means that the number of Characters in ?SymbolicString is ?NonnegativeInteger. Example: (stringLength 14 "Charles Darwin"), which is a True Sentence.") | Mid-level-ontology.kif 26141-26145 | |
| (domain stringLength 1 NonnegativeInteger) | Mid-level-ontology.kif 26139-26139 | |
| (domain stringLength 2 SymbolicString) | Mid-level-ontology.kif 26140-26140 | |
| (instance stringLength BinaryPredicate) | Mid-level-ontology.kif 26136-26136 | |
| (instance stringLength SingleValuedRelation) | Mid-level-ontology.kif 26138-26138 | |
| (instance stringLength TotalValuedRelation) | Mid-level-ontology.kif 26137-26137 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage stringLength "%2 是 %1 characters long ") | domainEnglishFormat.kif 4674-4674 | |
| (format ChineseTraditionalLanguage stringLength "%2 是 %1 characters long ") | domainEnglishFormat.kif 4673-4673 | |
| (format EnglishLanguage stringLength "%2 is %1 characters long") | domainEnglishFormat.kif 4672-4672 | |
| (termFormat EnglishLanguage stringLength "string length") | domainEnglishFormat.kif 66001-66001 |
| antecedent |
|
|
| (<=> (stringLength ?INT ?STRING) (equal ?INT (StringLengthFn ?STRING))) |
Mid-level-ontology.kif 26147-26149 | |
| (=> (and (instance ?STRING AlphabeticString) (stringLength 2 ?STRING)) (instance ?STRING Alpha2String)) |
Media.kif 2994-2998 | |
| (=> (and (instance ?STRING AlphabeticString) (stringLength 3 ?STRING)) (instance ?STRING Alpha3String)) |
Media.kif 2979-2983 | |
| (=> (and (instance ?STRING DecimalDigitString) (stringLength 4 ?STRING)) (instance ?STRING NumericString4)) |
Media.kif 2961-2965 |
| consequent |
|
|
| (=> (codeMapping ISO_3166_1_alpha_2 ?TOKEN ?X) (and (instance ?X GeographicArea) (instance ?TOKEN AlphabeticString) (stringLength 2 ?TOKEN))) |
Media.kif 2638-2643 | |
| (=> (codeMapping ISO_4217_A ?TOKEN ?X) (and (instance ?X UnitOfMeasure) (stringLength 3 ?TOKEN) (instance ?TOKEN AlphabeticString))) |
Media.kif 2288-2293 | |
| (=> (codeMapping ISO_639_1 ?TOKEN ?X) (stringLength 2 ?TOKEN)) |
Languages.kif 14711-14713 | |
| (=> (instance ?STRING Alpha2String) (stringLength 2 ?STRING)) |
Media.kif 2990-2992 | |
| (=> (instance ?STRING Alpha3String) (stringLength 3 ?STRING)) |
Media.kif 2975-2977 | |
| (=> (instance ?STRING NumericString4) (stringLength 4 ?STRING)) |
Media.kif 2957-2959 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners