PreparedFood - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 310-312
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 909-909
No TPTP formula. May not be expressible in strict first order.	Food.kif 308-308	PreparedFood est une sous-classe de nourriture
No TPTP formula. May not be expressible in strict first order.	Food.kif 309-309	PreparedFood est une sous-classe de mixture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 389-389	Boisson est une sous-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 1555-1555	BreadOrBiscuit est une sous-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 2435-2435	Chocolate est une sous-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 1575-1575	CookedDish est une sous-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 2125-2125	CuredMeat est une sous-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 2817-2817	DairyArtifact est une sous-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 1599-1599	Dough est une sous-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 218-218	DrinkingWater est une sous-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 2778-2778	FermentedFood est une sous-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 1469-1469	Flour est une sous-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 1748-1748	Jam est une sous-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 2737-2737	Pasta est une sous-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 3322-3322	Raisin est une sous-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 2061-2061	Sauce est une sous-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 3440-3440	Sorbet est une sous-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 1618-1618	SoupStock est une sous-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4359-4359	Spice est une sous-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 3508-3508	Tofu est une sous-classe de PreparedFood
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47210-47210
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47209-47209
No TPTP formula. May not be expressible in strict first order.	Food.kif 313-313
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47208-47208

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 189-201	Catalog est une instance de SetMenu offers AutonomousAgent and Catalog catalogItem entit� and Catalog entit� est une sous-classe de PreparedFood physique est une instance de classe physique est une instance de entit� physique est physique price physique, mesure de devise and AutonomousAgent price physique, mesure de devise and AutonomousAgent mesure de devise est mesure de devise
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4384-4399	Processus est une instance de mettre entit� est un patient de processus entit� est une instance de Spice processus aboutit � objet objet est une instance de PreparedFood processus attribut processus est une instance de changement interne objet est un patient de processus attribut est le resultat de processus attribut est un attribut de objet attribut est une instance de FlavourAttribute attribut est une instance de attribut de couleur
No TPTP formula. May not be expressible in strict first order.	Food.kif 319-324	Entit� est une instance de PreparedFood processus processus est une instance de processus intentionnel entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 315-317	Entit� est une instance de PreparedFood entit� est une instance de FoodForFn humain

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1130-1134	Attribut est un attribut de objet attribut est une instance de FoodAttribute objet est une instance de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1262-1266	Attribut est un attribut de objet attribut est une instance de Cuisine objet est une instance de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Food.kif 355-363	Physique est une instance de Microwave physique a pour but entit� entit� entit� est une instance de PreparedFood entit� est une instance de r�chauffer physique est un instrument pour entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3052-3060	Physique est une instance de FoodRating physique a pour but entit� entit� entit� est une instance de classifier entit� aboutit � entit� physique est un patient de entit� entit� est une instance de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4374-4382	Physique est une instance de Spice physique a pour but entit� entit� entit� est une instance de mettre physique est un patient de entit� entit� aboutit � entit� entit� est une instance de PreparedFood
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1969-1987	Processus est une instance de RoomService AutonomousAgent entit�, agent cognitif, processus, entit�, processus and objet customer agent cognitif and AutonomousAgent processus est un agent de AutonomousAgent processus est une instance de demander processus est un agent de agent cognitif entit� est un patient de processus entit� d�finie entit� entit� est une instance de PreparedFood agent cognitif est situ� � objet objet est une instance de HotelUnit processus est une instance de DeliveryService entit� est un patient de processus processus aboutit � objet le d�but de temps d'existence de processus se produit avant le d�but de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 331-348	Objet est une instance de WetBar objet objet objet est une instance de WashBasin objet est une partie de objet objet est une instance de objet Flat est un attribut de objet objet a pour but entit� entit� entit� est une instance de faire entit� est le resultat de entit� entit� est une instance de PreparedFood entit� est une instance de boisson eventLocated entit� and objet objet est une partie de objet

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

KB Term:			Term intersection

English Word: