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

Formal Language: 



KB Term:  Term intersection
English Word: 

  QuaternaryFunction

 Sigma KEE - QuaternaryFunction
QuaternaryFunction(quaternary function)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2008-2009
No TPTP formula. May not be expressible in strict first order. Merge.kif 3346-3347
No TPTP formula. May not be expressible in strict first order. Merge.kif 3342-3342 Quaternary function is a subclass of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3344-3344 Quaternary function is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3343-3343 Quaternary function is a subclass of quintary relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2083-2083
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2082-2082
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2081-2081
No TPTP formula. May not be expressible in strict first order. Cars.kif 1279-1279 AccelerationFn is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1209-1209 Sellers other items is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6345-6345 Street address is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 6379-6379 Velocity is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 924-924
No TPTP formula. May not be expressible in strict first order. english_format.kif 1060-1060

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3349-3351


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