InsertionFee(insertion fee) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 204-207 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 201-201 | Insertion fee is a subclass of chargingA fee |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 202-202 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 220-230 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 209-218 |
|