| appearance as argument number 1 |
|
| (documentation QuaternaryFunction ChineseLanguage "这是个需要恰好四个参数的 Function Class。") | chinese_format.kif 2008-2009 | |
| (documentation QuaternaryFunction EnglishLanguage "The Class of Functions that require exactly four arguments.") | Merge.kif 3465-3466 | |
| (documentation QuaternaryFunction JapaneseLanguage "Function の Class は、正確に4つの 引数を必要とする。") | japanese_format.kif 647-648 | |
| (subclass QuaternaryFunction Function) | Merge.kif 3461-3461 | |
| (subclass QuaternaryFunction InheritableRelation) | Merge.kif 3463-3463 | |
| (subclass QuaternaryFunction QuintaryRelation) | Merge.kif 3462-3462 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage QuaternaryFunction "%1, %2, %3 和 %4 的 quaternary 功能") | domainEnglishFormat.kif 2087-2087 | |
| (format ChineseTraditionalLanguage QuaternaryFunction "%1, %2, %3 和 %4 的 quaternary 功能") | domainEnglishFormat.kif 2086-2086 | |
| (format EnglishLanguage QuaternaryFunction "the quaternary function of %1, %2, %3 and %4") | domainEnglishFormat.kif 2085-2085 | |
| (instance AccelerationFn QuaternaryFunction) | Cars.kif 1278-1278 | |
| (instance SellersOtherItemsFn QuaternaryFunction) | UXExperimentalTerms.kif 1014-1014 | |
| (instance StreetAddressFn QuaternaryFunction) | Mid-level-ontology.kif 7662-7662 | |
| (instance VelocityFn QuaternaryFunction) | Merge.kif 6676-6676 | |
| (termFormat ChineseLanguage QuaternaryFunction "四元函数") | chinese_format.kif 924-924 | |
| (termFormat EnglishLanguage QuaternaryFunction "quaternary function") | english_format.kif 1055-1055 | |
| (termFormat FrenchLanguage QuaternaryFunction "function quaternaire") | french_format.kif 600-600 | |
| (termFormat Hindi QuaternaryFunction "chaturangI prakaarya") | terms-hindi.txt 130-130 | |
| (termFormat ItalianLanguage QuaternaryFunction "FunzioneQuaternaria") | terms-it.txt 133-133 | |
| (termFormat JapaneseLanguage QuaternaryFunction "4変数関数") | japanese_format.kif 2285-2285 | |
| (termFormat PortugueseLanguage QuaternaryFunction "Funcao Quaternaria") | portuguese_format.kif 552-552 | |
| (termFormat cz QuaternaryFunction "quaternary function") | terms-cz.txt 167-167 | |
| (termFormat de QuaternaryFunction "vierstellige funktion") | terms-de.txt 426-426 | |
| (termFormat ro QuaternaryFunction "funcþie cuaternarã") | relations-ro.kif 621-621 | |
| (termFormat tg QuaternaryFunction "apat na tungkulin") | terms-tg.txt 134-134 |
| antecedent |
|
|
| (=> (instance ?FUNCTION QuaternaryFunction) (valence ?FUNCTION 4)) |
Merge.kif 3468-3470 |
|
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