No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3308-3310 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3305-3305 |
域 稅收遞延收入, 1 and Human |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3306-3306 |
域 稅收遞延收入, 2 and CurrencyMeasure |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3307-3307 |
域 稅收遞延收入, 3 and OrganizationalProcess |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3304-3304 |
例 稅收遞延收入 and TernaryRelation |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3303-3303 |
子關係 稅收遞延收入 and 賺的收入 |