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 3465-3466
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 647-648
No TPTP formula. May not be expressible in strict first order. Merge.kif 3461-3461 Quaternary function is a subclass of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3463-3463 Quaternary function is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3462-3462 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 1278-1278 Acceleration fn is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1014-1014 Sellers other items is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6706-6706 Street address is an instance of quaternary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 6666-6666 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 1055-1055
No TPTP formula. May not be expressible in strict first order. french_format.kif 600-600
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 130-130
No TPTP formula. May not be expressible in strict first order. terms-it.txt 133-133
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2285-2285
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 552-552
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 167-167
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 621-621
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 134-134

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3468-3470


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