Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 3007-3009 | |
| (instance grossMerchandiseSoldInPeriod QuaternaryPredicate) | ComputerInput.kif 3011-3011 | GMV is an instance of quaternary predicate |
| (domain grossMerchandiseSoldInPeriod 1 AutonomousAgent) | ComputerInput.kif 3012-3012 | The number 1 argument of GMV is an instance of agent |
| (domain grossMerchandiseSoldInPeriod 2 Organization) | ComputerInput.kif 3013-3013 | The number 2 argument of GMV is an instance of organization |
| (domain grossMerchandiseSoldInPeriod 3 CurrencyMeasure) | ComputerInput.kif 3014-3014 | The number 3 argument of GMV is an instance of currency measure |
| (domain grossMerchandiseSoldInPeriod 4 TimeInterval) | ComputerInput.kif 3015-3015 | The number 4 argument of GMV is an instance of timeframe |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage grossMerchandiseSoldInPeriod "GMV") | ComputerInput.kif 3010-3010 |
| 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 3017-3029 | If GMV X, Y, Z and W, then value of V is Z and V is an instance of the class described by U |
|