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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hulling

Sigma KEE - 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 and Cooking
(subclass Hulling Peeling) Food.kif 168-168 子類 Hulling and 去皮

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 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