Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ProcessedGoatMilk
ProcessedGoatMilk(processed gaot milk)

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


(subclass ProcessedGoatMilk DairyArtifact) Food.kif 3071-3071 Processed gaot milk is a subclass of dairy product
(subclass ProcessedGoatMilk Beverage) Food.kif 3072-3072 Processed gaot milk is a subclass of beverage
(subclass ProcessedGoatMilk GoatMilk) Food.kif 3073-3073 Processed gaot milk is a subclass of goat milk
(documentation ProcessedGoatMilk EnglishLanguage "ProcessedGoatMilk is Milk from goats.") Food.kif 3074-3074 Processed gaot milk is a subclass of goat milk

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


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


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners