AssociativeFunction - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - AssociativeFunction

AssociativeFunction(associative function)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2000-2003
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3257-3262
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8354-8354
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3255-3255	Associative 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 208-208
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 207-207
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 206-206
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4487-4487	Addition is an instance of associative function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4739-4739	Max is an instance of associative function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4765-4765	Min is an instance of associative function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4474-4474	Multiplication is an instance of associative function
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 921-921
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1054-1054

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 3264-3274

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

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners