No TPTP formula. May not be expressible in strict first order. |
Dining.kif 105-105 |
Corkage is a subclass of chargingA fee |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 298-298 |
Final fee is a subclass of chargingA fee |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 262-262 |
Insertion fee is a subclass of chargingA fee |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 916-916 |
Penalty is a subclass of chargingA fee |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 919-919 |
Tax is a subclass of chargingA fee |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14188-14188 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14187-14187 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14186-14186 |
|