TreeView Knowledge Base Browser - 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

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

KB Term:			Term intersection

English Word: