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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RawAttribute

Sigma KEE - RawAttribute
RawAttribute

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


(documentation RawAttribute EnglishLanguage "RawAttribute describes how heating was not involved in the making of something.") Food.kif 47-48
(externalImage RawAttribute "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ FoodMeat.jpg") pictureList.kif 911-911
(instance RawAttribute PreparedFoodAttribute) Food.kif 46-46 RawAttribute est une instance de PreparedFoodAttribute

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


(relatedInternalConcept CookedAttribute RawAttribute) Food.kif 31-31 CookedAttribute est reli� � l'int�rieur de SUMO � RawAttribute
(relatedInternalConcept CuredAttribute RawAttribute) Food.kif 65-65 CuredAttribute est reli� � l'int�rieur de SUMO � RawAttribute
(relatedInternalConcept FermentedAttribute RawAttribute) Food.kif 206-206 FermentedAttribute est reli� � l'int�rieur de SUMO � RawAttribute
(relatedInternalConcept HulledAttribute RawAttribute) Food.kif 155-155 HulledAttribute est reli� � l'int�rieur de SUMO � RawAttribute
(termFormat ChineseLanguage RawAttribute "生食") domainEnglishFormat.kif 48818-48818
(termFormat ChineseTraditionalLanguage RawAttribute "生食") domainEnglishFormat.kif 48817-48817
(termFormat EnglishLanguage RawAttribute "raw food") domainEnglishFormat.kif 48816-48816
(termFormat EnglishLanguage RawAttribute "raw") Food.kif 49-49

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


(=>
    (attribute ?FOOD RawAttribute)
    (instance ?FOOD
        (FoodForFn Organism)))
Food.kif 51-53
(=>
    (attribute ?FOOD RawAttribute)
    (not
        (exists (?PROC)
            (and
                (instance ?PROC Heating)
                (result ?PROC ?FOOD)))))
Food.kif 55-61

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


(=>
    (instance ?D Dough)
    (attribute ?D RawAttribute))
Food.kif 1605-1607
(=>
    (instance ?F Flour)
    (attribute ?F RawAttribute))
Food.kif 1485-1487


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

Show without tree


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