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


KB Term:  Term intersection
English Word: 

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