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 6731-6731
(domain MarketOfItemInRegionFn 2 Region)	Economy.kif 6737-6737	The number 2 argument of MarketOfItemInRegionFn is an instance of region
(domainSubclass MarketOfItemInRegionFn 1 Object)	Economy.kif 6736-6736	The number 1 argument of MarketOfItemInRegionFn is a subclass of object
(instance MarketOfItemInRegionFn BinaryFunction)	Economy.kif 6734-6734	MarketOfItemInRegionFn is an instance of binary function
(range MarketOfItemInRegionFn MarketEconomics)	Economy.kif 6738-6738	The range of MarketOfItemInRegionFn is an instance of MarketEconomics

appearance as argument number 2

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

antecedent

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

Economy.kif 6740-6745