StringLengthFn |
appearance as argument number 1 |
(documentation StringLengthFn EnglishLanguage "This UnaryFunction takes a SymbolicString as its sole argument. The result of evaluating a term formed with StringLengthFn is a NonnegativeInteger that denotes the number of Characters in the SymbolicString. Example: (equal 14 (StringLengthFn "Charles Darwin")).") | Mid-level-ontology.kif 24448-24453 | |
(domain StringLengthFn 1 SymbolicString) | Mid-level-ontology.kif 24446-24446 | Die Zahl 1 Argument von StringLengthFn ist ein fall von SymbolicString %n{nicht} |
(instance StringLengthFn SingleValuedRelation) | Mid-level-ontology.kif 24445-24445 | StringLengthFn ist ein fall von SingleValuedRelation %n{nicht} |
(instance StringLengthFn TotalValuedRelation) | Mid-level-ontology.kif 24444-24444 | StringLengthFn ist ein fall von TotalValuedRelation %n{nicht} |
(instance StringLengthFn UnaryFunction) | Mid-level-ontology.kif 24443-24443 | StringLengthFn ist ein fall von UnaryFunction %n{nicht} |
(range StringLengthFn NonnegativeInteger) | Mid-level-ontology.kif 24447-24447 | bildbereich von StringLengthFn ist ein fall von NonnegativeInteger {nicht} |
appearance as argument number 2 |
(format ChineseLanguage StringLengthFn "%1 的 length ") | domainEnglishFormat.kif 4674-4674 | |
(format ChineseTraditionalLanguage StringLengthFn "%1 的 length ") | domainEnglishFormat.kif 4673-4673 | |
(format EnglishLanguage StringLengthFn "the length of %1") | domainEnglishFormat.kif 4672-4672 | |
(termFormat EnglishLanguage StringLengthFn "string length fn") | domainEnglishFormat.kif 65545-65545 |
antecedent |
consequent |
(<=> (stringLength ?INT ?STRING) (equal ?INT (StringLengthFn ?STRING))) |
Mid-level-ontology.kif 24466-24468 | stringLength NonnegativeInteger and SymbolicString genau dann wenn ** NonnegativeInteger ist gleich StringLengthFn ** SymbolicString %n{nicht} |
(=> (codeMapping IACOAirlineCode ?STR ?AIR) (equal 3 (StringLengthFn ?STR))) |
Transportation.kif 3165-3167 |
|
(=> (codeMapping IATAAirlineCode ?STR ?AIR) (equal 2 (StringLengthFn ?STR))) |
Transportation.kif 3152-3154 |
|
(=> (instance ?AOC AOCnumber) (equal 8 (StringLengthFn ?AOC))) |
Transportation.kif 3175-3177 |
|