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

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


(industryProductType FoodManufacturing FoodArtifact) Society.kif 593-593
(subclass PackagedFoodArtifact FoodArtifact) Society.kif 1325-1325

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