TreeView Knowledge Base Browser - CommutativeFunction

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)

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 3433-3437
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 3431-3431	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 4710-4710	Addition is an instance of commutative function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4985-4985	Max is an instance of commutative function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5011-5011	Min is an instance of commutative function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4697-4697	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 3439-3449

If a function is an instance of commutative function,
then for all an entity, another entity and a class
- if the number 1 argument of the function is an instance of the class and the entity is an instance of the class and the other entity is an instance of the class,
- then the function(the entity and the other entity) is equal to the function(the other entity and the entity)

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