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

Formal Language: 


KB Term:  Term intersection
English Word: 

  AssignmentFn
  Entity

 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 783-786
(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 779-779
(domain AssignmentFn 2 Entity) Merge.kif 780-780
(instance AssignmentFn Function) Merge.kif 777-777
(instance AssignmentFn VariableArityRelation) Merge.kif 778-778
(range AssignmentFn Entity) Merge.kif 781-781

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 8761-8761
(termFormat ChineseLanguage AssignmentFn "分派函数") chinese_format.kif 347-347
(termFormat ChineseTraditionalLanguage AssignmentFn "任務") domainEnglishFormat.kif 8760-8760
(termFormat EnglishLanguage AssignmentFn "assignment") domainEnglishFormat.kif 8759-8759
(termFormat de AssignmentFn "AssignmentFn") terms-de.txt 146-146
(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 306-310
(=>
    (and
        (rangeSubclass ?FUNCTION ?CLASS)
        (equal
            (AssignmentFn ?FUNCTION @ROW) ?VALUE))
    (subclass ?VALUE ?CLASS))		 Merge.kif 332-336

consequent
-------------------------


(=>
    (instance ?FUN OneToOneFunction)
    (forall (?ARG1 ?ARG2)
        (=>
            (exists (?CLASS)
                (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 3390-3400
(=>
    (instance ?FUNCTION AssociativeFunction)
    (forall (?INST1 ?INST2 ?INST3 ?CLASS)
        (=>
            (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 3433-3443
(=>
    (instance ?FUNCTION CommutativeFunction)
    (forall (?INST1 ?INST2 ?CLASS)
        (=>
            (and
                (domain ?FUNCTION 1 ?CLASS)
                (instance ?INST1 ?CLASS)
                (instance ?INST2 ?CLASS))
            (equal
                (AssignmentFn ?FUNCTION ?INST1 ?INST2)
                (AssignmentFn ?FUNCTION ?INST2 ?INST1)))))		 Merge.kif 3453-3463


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