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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ProcessedGoatMilk
ProcessedGoatMilk(processed gaot milk)

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


(documentation ProcessedGoatMilk EnglishLanguage "ProcessedGoatMilk is Milk from goats.") Food.kif 3045-3045
(subclass ProcessedGoatMilk Beverage) Food.kif 3043-3043 Processed gaot milk is a subclass of beverage
(subclass ProcessedGoatMilk DairyArtifact) Food.kif 3042-3042 Processed gaot milk is a subclass of dairy product
(subclass ProcessedGoatMilk GoatMilk) Food.kif 3044-3044 Processed gaot milk is a subclass of goat milk

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


(termFormat EnglishLanguage ProcessedGoatMilk "processed gaot milk") Food.kif 3046-3046


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