grossMerchandiseSoldInPeriod |
appearance as argument number 1 |
appearance as argument number 2 |
(termFormat EnglishLanguage grossMerchandiseSoldInPeriod "GMV") | ComputerInput.kif 2991-2991 |
antecedent |
(=> (grossMerchandiseSoldInPeriod ?A ?O ?CM ?TP) (and (monetaryValue ?CI ?CM) (instance ?CI (KappaFn ?COL (and (instance ?S Selling) (instance ?ITEM ?COL) (agent ?S ?A) (patient ?S ?ITEM) (patient ?S ?O) (during ?S ?TP)))))) |
ComputerInput.kif 2998-3010 |
|