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 | 域 StringLengthFn, 1 and SymbolicString |
(instance StringLengthFn SingleValuedRelation) | Mid-level-ontology.kif 24445-24445 | 例 StringLengthFn and SingleValuedRelation |
(instance StringLengthFn TotalValuedRelation) | Mid-level-ontology.kif 24444-24444 | 例 StringLengthFn and TotalValuedRelation |
(instance StringLengthFn UnaryFunction) | Mid-level-ontology.kif 24443-24443 | 例 StringLengthFn and UnaryFunction |
(range StringLengthFn NonnegativeInteger) | Mid-level-ontology.kif 24447-24447 | 範圍 StringLengthFn and NonnegativeInteger |
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 | SymbolicString 是 NonnegativeInteger characters long 等於 NonnegativeInteger and SymbolicString 的 length |
(=> (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 |
|