| 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 24517-24521 | |
| (domain stringLength 1 NonnegativeInteger) | Mid-level-ontology.kif 24515-24515 | |
| (domain stringLength 2 SymbolicString) | Mid-level-ontology.kif 24516-24516 | |
| (instance stringLength BinaryPredicate) | Mid-level-ontology.kif 24512-24512 | |
| (instance stringLength SingleValuedRelation) | Mid-level-ontology.kif 24514-24514 | |
| (instance stringLength TotalValuedRelation) | Mid-level-ontology.kif 24513-24513 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage stringLength "%2 是 %1 characters long ") | domainEnglishFormat.kif 4670-4670 | |
| (format ChineseTraditionalLanguage stringLength "%2 是 %1 characters long ") | domainEnglishFormat.kif 4669-4669 | |
| (format EnglishLanguage stringLength "%2 is %1 characters long") | domainEnglishFormat.kif 4668-4668 | |
| (termFormat EnglishLanguage stringLength "string length") | domainEnglishFormat.kif 65945-65945 |
| antecedent |
|
|
| (<=> (stringLength ?INT ?STRING) (equal ?INT (StringLengthFn ?STRING))) |
Mid-level-ontology.kif 24523-24525 | |
| (=> (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