  AssignmentFn
|
|
Sigma KEE - AssignmentFn
|
appearance as argument number 1
|
|
|
| (documentation AssignmentFn ChineseLanguage "如果F是一个 Function，它所代表物体的值以 N1，...，NK表示， 那么 (AssignmentFn F N1 ... NK) 就是应用F到这些物体以N1,..., NK所代表的值。 在其他情况下，这个值是没有被下定义的。") |
chinese_format.kif 1545-1547 |
|
| (documentation AssignmentFn EnglishLanguage "If F is a Function with a value for the objects denoted by N1,..., NK, then (AssignmentFn F N1 ... NK) is the value of applying F to the objects denoted by N1,..., NK. Otherwise, the value is undefined.") |
Merge.kif 790-793 |
|
| (documentation AssignmentFn JapaneseLanguage "FがN1,..., NKで示されるオブジェクトの値を持つ Function である場合、(AssignmentFn F N1 ... NK) は、N1,..., NKで示されるオブジェクトにFを 適用する値である。") |
japanese_format.kif 113-115 |
|
| (documentation AssignmentFn SpanishLanguage "Si F es una Function con un valor de los objetos denotado por N1,..., NK, entonces (AssignmentFn F N1 ... NK) es el valor de aplicar F a los objetos denotado por N1,..., NK. De lo contrario, el valor es indefinido.") |
spanish_format.kif 131-134 |
|
| (domain AssignmentFn 1 Function) |
Merge.kif 786-786 |
The number 1 argument of assignment is an instance of function |
| (domain AssignmentFn 2 Entity) |
Merge.kif 787-787 |
The number 2 argument of assignment is an instance of entity |
| (instance AssignmentFn Function) |
Merge.kif 784-784 |
Assignment is an instance of function |
| (instance AssignmentFn VariableArityRelation) |
Merge.kif 785-785 |
Assignment is an instance of variable arity relation |
| (range AssignmentFn Entity) |
Merge.kif 788-788 |
The range of assignment is an instance of entity |
|
appearance as argument number 2
|
|
|
| (format ChineseLanguage AssignmentFn "%1(%*{2-}[,])") |
chinese_format.kif 346-346 |
|
| (format EnglishLanguage AssignmentFn "%1(%*{2-}[,])") |
english_format.kif 349-349 |
|
| (format FrenchLanguage AssignmentFn "%1(%*{2-}[,])") |
french_format.kif 197-197 |
|
| (format ItalianLanguage AssignmentFn "%1(%*{2-}[,]") |
relations-it.txt 28-28 |
|
| (format JapaneseLanguage AssignmentFn "%1(%*{2-}[,])") |
japanese_format.kif 2013-2013 |
|
| (format PortugueseLanguage AssignmentFn "%1(%*{2-}[,])") |
portuguese_format.kif 149-149 |
|
| (format cz AssignmentFn "%1(%*{2-}[,])") |
relations-cz.txt 205-205 |
|
| (format de AssignmentFn "%1(%*{2-}[,])") |
relations-de.txt 462-462 |
|
| (format hi AssignmentFn "%1(%*{2-}[,]") |
relations-hindi.txt 72-72 |
|
| (format ro AssignmentFn "%1(%*{2-}[,])") |
relations-ro.kif 217-217 |
|
| (format sv AssignmentFn "%1(%*{2-}[,])") |
relations-sv.txt 213-213 |
|
| (format tg AssignmentFn "%1(%*{2-}[,]") |
relations-cb.txt 62-62 |
|
| (termFormat ChineseLanguage AssignmentFn "任务") |
domainEnglishFormat.kif 8760-8760 |
|
| (termFormat ChineseLanguage AssignmentFn "分派函数") |
chinese_format.kif 347-347 |
|
| (termFormat ChineseTraditionalLanguage AssignmentFn "任務") |
domainEnglishFormat.kif 8759-8759 |
|
| (termFormat EnglishLanguage AssignmentFn "assignment") |
domainEnglishFormat.kif 8758-8758 |
|
| (termFormat tg AssignmentFn "tungkulin ng takdan") |
relations-tg.txt 73-73 |
|
|
antecedent
|
|
|
|