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


KB Term:  Term intersection
English Word: 

  QuaternaryFunction

 Sigma KEE - QuaternaryFunction
QuaternaryFunction(quaternary function)

appearance as argument number 1
-------------------------


(subclass QuaternaryFunction Function) Merge.kif 3574-3574 Quaternary function is a subclass of function
(subclass QuaternaryFunction QuintaryRelation) Merge.kif 3575-3575 Quaternary function is a subclass of quintary relation
(subclass QuaternaryFunction InheritableRelation) Merge.kif 3576-3576 Quaternary function is a subclass of inheritable relation
(documentation QuaternaryFunction EnglishLanguage "The Class of Functions that require exactly four arguments.") Merge.kif 3578-3579 Quaternary function is a subclass of inheritable relation

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


(instance VelocityFn QuaternaryFunction) Merge.kif 6785-6785 Velocity is an instance of quaternary function
(instance StreetAddressFn QuaternaryFunction) Mid-level-ontology.kif 7794-7794 Street address is an instance of quaternary function
(instance AccelerationFn QuaternaryFunction) Cars.kif 1217-1217 Acceleration fn is an instance of quaternary function
(instance SellersOtherItemsFn QuaternaryFunction) UXExperimentalTerms.kif 1014-1014 Sellers other items is an instance of quaternary function
(format EnglishLanguage QuaternaryFunction "the quaternary function of %1, %2, %3 and %4") domainEnglishFormat.kif 2085-2085 Sellers other items is an instance of quaternary function
(format ChineseTraditionalLanguage QuaternaryFunction "%1, %2, %3 和 %4 的 quaternary 功能") domainEnglishFormat.kif 2086-2086 Sellers other items is an instance of quaternary function
(format ChineseLanguage QuaternaryFunction "%1, %2, %3 和 %4 的 quaternary 功能") domainEnglishFormat.kif 2087-2087 Sellers other items is an instance of quaternary function
(termFormat EnglishLanguage QuaternaryFunction "quaternary function") english_format.kif 1059-1059 Sellers other items is an instance of quaternary function

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


(=>
    (instance ?FUNCTION QuaternaryFunction)
    (valence ?FUNCTION 4))		 Merge.kif 3581-3583 If X is an instance of quaternary function, then X has 4 argument(s)


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners