FoodArtifact - Sigma Knowledge base Browser

appearance as argument number 1

(subclass FoodArtifact Artifact)	Society.kif 1324-1324	FoodArtifact is a subclass of artifact
(documentation FoodArtifact EnglishLanguage "FoodArtifact is the class of food Artifacts, packaged or unpackaged.")	Society.kif 1326-1326	FoodArtifact is a subclass of artifact

appearance as argument number 2

(industryProductType FoodManufacturing FoodArtifact)	Society.kif 595-595	FoodArtifact is an industry product type of food manufacturing
(subclass PackagedFoodArtifact FoodArtifact)	Society.kif 1334-1334	PackagedFoodArtifact is a subclass of FoodArtifact

antecedent

(=>
    (instance ?ITEM FoodArtifact)
    (or
        (instance ?ITEM
            (FoodForFn Organism))
        (instance ?ITEM PackagedFoodArtifact)))

consequent

(=>
    (instance ?ITEM PackagedFoodArtifact)
    (exists (?FOOD ?PACKAGE)
        (and
            (instance ?FOOD FoodArtifact)
            (instance ?PACKAGE ArtifactPackage)
            (contains ?PACKAGE ?FOOD))))