Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| grossMerchandiseBoughtInPeriod |
| appearance as argument number 1 |
|
| (instance grossMerchandiseBoughtInPeriod QuaternaryPredicate) | ComputerInput.kif 2982-2982 | GMB is an instance of quaternary predicate |
| (domain grossMerchandiseBoughtInPeriod 1 AutonomousAgent) | ComputerInput.kif 2983-2983 | The number 1 argument of GMB is an instance of agent |
| (domain grossMerchandiseBoughtInPeriod 2 Organization) | ComputerInput.kif 2984-2984 | The number 2 argument of GMB is an instance of organization |
| (domain grossMerchandiseBoughtInPeriod 3 CurrencyMeasure) | ComputerInput.kif 2985-2985 | The number 3 argument of GMB is an instance of currency measure |
| (domain grossMerchandiseBoughtInPeriod 4 TimeInterval) | ComputerInput.kif 2986-2986 | The number 4 argument of GMB is an instance of timeframe |
| (documentation grossMerchandiseBoughtInPeriod EnglishLanguage "The total monetaryValue of all mechandise bought by a given AutonomousAgent from an Organization in a particular TimeInterval.") | ComputerInput.kif 2988-2990 | The number 4 argument of GMB is an instance of timeframe |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage grossMerchandiseBoughtInPeriod "GMB") | ComputerInput.kif 2991-2991 | |
| (format EnglishLanguage grossMerchandiseBoughtInPeriod "the value of everything purchased by %1 for %2 during %4 is %3") | domainEnglishFormat.kif 3550-3550 | |
| (format ChineseTraditionalLanguage grossMerchandiseBoughtInPeriod "每個東西的 value 由 %1 購買的 對於 %2 在期間 %4 是 %3 ") | domainEnglishFormat.kif 3551-3551 | |
| (format ChineseLanguage grossMerchandiseBoughtInPeriod "每个东西的 value 由 %1 购买的 对于 %2 在期间 %4 是 %3 ") | domainEnglishFormat.kif 3552-3552 |
| antecedent |
|
|
| (=> (grossMerchandiseBoughtInPeriod ?A ?O ?CM ?TP) (and (monetaryValue ?CI ?CM) (instance ?CI (KappaFn ?COL (and (instance ?B Buying) (instance ?ITEM ?COL) (agent ?B ?A) (patient ?B ?ITEM) (patient ?B ?O) (during ?B ?TP)))))) |
ComputerInput.kif 2993-3005 | If the value of everything purchased by X for Y during Z is W, then value of V is W and V is an instance of the class described by U |
|