![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2583-2584 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7022-7024 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7021-7021 | Month duration is an instance of time duration |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7020-7020 | Month duration is an instance of UnitOfDuration |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38466-38466 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38465-38465 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38464-38464 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 155-166 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7026-7030 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7032-7036 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5601-5608 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8890-8892 |
|
![]() |
![]() |