| 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 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