No TPTP formula. May not be expressible in strict first order. |
Dining.kif 105-105 |
子類 Corkage and 收費 |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 232-232 |
子類 FinalValueFee and 收費 |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 201-201 |
子類 InsertionFee and 收費 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 916-916 |
子類 罰款 and 收費 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 919-919 |
子類 稅 and 收費 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14190-14190 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14189-14189 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14188-14188 |
|