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 756-759 | |
(domain AssignmentFn 1 Function) | Merge.kif 752-752 | |
(domain AssignmentFn 2 Entity) | Merge.kif 753-753 | |
(instance AssignmentFn Function) | Merge.kif 750-750 | |
(instance AssignmentFn VariableArityRelation) | Merge.kif 751-751 | |
(range AssignmentFn Entity) | Merge.kif 754-754 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage AssignmentFn "%1(%*{2-}[,])") | chinese_format.kif 346-346 | |
(format EnglishLanguage AssignmentFn "%1(%*{2-}[,])") | english_format.kif 352-352 | |
(termFormat ChineseLanguage AssignmentFn "任务") | domainEnglishFormat.kif 8771-8771 | |
(termFormat ChineseLanguage AssignmentFn "分派函数") | chinese_format.kif 347-347 | |
(termFormat ChineseTraditionalLanguage AssignmentFn "任務") | domainEnglishFormat.kif 8770-8770 | |
(termFormat EnglishLanguage AssignmentFn "assignment") | domainEnglishFormat.kif 8769-8769 |
antecedent |
![]() |
(=> (and (range ?FUNCTION ?CLASS) (equal (AssignmentFn ?FUNCTION @ROW) ?VALUE)) (instance ?VALUE ?CLASS)) |
Merge.kif 311-315 | |
(=> (and (rangeSubclass ?FUNCTION ?CLASS) (equal (AssignmentFn ?FUNCTION @ROW) ?VALUE)) (subclass ?VALUE ?CLASS)) |
Merge.kif 338-342 |
consequent |
![]() |
(=> (instance ?FUN OneToOneFunction) (forall (?ARG1 ?ARG2) (=> (and (domain ?FUN 1 ?CLASS) (instance ?ARG1 ?CLASS) (instance ?ARG2 ?CLASS) (not (equal ?ARG1 ?ARG2))) (not (equal (AssignmentFn ?FUN ?ARG1) (AssignmentFn ?FUN ?ARG2)))))) |
Merge.kif 3258-3267 | |
(=> (instance ?FUNCTION AssociativeFunction) (forall (?INST1 ?INST2 ?INST3) (=> (and (domain ?FUNCTION 1 ?CLASS) (instance ?INST1 ?CLASS) (instance ?INST2 ?CLASS) (instance ?INST3 ?CLASS)) (equal (AssignmentFn ?FUNCTION ?INST1 (AssignmentFn ?FUNCTION ?INST2 ?INST3)) (AssignmentFn ?FUNCTION (AssignmentFn ?FUNCTION ?INST1 ?INST2) ?INST3))))) |
Merge.kif 3300-3310 | |
(=> (instance ?FUNCTION CommutativeFunction) (forall (?INST1 ?INST2) (=> (and (domain ?FUNCTION 1 ?CLASS) (instance ?INST1 ?CLASS) (instance ?INST2 ?CLASS)) (equal (AssignmentFn ?FUNCTION ?INST1 ?INST2) (AssignmentFn ?FUNCTION ?INST2 ?INST1))))) |
Merge.kif 3320-3329 |
![]() |
![]() |