Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FoodArtifact
FoodArtifact

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (instance ?ITEM FoodArtifact)
    (or
        (instance ?ITEM
            (FoodForFn Organism))
        (instance ?ITEM PackagedFoodArtifact)))
Society.kif 1319-1323

consequent
-------------------------


(=>
    (instance ?ITEM PackagedFoodArtifact)
    (exists (?FOOD ?PACKAGE)
        (and
            (instance ?FOOD FoodArtifact)
            (instance ?PACKAGE ArtifactPackage)
            (contains ?PACKAGE ?FOOD))))
Society.kif 1330-1336


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners