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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hulling
Hulling(hulling)

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


(documentation Hulling EnglishLanguage "Hulling is a process by which the outer covering of a fruit or seed, especially the pod of peas and beans, or the husk of grain is removed.[Wikipedia]") Food.kif 169-171
(subclass Hulling Cooking) Food.kif 167-167 Hulling is a subclass of cooking
(subclass Hulling Peeling) Food.kif 168-168 Hulling is a subclass of peeling

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


(termFormat EnglishLanguage Hulling "hulling") Food.kif 172-172

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


(=>
    (and
        (instance ?H Hulling)
        (patient ?H ?O))
    (or
        (instance ?O Seed)
        (instance ?O Fruit)))
Food.kif 174-180

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


(=>
    (attribute ?F HulledAttribute)
    (exists (?X)
        (and
            (instance ?X Hulling)
            (result ?X ?F))))
Food.kif 160-165


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