optionSeller |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2601-2602 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2599-2599 | 域 期權賣方, 1 and 協議 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2600-2600 | 域 期權賣方, 2 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2597-2597 | 例 期權賣方 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2596-2596 | 子關係 期權賣方 and 協議的一方 |
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 42366-42366 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42365-42365 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42364-42364 |
antecedent |
![]() |
![]() |
![]() |