![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2928-2932 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2927-2927 | GTC order is a subattribute of financial order |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26849-26849 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26848-26848 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26847-26847 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2934-2950 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2921-2925 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2994-2998 |
|
![]() |
![]() |