optionHolder |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2605-2606 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2603-2603 | The number 1 argument of option holder is an instance of agreement |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2604-2604 | The number 2 argument of option holder is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2601-2601 | option holder is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2600-2600 | option holder is a subrelation of party to agreement |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4034-4034 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4033-4033 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4032-4032 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42368-42368 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42367-42367 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42366-42366 |
antecedent |
![]() |
![]() |
![]() |