MarketOfItemInRegionFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MarketOfItemInRegionFn EnglishLanguage "The market of a particular item in a particular region")	Economy.kif 6753-6753
(instance MarketOfItemInRegionFn BinaryFunction)	Economy.kif 6756-6756	Market is an instance of binary function
(domainSubclass MarketOfItemInRegionFn 1 Object)	Economy.kif 6758-6758	The number 1 argument of market is a subclass of object
(domain MarketOfItemInRegionFn 2 Region)	Economy.kif 6759-6759	The number 2 argument of market is an instance of region
(range MarketOfItemInRegionFn MarketEconomics)	Economy.kif 6760-6760	The range of market is an instance of market

appearance as argument number 2

(termFormat EnglishLanguage MarketOfItemInRegionFn "market")	Economy.kif 6754-6754
(format EnglishLanguage MarketOfItemInRegionFn "market of %1 in %2")	Economy.kif 6755-6755

antecedent

(=>
    (equal ?M
        (MarketOfItemInRegionFn ?OBJ ?REGION))
    (and
        (instance ?M MarketEconomics)
        (located ?M ?REGION)
        (memberType ?M ?OBJ)))

If equal X and market of Y in Z, then X is an instance of market, X is located at Z, and Y is a member type of X