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 cooking was not involved in the making of something") Mid-level-ontology.kif 19264-19265
(externalImage RawAttribute "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ FoodMeat.jpg") pictureList.kif 912-912 externalImage RawAttribute and "http://upload.wikimedia.org/wikipedia/commons/a/ae/ FoodMeat.jpg"
(instance RawAttribute RelationalAttribute) Mid-level-ontology.kif 19263-19263 RawAttribute关联属性instance

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


(termFormat EnglishLanguage RawAttribute "raw") Mid-level-ontology.kif 19266-19266 termFormat EnglishLanguage, RawAttribute and "raw"

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


(=>
    (attribute ?FOOD RawAttribute)
    (instance ?FOOD
        (FoodForFn Organism)))
Mid-level-ontology.kif 19268-19270
(=>
    (attribute ?FOOD RawAttribute)
    (not
        (exists (?PROC)
            (and
                (instance ?PROC Cooking)
                (result ?PROC ?FOOD)))))
Mid-level-ontology.kif 19272-19278


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners