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

grossMerchandiseSoldInPeriod AutonomousAgent, Organization, CurrencyMeasure and TimeInterval
貨幣價值 Physical and CurrencyMeasure 例 Physical and 卡帕 SymbolicString and 例 entity and Selling 例 entity and SymbolicString agent entity and AutonomousAgent 患者 entity and entity 患者 entity and Organization 期間 entity and TimeInterval

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

KB Term:			Term intersection

English Word: