No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 890-890 | 收费 是 金融交易 的 subclass |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 201-201 | InsertionFee 是 收费 的 subclass |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 232-232 | FinalValueFee 是 收费 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 916-916 | 罚款 是 收费 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 919-919 | 税 是 收费 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 105-105 | Corkage 是 收费 的 subclass |