AssignmentFn - Sigma Knowledge base Browser

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所代表的值。在其他情况下，这个值是没有被下定义的。")	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 790-793
(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 786-786	The number 1 argument of assignment is an instance of function
(domain AssignmentFn 2 Entity)	Merge.kif 787-787	The number 2 argument of assignment is an instance of entity
(instance AssignmentFn Function)	Merge.kif 784-784	Assignment is an instance of function
(instance AssignmentFn VariableArityRelation)	Merge.kif 785-785	Assignment is an instance of variable arity relation
(range AssignmentFn Entity)	Merge.kif 788-788	The range of assignment is an instance of entity

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 8768-8768
(termFormat ChineseLanguage AssignmentFn "分派函数")	chinese_format.kif 347-347
(termFormat ChineseTraditionalLanguage AssignmentFn "任務")	domainEnglishFormat.kif 8767-8767
(termFormat EnglishLanguage AssignmentFn "assignment")	domainEnglishFormat.kif 8766-8766
(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 312-316	If the range of a function is an instance of a class and the function(@ROW) is equal to another entity, then the other entity is an instance of the class
(=> (and (rangeSubclass ?FUNCTION ?CLASS) (equal (AssignmentFn ?FUNCTION @ROW) ?VALUE)) (subclass ?VALUE ?CLASS))	Merge.kif 339-343	If the values returned by a function are subclasses of a kind of class and the function(@ROW) is equal to another class, then the other class is a subclass of a kind of class

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 3376-3386	If a function is an instance of one to one function, then for all an entity and another entity if there exists a class such that the number 1 argument of the function is an instance of the class and the entity is an instance of the class and the other entity is an instance of the class and the entity is not equal to the other entity, then the function(the entity) is not equal to the function(the other entity)
(=> (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 3419-3429	If a function is an instance of associative function, then for all an entity, another entity,, , a third entity and a class if the number 1 argument of the function is an instance of the class and the entity is an instance of the class and the other entity is an instance of the class and the third entity is an instance of the class, then the function(the entity and the function(the other entity and the third entity)) is equal to the function(the function(the entity and the other entity) and the third entity)
(=> (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 3439-3449	If a function is an instance of commutative function, then for all an entity, another entity and a class if the number 1 argument of the function is an instance of the class and the entity is an instance of the class and the other entity is an instance of the class, then the function(the entity and the other entity) is equal to the function(the other entity and the entity)

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 3.0 is open source software produced by Articulate Software and its partners