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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AssignmentFn
AssignmentFn

appearance as argument number 1
-------------------------


(documentation AssignmentFn ChineseLanguage "如果F是一个 Function,它所代表物体的值以 N1,...,NK表示, 那么 (AssignmentFn F N1 ... NK) 就是应用F到这些物体以N1,..., NK所代表的值。 在其他情况下,这个值是没有被下定义的。") Merge.kif 815-817
(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 811-814
(domain AssignmentFn 1 Function) Merge.kif 808-808
(domain AssignmentFn 2 Entity) Merge.kif 809-809
(instance AssignmentFn Function) Merge.kif 806-806
(instance AssignmentFn VariableArityRelation) Merge.kif 807-807
(range AssignmentFn Entity) Merge.kif 810-810

appearance as argument number 2
-------------------------


(format ChineseLanguage AssignmentFn "%1(%*{2-}[,])") chinese_format.kif 346-346
(format EnglishLanguage AssignmentFn "%1(%*{2-}[,])") english_format.kif 207-207
(format FrenchLanguage AssignmentFn "%1(%*{2-}[,])") french_format.kif 197-197
(format ItalianLanguage AssignmentFn "%1(%*{2-}[,]") relations-it.txt 28-28
(format PortugueseLanguage AssignmentFn "%1(%*{2-}[,])") portuguese_format.kif 149-149
(format ar AssignmentFn "%1 (%*{2-}['])") arabic_format.kif 140-140
(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 tg AssignmentFn "%1(%*{2-}[,]") relations-cb.txt 62-62
(termFormat ChineseLanguage AssignmentFn "分派函数") chinese_format.kif 347-347
(termFormat EnglishLanguage AssignmentFn "assignment") domainEnglishFormat.kif 1894-1894
(termFormat ar AssignmentFn "«لقاء»") arabic_format.kif 590-590
(termFormat tg AssignmentFn "tungkulin ng takdan") relations-tg.txt 73-73

antecedent
-------------------------


(=>
    (and
        (range ?FUNCTION ?CLASS)
        (equal
            (AssignmentFn ?FUNCTION @ROW) ?VALUE))
    (instance ?VALUE ?CLASS))
Merge.kif 348-352
(=>
    (and
        (rangeSubclass ?FUNCTION ?CLASS)
        (equal
            (AssignmentFn ?FUNCTION @ROW) ?VALUE))
    (subclass ?VALUE ?CLASS))
Merge.kif 377-381

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 3452-3461
(=>
    (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 3498-3508
(=>
    (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 3520-3529


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners