|
|
   TernaryFunction
|
|
|
| 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 3469-3470 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 645-646 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3465-3465 | Ternary function is a subclass of function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3467-3467 | Ternary function is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3466-3466 | 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 2459-2459 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2458-2458 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2457-2457 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 840-840 | Musical interpretation is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3173-3173 | Sub-list function is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26075-26075 | Substring fn is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 923-923 | Substring fn is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1053-1053 | Substring fn is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 599-599 | Substring fn is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 129-129 | Substring fn is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 132-132 | Substring fn is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2284-2284 | Substring fn is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 551-551 | Substring fn is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 166-166 | Substring fn is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 425-425 | Substring fn is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 620-620 | Substring fn is an instance of ternary function |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 133-133 | Substring fn is an instance of ternary function |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3472-3474 |
|
|
|
|