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 1158-1160
(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 1153-1156
(documentation AssignmentFn JapaneseLanguage "FがN1,..., NKで示されるオブジェクトの値を持つ Function である場合、(AssignmentFn F N1 ... NK) は、N1,..., NKで示されるオブジェクトにFを 適用する値である。") Merge.kif 1162-1164
(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.") Merge.kif 1166-1169
(domain AssignmentFn 1 Function) Merge.kif 1149-1149 AssignmentFn の数値 1 引数は 関数instance では %n
(domain AssignmentFn 2 Entity) Merge.kif 1150-1150 AssignmentFn の数値 2 引数は エンティティーinstance では %n
(instance AssignmentFn Function) Merge.kif 1147-1147 AssignmentFn関数instance では %n
(instance AssignmentFn VariableArityRelation) Merge.kif 1148-1148 AssignmentFn可変項数関係instance では %n
(range AssignmentFn Entity) Merge.kif 1151-1151 AssignmentFnrangeエンティティー のインスタンス では %n

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


(format ChineseLanguage AssignmentFn "%1(%*{2-}[,])") chinese_format.kif 346-346
(format EnglishLanguage AssignmentFn "%1(%*{2-}[,])") english_format.kif 490-490
(format JapaneseLanguage AssignmentFn "%1(%*{2-}[,])") english_format.kif 491-491
(termFormat ChineseLanguage AssignmentFn "任务") domainEnglishFormat.kif 8767-8767 termFormat ChineseLanguage, AssignmentFn and "任务"
(termFormat ChineseLanguage AssignmentFn "分派函数") chinese_format.kif 347-347 termFormat ChineseLanguage, AssignmentFn and "分派函数"
(termFormat ChineseTraditionalLanguage AssignmentFn "任務") domainEnglishFormat.kif 8766-8766 termFormat ChineseTraditionalLanguage, AssignmentFn and "任務"
(termFormat EnglishLanguage AssignmentFn "assignment") domainEnglishFormat.kif 8765-8765 termFormat EnglishLanguage, AssignmentFn and "assignment"

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


(=>
    (and
        (range ?FUNCTION ?CLASS)
        (equal
            (AssignmentFn ?FUNCTION @ROW) ?VALUE))
    (instance ?VALUE ?CLASS))
Merge.kif 452-456
(=>
    (and
        (rangeSubclass ?FUNCTION ?CLASS)
        (equal
            (AssignmentFn ?FUNCTION @ROW) ?VALUE))
    (subclass ?VALUE ?CLASS))
Merge.kif 488-492

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 5111-5120
(=>
    (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 5175-5185
(=>
    (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 5204-5213


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