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 引数は 記号文字列 の instance では %n |
(instance StringLengthFn SingleValuedRelation) | Mid-level-ontology.kif 24445-24445 | StringLengthFn は 一価関係 の instance では %n |
(instance StringLengthFn TotalValuedRelation) | Mid-level-ontology.kif 24444-24444 | StringLengthFn は 合計値関係 の instance では %n |
(instance StringLengthFn UnaryFunction) | Mid-level-ontology.kif 24443-24443 | StringLengthFn は 1変数関数 の instance では %n |
(range StringLengthFn NonnegativeInteger) | Mid-level-ontology.kif 24447-24447 | StringLengthFn の range は 非負整数 のインスタンス では %n |
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 非負整数 and 記号文字列 非負整数 は StringLengthFn 記号文字列 と equal では %n |
(=> (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 |