SubstringFn |
appearance as argument number 1 |
(documentation SubstringFn EnglishLanguage "(SubstringFn ?SymbolicString ?NonnegativeInteger-1 ?NonnegativeInteger-2) denotes a string that is a subString of ?SymbolicString, begins with the Character at the index ?NonnegativeInteger-1, and ends with the Character at the index (SubtractionFn ?NonnegativeInteger-2 1). The first Character in ?SymbolicString is denoted by the index 0. If the value of ?NonnegativeInteger-1 or ?NonnegativeInteger-2 is greater than the value of (StringLengthFn ?SymbolicString), or if ?NonnegativeInteger-1 is greater than ?NonnegativeInteger-2, the result of evaluating the SubstringFn expression is undefined. Example: (equal "Charle" (SubstringFn "Charles Darwin" 0 6)).") | Mid-level-ontology.kif 24477-24489 | |
(domain SubstringFn 1 SymbolicString) | Mid-level-ontology.kif 24473-24473 | Die Zahl 1 Argument von SubstringFn ist ein fall von SymbolicString %n{nicht} |
(domain SubstringFn 2 NonnegativeInteger) | Mid-level-ontology.kif 24474-24474 | Die Zahl 2 Argument von SubstringFn ist ein fall von NonnegativeInteger %n{nicht} |
(domain SubstringFn 3 NonnegativeInteger) | Mid-level-ontology.kif 24475-24475 | Die Zahl 3 Argument von SubstringFn ist ein fall von NonnegativeInteger %n{nicht} |
(instance SubstringFn PartialValuedRelation) | Mid-level-ontology.kif 24471-24471 | SubstringFn ist ein fall von PartialValuedRelation %n{nicht} |
(instance SubstringFn SingleValuedRelation) | Mid-level-ontology.kif 24472-24472 | SubstringFn ist ein fall von SingleValuedRelation %n{nicht} |
(instance SubstringFn TernaryFunction) | Mid-level-ontology.kif 24470-24470 | SubstringFn ist ein fall von TernaryFunction %n{nicht} |
(range SubstringFn SymbolicString) | Mid-level-ontology.kif 24476-24476 | bildbereich von SubstringFn ist ein fall von SymbolicString {nicht} |
appearance as argument number 2 |
(format ChineseLanguage SubstringFn "%1 的 sub-string 从 %2 对于 %3 ") | domainEnglishFormat.kif 4706-4706 | |
(format ChineseTraditionalLanguage SubstringFn "%1 的 sub-string 從 %2 對於 %3 ") | domainEnglishFormat.kif 4705-4705 | |
(format EnglishLanguage SubstringFn "the sub-string of %1 from %2 to %3") | domainEnglishFormat.kif 4704-4704 | |
(termFormat EnglishLanguage SubstringFn "substring fn") | domainEnglishFormat.kif 65556-65556 |
antecedent |
consequent |