No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3631-3633 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3628-3628 |
域 客戶代表, 1 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3629-3629 |
域 客戶代表, 2 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3630-3630 |
域 客戶代表, 3 and Organization |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3627-3627 |
例 客戶代表 and TernaryPredicate |