No TPTP formula. May not be expressible in strict first order. |
Dining.kif 105-105 |
Corkage est une sous-classe de ChargingAFee |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 232-232 |
FinalValueFee est une sous-classe de ChargingAFee |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 201-201 |
InsertionFee est une sous-classe de ChargingAFee |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 916-916 |
Penalty est une sous-classe de ChargingAFee |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 919-919 |
Tax est une sous-classe de ChargingAFee |
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 |
|