InsertionFee
|
|
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 | InsertionFee 是 收费 的 subclass |
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 |
|