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(food)

Brownie, C-ration, Caesar_salad, Easter_egg, K_ration, MSG, Pablum, Postum, Saratoga_chip, Tabasco, Tabasco_sauce, Tamale, Waldorf_salad, a_la_carte, a_la_mode, addled, aged, aliment, alimental, alimentary, alimentation, allergy_diet, almond_extract, almond_oil, amylaceous, amyloid, amyloidal, apple_sauce, applesauce, aspic, atole, babacu_oil, babassu_oil, bad, balanced_diet, barbecue, barbeque, bird_feed, bird_food, birdseed, bit, bite, bitter_almond_oil, bland_diet, board, bracer, bran_flake, breadstuff, breakfast_food, brine-cured...

appearance as argument number 1

(documentation Food EnglishLanguage "Food that is fit for Human.")	Merge.kif 14918-14918
(equal Food (FoodForFn Human))	Merge.kif 14919-14919	Food is equal to food for human
(subclass Food SelfConnectedObject)	Merge.kif 14920-14920	Food is a subclass of self connected object

appearance as argument number 2

(relatedInternalConcept Nutrient Food)	Merge.kif 14729-14729	Nutrient is internally related to food
(subclass FoodFromPlant Food)	Food.kif 294-294	Food from plant is a subclass of food
(subclass Meat Food)	Food.kif 291-291	Meat is a subclass of food
(subclass PreparedFood Food)	Food.kif 308-308	Prepared food is a subclass of food
(termFormat EnglishLanguage Food "food")	domainEnglishFormat.kif 64925-64925	Prepared food is a subclass of food
(termFormat FrenchLanguage Food "nourriture")	french_format.kif 690-690	Prepared food is a subclass of food
(termFormat Hindi Food "aahaara")	terms-hindi.txt 221-221	Prepared food is a subclass of food
(termFormat ItalianLanguage Food "Cibo")	terms-it.txt 224-224	Prepared food is a subclass of food
(termFormat PortugueseLanguage Food "Comida")	portuguese_format.kif 642-642	Prepared food is a subclass of food
(termFormat cb Food "pagkaon")	terms-cb.txt 226-226	Prepared food is a subclass of food
(termFormat cz Food "food")	terms-cz.txt 259-259	Prepared food is a subclass of food
(termFormat ro Food "hranã")	relations-ro.kif 711-711	Prepared food is a subclass of food
(termFormat tg Food "pagkain")	terms-tg.txt 225-225	Prepared food is a subclass of food

appearance as argument number 3

(domain roastedToTemperature 1 Food)

Food.kif 464-464

The number 1 argument of roasted to temperature is an instance of food

antecedent

(=> (and (attribute ?F DecafAttribute) (instance ?F Food)) (not (exists (?C) (and (instance ?C Caffeine) (piece ?C ?F)))))	Food.kif 437-445	If decaf is an attribute of a substance and the substance is an instance of food, then there doesn't exist another substance such that the other substance is an instance of caffeine and the other substance is a piece of the substance
(=> (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	If a process is an instance of curing food and an entity is an instance of food and the entity is a patient of the process, then there exists another process such that the other process is an instance of drying and the other process is a subprocess of the process and the entity is a patient of the other process
(=> (and (instance ?F Food) (attribute ?F CaffeinatedAttribute)) (exists (?CAF) (and (instance ?CAF Caffeine) (piece ?CAF ?F))))	Food.kif 411-418	If a substance is an instance of food and caffeinated is an attribute of the substance, then there exists another substance such that the other substance is an instance of caffeine and the other substance is a piece of the substance
(=> (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	If a substance is an instance of food and decaf is an attribute of the substance and another substance is a piece of the substance and the other substance is an instance of caffeine, then there exists a process such that the process is an instance of removing and the process ends up at the substance and the other substance is a patient of the process
(=> (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	If a process is an instance of preserving food and an entity is an instance of food and the entity is a patient of the process, then the process has the purpose there doesn't exist another entity such that the other entity is an instance of chemical decomposition and the entity is a patient of the other entity
(=> (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	If a process is an instance of dry roasting and an entity is an instance of food and the entity is a patient of the process, then there exist another entity and a third entity such that the other entity is an instance of heating and the third entity is an instance of stirring and the other entity is a subprocess of the process and the third entity is a subprocess of the process and the time of existence of the third entity takes place during the time of existence of the other entity and the entity is a patient of the other entity and the entity is a patient of the third entity and there don't exist a fourth entity and a fifth entity such that the fourth entity is an instance of oil and the fifth entity is an instance of potable water and the fourth entity is a patient of the process and the fifth entity is a patient of the process holds during the process

consequent

(=> (and (instance ?A PreparedFoodAttribute) (attribute ?F ?A)) (instance ?F Food))	Food.kif 24-28	If an attribute is an instance of prepared food attribute and the attribute is an attribute of an object, then the object is an instance of food
(=> (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	If a process is an instance of curing food, then there exist an entity, another process and another entity such that the entity is an instance of food and the entity is a patient of the process and the other process is an instance of putting and the other process is a subprocess of the process and the other entity is an instance of salt and the other entity is a patient of the other process and the other process ends up at the entity

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