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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommutativeFunction

Sigma KEE - CommutativeFunction
CommutativeFunction(commutative function)
commutative

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2004-2006
No TPTP formula. May not be expressible in strict first order. Merge.kif 3432-3436
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 641-644
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8430-8430
No TPTP formula. May not be expressible in strict first order. Merge.kif 3430-3430 Commutative function is a subclass of binary function

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 496-496
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 495-495
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 494-494
No TPTP formula. May not be expressible in strict first order. Merge.kif 4709-4709 Addition is an instance of commutative function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4984-4984 Max is an instance of commutative function
No TPTP formula. May not be expressible in strict first order. Merge.kif 5010-5010 Min is an instance of commutative function
No TPTP formula. May not be expressible in strict first order. Merge.kif 4696-4696 Multiplication is an instance of commutative function
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 922-922
No TPTP formula. May not be expressible in strict first order. english_format.kif 1051-1051
No TPTP formula. May not be expressible in strict first order. french_format.kif 598-598
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 128-128
No TPTP formula. May not be expressible in strict first order. terms-it.txt 131-131
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2283-2283
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 550-550
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 165-165
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 619-619
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 132-132

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3438-3448


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