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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3341-3342
(subclass QuaternaryFunction Function) Merge.kif 3337-3337 subclass QuaternaryFunction and Function
(subclass QuaternaryFunction InheritableRelation) Merge.kif 3339-3339 subclass QuaternaryFunction and InheritableRelation
(subclass QuaternaryFunction QuintaryRelation) Merge.kif 3338-3338 subclass QuaternaryFunction and QuintaryRelation

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 1279-1279 instance AccelerationFn and QuaternaryFunction
(instance SellersOtherItemsFn QuaternaryFunction) UXExperimentalTerms.kif 1207-1207 instance SellersOtherItemsFn and QuaternaryFunction
(instance StreetAddressFn QuaternaryFunction) Mid-level-ontology.kif 6345-6345 instance StreetAddressFn and QuaternaryFunction
(instance VelocityFn QuaternaryFunction) Merge.kif 6369-6369 instance VelocityFn and QuaternaryFunction
(termFormat ChineseLanguage QuaternaryFunction "四元函数") chinese_format.kif 924-924
(termFormat EnglishLanguage QuaternaryFunction "quaternary function") english_format.kif 1060-1060

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


(=>
    (instance ?FUNCTION QuaternaryFunction)
    (valence ?FUNCTION 4))
Merge.kif 3344-3346


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