TreeView Knowledge Base Browser - grossMerchandiseBoughtInPeriod

appearance as argument number 1

(documentation grossMerchandiseBoughtInPeriod EnglishLanguage "The total monetaryValue of all mechandise bought by a given AutonomousAgent from an Organization in a particular TimeInterval.")	ComputerInput.kif 2969-2971
(domain grossMerchandiseBoughtInPeriod 1 AutonomousAgent)	ComputerInput.kif 2964-2964
(domain grossMerchandiseBoughtInPeriod 2 Organization)	ComputerInput.kif 2965-2965
(domain grossMerchandiseBoughtInPeriod 3 CurrencyMeasure)	ComputerInput.kif 2966-2966
(domain grossMerchandiseBoughtInPeriod 4 TimeInterval)	ComputerInput.kif 2967-2967
(instance grossMerchandiseBoughtInPeriod QuaternaryPredicate)	ComputerInput.kif 2963-2963

appearance as argument number 2

(format ChineseLanguage grossMerchandiseBoughtInPeriod "每个东西的 value 由 %1 购买的对于 %2 在期间 %4 是 %3 ")	domainEnglishFormat.kif 3554-3554
(format ChineseTraditionalLanguage grossMerchandiseBoughtInPeriod "每個東西的 value 由 %1 購買的對於 %2 在期間 %4 是 %3 ")	domainEnglishFormat.kif 3553-3553
(format EnglishLanguage grossMerchandiseBoughtInPeriod "the value of everything purchased by %1 for %2 during %4 is %3")	domainEnglishFormat.kif 3552-3552
(termFormat EnglishLanguage grossMerchandiseBoughtInPeriod "GMB")	ComputerInput.kif 2972-2972

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 2974-2986

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: