| 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 25579-25583 | |
| (domain stringLength 1 NonnegativeInteger) | Mid-level-ontology.kif 25577-25577 | |
| (domain stringLength 2 SymbolicString) | Mid-level-ontology.kif 25578-25578 | |
| (instance stringLength BinaryPredicate) | Mid-level-ontology.kif 25574-25574 | |
| (instance stringLength SingleValuedRelation) | Mid-level-ontology.kif 25576-25576 | |
| (instance stringLength TotalValuedRelation) | Mid-level-ontology.kif 25575-25575 |
| 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 25585-25587 | |
| (=> (and (instance ?STRING AlphabeticString) (stringLength 2 ?STRING)) (instance ?STRING Alpha2String)) |
Media.kif 2992-2996 | |
| (=> (and (instance ?STRING AlphabeticString) (stringLength 3 ?STRING)) (instance ?STRING Alpha3String)) |
Media.kif 2977-2981 | |
| (=> (and (instance ?STRING DecimalDigitString) (stringLength 4 ?STRING)) (instance ?STRING NumericString4)) |
Media.kif 2959-2963 |
| consequent |
|
|
| (=> (codeMapping ISO_3166_1_alpha_2 ?TOKEN ?X) (and (instance ?X GeographicArea) (instance ?TOKEN AlphabeticString) (stringLength 2 ?TOKEN))) |
Media.kif 2636-2641 | |
| (=> (codeMapping ISO_4217_A ?TOKEN ?X) (and (instance ?X UnitOfMeasure) (stringLength 3 ?TOKEN) (instance ?TOKEN AlphabeticString))) |
Media.kif 2286-2291 | |
| (=> (codeMapping ISO_639_1 ?TOKEN ?X) (stringLength 2 ?TOKEN)) |
Languages.kif 14711-14713 | |
| (=> (instance ?STRING Alpha2String) (stringLength 2 ?STRING)) |
Media.kif 2988-2990 | |
| (=> (instance ?STRING Alpha3String) (stringLength 3 ?STRING)) |
Media.kif 2973-2975 | |
| (=> (instance ?STRING NumericString4) (stringLength 4 ?STRING)) |
Media.kif 2955-2957 |
|
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