Food - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Food

Food(Comida)

appearance as argument number 1

(documentation Food EnglishLanguage "Food that is fit for Human.")	Merge.kif 14872-14872
(equal Food (FoodForFn Human))	Merge.kif 14873-14873	Comida e' igual a FoodForFn Humano
(subclass Food SelfConnectedObject)	Merge.kif 14874-14874	Comida e' uma sub-classe de Objeto auto-conectado

appearance as argument number 2

(relatedInternalConcept Nutrient Food)	Merge.kif 14683-14683	Nutriente e' relacionado internamente por SUMO a Comida
(subclass FoodFromPlant Food)	Food.kif 294-294	FoodFromPlant e' uma sub-classe de Comida
(subclass Meat Food)	Food.kif 291-291	Carne e' uma sub-classe de Comida
(subclass PreparedFood Food)	Food.kif 308-308	PreparedFood e' uma sub-classe de Comida
(termFormat EnglishLanguage Food "food")	domainEnglishFormat.kif 64877-64877
(termFormat FrenchLanguage Food "nourriture")	french_format.kif 690-690
(termFormat Hindi Food "aahaara")	terms-hindi.txt 221-221
(termFormat ItalianLanguage Food "Cibo")	terms-it.txt 224-224
(termFormat PortugueseLanguage Food "Comida")	portuguese_format.kif 642-642
(termFormat cb Food "pagkaon")	terms-cb.txt 226-226
(termFormat cz Food "food")	terms-cz.txt 259-259
(termFormat ro Food "hranã")	relations-ro.kif 711-711
(termFormat tg Food "pagkain")	terms-tg.txt 225-225

appearance as argument number 3

(domain roastedToTemperature 1 Food)

Food.kif 464-464

O argumento numero 1 de roastedToTemperature e' uma instancia de Comida

antecedent

(=> (and (attribute ?F DecafAttribute) (instance ?F Food)) (not (exists (?C) (and (instance ?C Caffeine) (piece ?C ?F)))))	Food.kif 437-445	DecafAttribute e' um atributo de Substancia Substancia e' uma instancia de Comida Substancia Substancia e' uma instancia de Caffeine Substancia e' uma peca de Substancia
(=> (and (instance ?C CuringFood) (instance ?F Food) (patient ?C ?F)) (exists (?D) (and (instance ?D Drying) (subProcess ?D ?C) (patient ?D ?F))))	Food.kif 96-105	Processo e' uma instancia de CuringFood Entidade e' uma instancia de Comida Entidade e' um patient de Processo Processo Processo e' uma instancia de Secar Processo e' um sub-processo de Processo Entidade e' um patient de Processo
(=> (and (instance ?F Food) (attribute ?F CaffeinatedAttribute)) (exists (?CAF) (and (instance ?CAF Caffeine) (piece ?CAF ?F))))	Food.kif 411-418	Substancia e' uma instancia de Comida CaffeinatedAttribute e' um atributo de Substancia Substancia Substancia e' uma instancia de Caffeine Substancia e' uma peca de Substancia
(=> (and (instance ?F Food) (attribute ?F DecafAttribute) (piece ?C ?F) (instance ?C Caffeine)) (exists (?R) (and (instance ?R Removing) (destination ?R ?F) (patient ?R ?C))))	Food.kif 425-435	Substancia e' uma instancia de Comida DecafAttribute e' um atributo de Substancia Substancia e' uma peca de Substancia Substancia e' uma instancia de Caffeine Processo Processo e' uma instancia de Remover Processo termina em Substancia Substancia e' um patient de Processo
(=> (and (instance ?P PreservingFood) (instance ?F Food) (patient ?P ?F)) (hasPurpose ?P (not (exists (?D) (and (instance ?D ChemicalDecomposition) (patient ?D ?F))))))	Food.kif 191-201	Processo e' uma instancia de PreservingFood Entidade e' uma instancia de Comida Entidade e' um patient de Processo Processo tem por fim Entidade Entidade e' uma instancia de Decomposicao Quimica Entidade e' um patient de Entidade
(=> (and (instance ?X DryRoasting) (instance ?F Food) (patient ?X ?F)) (holdsDuring ?X (exists (?H ?S) (and (instance ?H Heating) (instance ?S Stirring) (subProcess ?H ?X) (subProcess ?S ?X) (during (WhenFn ?S) (WhenFn ?H)) (patient ?H ?F) (patient ?S ?F) (not (exists (?O ?W) (and (instance ?O Oil) (instance ?W DrinkingWater) (patient ?X ?O) (patient ?X ?W))))))))	Food.kif 128-151	Processo e' uma instancia de DryRoasting Entidade e' uma instancia de Comida Entidade e' um patient de Processo Entidade Entidade Entidade e' uma instancia de Aquecer Entidade e' uma instancia de Stirring Entidade e' um sub-processo de Processo Entidade e' um sub-processo de Processo tempo de existencia de Entidade acontece durante tempo de existencia de Entidade Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade Entidade Entidade e' uma instancia de Oil Entidade e' uma instancia de DrinkingWater Entidade e' um patient de Processo Entidade e' um patient de Processo vale durante Processo

consequent

(=> (and (instance ?A PreparedFoodAttribute) (attribute ?F ?A)) (instance ?F Food))	Food.kif 24-28	Atributo e' uma instancia de PreparedFoodAttribute Atributo e' um atributo de Objeto Objeto e' uma instancia de Comida
(=> (instance ?C CuringFood) (exists (?F ?P ?S) (and (instance ?F Food) (patient ?C ?F) (instance ?P Putting) (subProcess ?P ?C) (instance ?S SodiumChloride) (patient ?P ?S) (destination ?P ?F))))	Food.kif 84-94	Processo e' uma instancia de CuringFood Entidade Processo and Entidade Entidade e' uma instancia de Comida Entidade e' um patient de Processo Processo e' uma instancia de Colocar Processo e' um sub-processo de Processo Entidade e' uma instancia de SodiumChloride Entidade e' um patient de Processo Processo termina em Entidade

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