| 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 3725-3729 | |
| (documentation distributes JapaneseLanguage "BinaryFunction ?FUNCTION1は、すべての ?INST1、 ?INST2、および ?INST3に対して、(?FUNCTION1 ?INST1 (?FUNCTION2 ?INST2 ?INST3)) が (?FUNCTION2 (?FUNCTION1 ?INST1 ?INST2) (?FUNCTION1 ?INST1 ?INST3)) と等しい場合に備えて、 別の BinaryFunction ?FUNCTION2 に対して配布される。") | japanese_format.kif 703-706 | |
| (domain distributes 1 BinaryFunction) | Merge.kif 3722-3722 | Il numero 1 argomenti di distributes è un istanza di FunzioneBinaria |
| (domain distributes 2 BinaryFunction) | Merge.kif 3723-3723 | Il numero 2 argomenti di distributes è un istanza di FunzioneBinaria |
| (instance distributes BinaryPredicate) | Merge.kif 3721-3721 | distributes è un' istanza di PredicatoBinario |
| 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 | |
| (format FrenchLanguage distributes "%1 est %n distribu� � travers %2") | french_format.kif 70-70 | |
| (format ItalianLanguage distributes "%1 è %n distributivo su %2") | relations-it.txt 79-79 | |
| (format JapaneseLanguage distributes "%1 は %2 の distributive では %n") | japanese_format.kif 1896-1896 | |
| (format PortugueseLanguage distributes "%1 e' %n distributiva sobre %2") | portuguese_format.kif 22-22 | |
| (format cz distributes "%1 %p{je} %n{nen�} distributive over %2") | relations-cz.txt 113-113 | |
| (format de distributes "%1 ist distributiv ueber %2") | relations-de.txt 107-107 | |
| (format hi distributes "%1 %2 ke upara vitarita hotaa hai") | relations-hindi.txt 119-119 | |
| (format ro distributes "%1 %n{nu} este distributive%t{distributivã} peste %2") | relations-ro.kif 89-89 | |
| (format sv distributes "%1 är %n{inte} en distributiv över %2") | relations-sv.txt 69-69 | |
| (format tg distributes "%1 %n ay namahagi sa %2") | relations-cb.txt 113-113 | |
| (termFormat ChineseLanguage distributes "分布") | chinese_format.kif 96-96 | |
| (termFormat ChineseLanguage distributes "分配") | domainEnglishFormat.kif 19968-19968 | |
| (termFormat ChineseTraditionalLanguage distributes "分配") | domainEnglishFormat.kif 19967-19967 | |
| (termFormat EnglishLanguage distributes "distributes") | domainEnglishFormat.kif 19966-19966 | |
| (termFormat de distributes "istDistributiv") | terms-de.txt 30-30 | |
| (termFormat tg distributes "namahagi") | relations-tg.txt 174-174 |
|
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