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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TernaryFunction

 Sigma KEE - TernaryFunction
TernaryFunction(ternary function)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2007-2007
No TPTP formula. May not be expressible in strict first order. Merge.kif 3335-3336
No TPTP formula. May not be expressible in strict first order. Merge.kif 3331-3331 Ternary function is a subclass of function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3333-3333 Ternary function is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3332-3332 Ternary function is a subclass of quaternary relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2455-2455
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2454-2454
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2453-2453
No TPTP formula. May not be expressible in strict first order. Music.kif 834-834 Musical interpretation is an instance of ternary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 3053-3053 Sub-list function is an instance of ternary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22208-22208 SubstringFn is an instance of ternary function
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 923-923
No TPTP formula. May not be expressible in strict first order. english_format.kif 1058-1058

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3338-3340


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