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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - QuaternaryFunction
QuaternaryFunction(4変数関数)

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 3480-3481
(documentation QuaternaryFunction JapaneseLanguage "Function の Class は、正確に4つの 引数を必要とする。") japanese_format.kif 647-648
(subclass QuaternaryFunction Function) Merge.kif 3476-3476 4変数関数 は 関数 の subclass では
(subclass QuaternaryFunction InheritableRelation) Merge.kif 3478-3478 4変数関数 は InheritableRelation の subclass では
(subclass QuaternaryFunction QuintaryRelation) Merge.kif 3477-3477 4変数関数 は 5進法関係 の subclass では

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 AccelerationFn は 4変数関数 の instance では
(instance SellersOtherItemsFn QuaternaryFunction) UXExperimentalTerms.kif 1014-1014 SellersOtherItemsFn は 4変数関数 の instance では
(instance StreetAddressFn QuaternaryFunction) Mid-level-ontology.kif 7643-7643 StreetAddressFn は 4変数関数 の instance では
(instance VelocityFn QuaternaryFunction) Merge.kif 6691-6691 VelocityFn は 4変数関数 の instance では
(termFormat ChineseLanguage QuaternaryFunction "四元函数") chinese_format.kif 924-924 VelocityFn は 4変数関数 の instance では
(termFormat EnglishLanguage QuaternaryFunction "quaternary function") english_format.kif 1055-1055 VelocityFn は 4変数関数 の instance では
(termFormat FrenchLanguage QuaternaryFunction "function quaternaire") french_format.kif 600-600 VelocityFn は 4変数関数 の instance では
(termFormat Hindi QuaternaryFunction "chaturangI prakaarya") terms-hindi.txt 130-130 VelocityFn は 4変数関数 の instance では
(termFormat ItalianLanguage QuaternaryFunction "FunzioneQuaternaria") terms-it.txt 133-133 VelocityFn は 4変数関数 の instance では
(termFormat JapaneseLanguage QuaternaryFunction "4変数関数") japanese_format.kif 2285-2285 VelocityFn は 4変数関数 の instance では
(termFormat PortugueseLanguage QuaternaryFunction "Funcao Quaternaria") portuguese_format.kif 552-552 VelocityFn は 4変数関数 の instance では
(termFormat cz QuaternaryFunction "quaternary function") terms-cz.txt 167-167 VelocityFn は 4変数関数 の instance では
(termFormat de QuaternaryFunction "vierstellige funktion") terms-de.txt 426-426 VelocityFn は 4変数関数 の instance では
(termFormat ro QuaternaryFunction "funcþie cuaternarã") relations-ro.kif 621-621 VelocityFn は 4変数関数 の instance では
(termFormat tg QuaternaryFunction "apat na tungkulin") terms-tg.txt 134-134 VelocityFn は 4変数関数 の instance では

antecedent
-------------------------


(=>
    (instance ?FUNCTION QuaternaryFunction)
    (valence ?FUNCTION 4))		 Merge.kif 3483-3485


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