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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - distributes

appearance as argument number 1

(documentation distributes ChineseLanguage "一个 BinaryFunction ?FUNCTION1 是另一个 BinaryFunction ?FUNCTION2 的分布函数, 以防对于所有的 ?INST1,?INST2 和 ?INST3, (?FUNCTION1 ?INST1 (?FUNCTION2 ?INST2 ?INST3)) 等于 (?FUNCTION2 (?FUNCTION1 ?INST1 ?INST2) (?FUNCTION1 ?INST1 ?INST3))。") chinese_format.kif 2058-2061
(documentation distributes EnglishLanguage "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.") Merge.kif 3471-3475
(domain distributes 1 BinaryFunction) Merge.kif 3468-3468 domain distributes, 1 and BinaryFunction
(domain distributes 2 BinaryFunction) Merge.kif 3469-3469 domain distributes, 2 and BinaryFunction
(instance distributes BinaryPredicate) Merge.kif 3467-3467 instance distributes and BinaryPredicate

appearance as argument number 2

(format ChineseLanguage distributes "%1 %n 是分布于 %2") chinese_format.kif 95-95
(format EnglishLanguage distributes "%1 is %n distributive over %2") english_format.kif 95-95
(termFormat ChineseLanguage distributes "分布") chinese_format.kif 96-96 termFormat ChineseLanguage, distributes and "分布"
(termFormat ChineseLanguage distributes "分配") domainEnglishFormat.kif 19897-19897 termFormat ChineseLanguage, distributes and "分配"
(termFormat ChineseTraditionalLanguage distributes "分配") domainEnglishFormat.kif 19896-19896 termFormat ChineseTraditionalLanguage, distributes and "分配"
(termFormat EnglishLanguage distributes "distributes") domainEnglishFormat.kif 19895-19895 termFormat EnglishLanguage, distributes and "distributes"

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