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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DairyArtifact
DairyArtifact

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


(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 2818-2820
(subclass DairyArtifact PreparedFood) Food.kif 2817-2817 DairyArtifactPreparedFoodsubclass では %n

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


(subclass Butter DairyArtifact) Food.kif 3096-3096 ButterDairyArtifactsubclass では %n
(subclass Cheese DairyArtifact) Food.kif 3258-3258 CheeseDairyArtifactsubclass では %n
(subclass Cream DairyArtifact) Food.kif 3110-3110 CreamDairyArtifactsubclass では %n
(subclass Curd DairyArtifact) Food.kif 3138-3138 CurdDairyArtifactsubclass では %n
(subclass FermentedMilkProduct DairyArtifact) Food.kif 3150-3150 FermentedMilkProductDairyArtifactsubclass では %n
(subclass ProcessedGoatMilk DairyArtifact) Food.kif 3042-3042 ProcessedGoatMilkDairyArtifactsubclass では %n
(subclass ProcessedMilk DairyArtifact) Food.kif 2826-2826 ProcessedMilkDairyArtifactsubclass では %n
(subclass Whey DairyArtifact) Food.kif 3144-3144 WheyDairyArtifactsubclass では %n
(termFormat ChineseLanguage DairyArtifact "乳制品") domainEnglishFormat.kif 18378-18378
(termFormat ChineseTraditionalLanguage DairyArtifact "乳製品") domainEnglishFormat.kif 18377-18377
(termFormat EnglishLanguage DairyArtifact "dairy product") domainEnglishFormat.kif 18376-18376

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


(=>
    (initialPart DairyArtifact ?CLASS)
    (equal ?CLASS Milk))
Food.kif 2822-2824

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


(=>
    (attribute ?F Vegan)
    (and
        (attribute ?F Vegetarian)
        (not
            (exists (?D)
                (and
                    (instance ?D DairyArtifact)
                    (part ?D ?F))))))
Food.kif 3532-3540


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 is open source software produced by Articulate Software and its partners