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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QuaternaryFunction
QuaternaryFunction(quaternary function)

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 3466-3467
(documentation QuaternaryFunction JapaneseLanguage "Function の Class は、正確に4つの 引数を必要とする。") japanese_format.kif 647-648
(subclass QuaternaryFunction Function) Merge.kif 3462-3462 Quaternary function is a subclass of function
(subclass QuaternaryFunction InheritableRelation) Merge.kif 3464-3464 Quaternary function is a subclass of inheritable relation
(subclass QuaternaryFunction QuintaryRelation) Merge.kif 3463-3463 Quaternary function is a subclass of quintary relation

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 Acceleration fn is an instance of quaternary function
(instance SellersOtherItemsFn QuaternaryFunction) UXExperimentalTerms.kif 1014-1014 Sellers other items is an instance of quaternary function
(instance StreetAddressFn QuaternaryFunction) Mid-level-ontology.kif 6700-6700 Street address is an instance of quaternary function
(instance VelocityFn QuaternaryFunction) Merge.kif 6667-6667 Velocity is an instance of quaternary function
(termFormat ChineseLanguage QuaternaryFunction "四元函数") chinese_format.kif 924-924 Velocity is an instance of quaternary function
(termFormat EnglishLanguage QuaternaryFunction "quaternary function") english_format.kif 1055-1055 Velocity is an instance of quaternary function
(termFormat FrenchLanguage QuaternaryFunction "function quaternaire") french_format.kif 600-600 Velocity is an instance of quaternary function
(termFormat Hindi QuaternaryFunction "chaturangI prakaarya") terms-hindi.txt 130-130 Velocity is an instance of quaternary function
(termFormat ItalianLanguage QuaternaryFunction "FunzioneQuaternaria") terms-it.txt 133-133 Velocity is an instance of quaternary function
(termFormat JapaneseLanguage QuaternaryFunction "4変数関数") japanese_format.kif 2285-2285 Velocity is an instance of quaternary function
(termFormat PortugueseLanguage QuaternaryFunction "Funcao Quaternaria") portuguese_format.kif 552-552 Velocity is an instance of quaternary function
(termFormat cz QuaternaryFunction "quaternary function") terms-cz.txt 167-167 Velocity is an instance of quaternary function
(termFormat ro QuaternaryFunction "funcþie cuaternarã") relations-ro.kif 621-621 Velocity is an instance of quaternary function
(termFormat tg QuaternaryFunction "apat na tungkulin") terms-tg.txt 134-134 Velocity is an instance of quaternary function

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


(=>
    (instance ?FUNCTION QuaternaryFunction)
    (valence ?FUNCTION 4))		 Merge.kif 3469-3471


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