Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - DairyArtifact
DairyArtifact(dairy product)dairy_product

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


(subclass DairyArtifact PreparedFood) Food.kif 2846-2846 Dairy product is a subclass of food
(documentation DairyArtifact EnglishLanguage "DairyArtifact are PreparedFood from or containing the milk of some Mammals such as Cows, Goats, Sheep or Camels. DairyArtifact include items such as Cheese, Butter and yoghurt etc.[Wikipedia]") Food.kif 2847-2849 Dairy product is a subclass of food
(subclass DairyArtifact AnimalAgriculturalArtifact) Society.kif 1051-1051 Dairy product is a subclass of AnimalAgriculturalArtifact

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


(subclass ProcessedMilk DairyArtifact) Food.kif 2855-2855 Processed milk is a subclass of dairy product
(subclass ProcessedGoatMilk DairyArtifact) Food.kif 3071-3071 Processed gaot milk is a subclass of dairy product
(subclass Butter DairyArtifact) Food.kif 3125-3125 Butter is a subclass of dairy product
(subclass Cream DairyArtifact) Food.kif 3139-3139 Cream is a subclass of dairy product
(subclass Curd DairyArtifact) Food.kif 3168-3168 Curd is a subclass of dairy product
(subclass Whey DairyArtifact) Food.kif 3174-3174 Whey is a subclass of dairy product
(subclass FermentedMilkProduct DairyArtifact) Food.kif 3180-3180 Fermented milk product is a subclass of dairy product
(subclass Cheese DairyArtifact) Food.kif 3290-3290 Cheese is a subclass of dairy product
(names "dairy artifact" DairyArtifact) Society.kif 1052-1052 Dairy product has name "dairy artifact"
(names "milk artifact" DairyArtifact) Society.kif 1053-1053 Dairy product has name "milk artifact"
(subclass Milk DairyArtifact) Society.kif 1054-1054 Milk is a subclass of dairy product
(termFormat EnglishLanguage DairyArtifact "dairy product") domainEnglishFormat.kif 18378-18378 Milk is a subclass of dairy product
(termFormat ChineseTraditionalLanguage DairyArtifact "乳製品") domainEnglishFormat.kif 18379-18379 Milk is a subclass of dairy product
(termFormat ChineseLanguage DairyArtifact "乳制品") domainEnglishFormat.kif 18380-18380 Milk is a subclass of dairy product

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


(=>
    (initialPart DairyArtifact ?CLASS)
    (equal ?CLASS Milk))		 Food.kif 2851-2853 If every dairy product is initially part of a X, then equal X and milk

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


(=>
    (attribute ?F Vegan)
    (and
        (attribute ?F Vegetarian)
        (not
            (exists (?D)
                (and
                    (instance ?D DairyArtifact)
                    (part ?D ?F))))))		 Food.kif 3570-3578 If vegan is an attribute of X, then vegetarian is an attribute of X and there doesn't exist Y such that Y is an instance of dairy product and Y is a part of X


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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners