graphMeasure |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2391-2393 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6152-6155 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1071-1073 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6149-6149 | 域 graphMeasure, 1 and Graph |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6150-6150 | 域 graphMeasure, 2 and UnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6148-6148 | 例 graphMeasure and BinaryPredicate |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3546-3546 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3545-3545 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3544-3544 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65838-65838 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6165-6176 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6157-6163 |
![]() |
![]() |