Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  destination

 Sigma KEE - grossMerchandiseBoughtInPeriod
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


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners