grossMerchandiseSoldInPeriod |
appearance as argument number 1 |
(documentation grossMerchandiseSoldInPeriod EnglishLanguage "The total monetaryValue of all mechandise sold by a given AutonomousAgent through an Organization in a particular TimeInterval.") | ComputerInput.kif 2988-2990 | |
(domain grossMerchandiseSoldInPeriod 1 AutonomousAgent) | ComputerInput.kif 2993-2993 | 域 grossMerchandiseSoldInPeriod, 1 and AutonomousAgent |
(domain grossMerchandiseSoldInPeriod 2 Organization) | ComputerInput.kif 2994-2994 | 域 grossMerchandiseSoldInPeriod, 2 and Organization |
(domain grossMerchandiseSoldInPeriod 3 CurrencyMeasure) | ComputerInput.kif 2995-2995 | 域 grossMerchandiseSoldInPeriod, 3 and CurrencyMeasure |
(domain grossMerchandiseSoldInPeriod 4 TimeInterval) | ComputerInput.kif 2996-2996 | 域 grossMerchandiseSoldInPeriod, 4 and TimeInterval |
(instance grossMerchandiseSoldInPeriod QuaternaryPredicate) | ComputerInput.kif 2992-2992 | 例 grossMerchandiseSoldInPeriod and QuaternaryPredicate |
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 |
|