Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AssignmentFn

 Sigma KEE - AssignmentFn
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 3264-3273
(=>
    (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 3306-3316
(=>
    (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 3326-3335


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners