ListOrderFn |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1964-1966 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2875-2878 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2871-2871 | The number 1 argument of list order is an instance of list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2872-2872 | The number 2 argument of list order is an instance of positive integer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2869-2869 | List order is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2870-2870 | List order is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2873-2873 | The range of list order is an instance of entity |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 263-263 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 271-271 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 264-264 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34687-34687 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34686-34686 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34685-34685 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17122-17127 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17106-17111 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17139-17144 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1620-1627 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3135-3139 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2108-2115 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 2095-2105 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 427-431 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 467-474 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17089-17094 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1588-1593 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17072-17077 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 692-708 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 987-1005 |
|
consequent |
![]() |
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2936-2940 | For all @ROW and another entity length of (@ROW and the other entity)th element of (@ROW and the other entity) is equal to the other entity |
![]() |
![]() |