| appearance as argument number 1 |
|
| (documentation TernaryFunction ChineseLanguage "这是个需要恰好三个参数的 Function Class。") | chinese_format.kif 2007-2007 | |
| (documentation TernaryFunction EnglishLanguage "The Class of Functions that require exactly three arguments.") | Merge.kif 3454-3455 | |
| (documentation TernaryFunction JapaneseLanguage "Function の Class は、正確に３つの引数を 必要とする 。") | japanese_format.kif 645-646 | |
| (subclass TernaryFunction Function) | Merge.kif 3450-3450 | Dreistellige Funktion ist eine teilkategorie von Funktion |
| (subclass TernaryFunction InheritableRelation) | Merge.kif 3452-3452 | Dreistellige Funktion ist eine teilkategorie von InheritableRelation |
| (subclass TernaryFunction QuaternaryRelation) | Merge.kif 3451-3451 | Dreistellige Funktion ist eine teilkategorie von viewwertige Relation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage TernaryFunction "%1, %2 和 %3 的 ternary 功能") | domainEnglishFormat.kif 2459-2459 | |
| (format ChineseTraditionalLanguage TernaryFunction "%1, %2 和 %3 的 ternary 功能") | domainEnglishFormat.kif 2458-2458 | |
| (format EnglishLanguage TernaryFunction "the ternary function of %1, %2 and %3") | domainEnglishFormat.kif 2457-2457 | |
| (instance MusicalInterpretationFn TernaryFunction) | Music.kif 840-840 | MusicalInterpretationFn ist ein fall von dreistellige Funktion %n{nicht} |
| (instance SubListFn TernaryFunction) | Merge.kif 3158-3158 | SubListFn ist ein fall von dreistellige Funktion %n{nicht} |
| (instance SubstringFn TernaryFunction) | Mid-level-ontology.kif 26094-26094 | SubstringFn ist ein fall von dreistellige Funktion %n{nicht} |
| (termFormat ChineseLanguage TernaryFunction "三元函数") | chinese_format.kif 923-923 | SubstringFn ist ein fall von dreistellige Funktion %n{nicht} |
| (termFormat EnglishLanguage TernaryFunction "ternary function") | english_format.kif 1053-1053 | SubstringFn ist ein fall von dreistellige Funktion %n{nicht} |
| (termFormat FrenchLanguage TernaryFunction "fonction ternaire") | french_format.kif 599-599 | SubstringFn ist ein fall von dreistellige Funktion %n{nicht} |
| (termFormat Hindi TernaryFunction "tri-angI prakaarya") | terms-hindi.txt 129-129 | SubstringFn ist ein fall von dreistellige Funktion %n{nicht} |
| (termFormat ItalianLanguage TernaryFunction "FunzioneTernaria") | terms-it.txt 132-132 | SubstringFn ist ein fall von dreistellige Funktion %n{nicht} |
| (termFormat JapaneseLanguage TernaryFunction "3変数関数") | japanese_format.kif 2284-2284 | SubstringFn ist ein fall von dreistellige Funktion %n{nicht} |
| (termFormat PortugueseLanguage TernaryFunction "Funcao Ternaria") | portuguese_format.kif 551-551 | SubstringFn ist ein fall von dreistellige Funktion %n{nicht} |
| (termFormat cz TernaryFunction "ternary function") | terms-cz.txt 166-166 | SubstringFn ist ein fall von dreistellige Funktion %n{nicht} |
| (termFormat de TernaryFunction "dreistellige Funktion") | terms-de.txt 425-425 | SubstringFn ist ein fall von dreistellige Funktion %n{nicht} |
| (termFormat ro TernaryFunction "funcþie ternarã") | relations-ro.kif 620-620 | SubstringFn ist ein fall von dreistellige Funktion %n{nicht} |
| (termFormat tg TernaryFunction "tatlong tungkulin") | terms-tg.txt 133-133 | SubstringFn ist ein fall von dreistellige Funktion %n{nicht} |
| antecedent |
|
|
| (=> (instance ?FUNCTION TernaryFunction) (valence ?FUNCTION 3)) |
Merge.kif 3457-3459 |
|
|
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