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 3411-3416 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 637-640 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8351-8351 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3409-3409 | 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 4721-4721 | Addition is an instance of associative function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4996-4996 | Max is an instance of associative function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5022-5022 | Min is an instance of associative function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4708-4708 | Multiplication is an instance of associative function |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 921-921 | Multiplication is an instance of associative function |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1049-1049 | Multiplication is an instance of associative function |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 597-597 | Multiplication is an instance of associative function |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 127-127 | Multiplication is an instance of associative function |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 130-130 | Multiplication is an instance of associative function |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2282-2282 | Multiplication is an instance of associative function |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 549-549 | Multiplication is an instance of associative function |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 164-164 | Multiplication is an instance of associative function |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 423-423 | Multiplication is an instance of associative function |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 618-618 | Multiplication is an instance of associative function |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 131-131 | Multiplication is an instance of associative function |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3418-3428 |
|
![]() |
![]() |