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

Formal Language: 



KB Term:  Term intersection
English Word: 

  QuaternaryFunction

Sigma KEE - QuaternaryFunction
QuaternaryFunction(四元函数)

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 "FunctionClass は、正確に4つの 引数を必要とする。") japanese_format.kif 647-648
(subclass QuaternaryFunction Function) Merge.kif 3461-3461 四元函数函数subclass
(subclass QuaternaryFunction InheritableRelation) Merge.kif 3463-3463 四元函数可继承的关系subclass
(subclass QuaternaryFunction QuintaryRelation) Merge.kif 3462-3462 四元函数五元关系subclass

appearance as argument number 2
-------------------------


(format ChineseLanguage QuaternaryFunction "%1, %2, %3 和 %4 的 quaternary 功能") domainEnglishFormat.kif 2083-2083
(format ChineseTraditionalLanguage QuaternaryFunction "%1, %2, %3 和 %4 的 quaternary 功能") domainEnglishFormat.kif 2082-2082
(format EnglishLanguage QuaternaryFunction "the quaternary function of %1, %2, %3 and %4") domainEnglishFormat.kif 2081-2081
(instance AccelerationFn QuaternaryFunction) Cars.kif 1278-1278 AccelerationFn四元函数instance
(instance SellersOtherItemsFn QuaternaryFunction) UXExperimentalTerms.kif 1014-1014 SellersOtherItemsFn四元函数instance
(instance StreetAddressFn QuaternaryFunction) Mid-level-ontology.kif 6706-6706 街道地址四元函数instance
(instance VelocityFn QuaternaryFunction) Merge.kif 6666-6666 速度函数四元函数instance
(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 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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