Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi Concept: English word: Home

# 分配 (distributes)

A BinaryFunction function1 is distributive over another BinaryFunction function2 just in case (function1 inst1 (function2 inst2 inst3)) is equal to (function2 (function1 inst1 inst2) (function1 inst1 inst3)), for all inst1, inst2, and inst3.

## Ontology

SUMO / BASE-ONTOLOGY

 種類

可繼承關係

二元述詞
 種類

可繼承關係

二元關係

分配

## Type restrictions

distributes(二元函數, 二元函數)

## Axioms (1)

• if 分配(function1,function2) holds,
• then for all inst1,inst2,inst3 holds: if function1 的 論元 class1實例 and inst1class1實例 and inst2class1實例 and inst3class1實例 and function2 的 論元 class2實例 and inst1class2實例 and inst2class2實例 and inst3class2實例, then "function1(inst1,"function2(inst2,inst3)")" 等於 "function2("function1(inst1,inst2)","function1(inst1,inst3)")"
• .
```(=>
(distributes ?FUNCTION1 ?FUNCTION2)
(forall
(?INST1 ?INST2 ?INST3)
(=>
(and
(domain ?FUNCTION1 1 ?CLASS1)
(instance ?INST1 ?CLASS1)
(instance ?INST2 ?CLASS1)
(instance ?INST3 ?CLASS1)
(domain ?FUNCTION2 1 ?CLASS2)
(instance ?INST1 ?CLASS2)
(instance ?INST2 ?CLASS2)
(instance ?INST3 ?CLASS2))
(equal
(AssignmentFn
?FUNCTION1
?INST1
(AssignmentFn ?FUNCTION2 ?INST2 ?INST3))
(AssignmentFn
?FUNCTION2
(AssignmentFn ?FUNCTION1 ?INST1 ?INST2)
(AssignmentFn ?FUNCTION1 ?INST1 ?INST3))))))```