underlier |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2758-2760 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2756-2756 | The number 1 argument of underlier is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2757-2757 | The number 2 argument of underlier is an instance of financial instrument |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2754-2754 | underlier is an instance of binary predicate |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2559-2559 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2558-2558 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2557-2557 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59880-59880 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59879-59879 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59878-59878 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2557-2568 |
|
![]() |
![]() |