FoodForFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3482-3484
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14882-14885
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14880-14880	Le nombre 1 argument de FoodForFn est une sous-classe de organisme
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 440-440
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14879-14879	FoodForFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14881-14881	Les valeurs retourn�es par FoodForFn sont des sous-classes de objet en une partie

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3470-3470
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3469-3469
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3468-3468
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20036-20036	Fodder est reli� � l'int�rieur de SUMO � FoodForFn
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64878-64878

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 900-909	subjectiveAttribute objet, Won and AutonomousAgent objet est une instance de FoodForFn humain affrontement AutonomousAgent and processus contestObject affrontement, objet and AutonomousAgent processus est une instance de Judging processus est un agent de AutonomousAgent processus est un sous-processus de affrontement
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14887-14892	Objet est une instance de FoodForFn organisme objet objet est une instance de nutriment objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17653-17658	Objet est une instance de FoodForFn animal attribut attribut est une instance de attribut gustatif attribut est un attribut de objet

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4195-4204	Produce est un attribut de objet objet est une instance de fruit ou v�g�tal objet a pour but entit� entit� est une instance de Harvesting objet est le resultat de entit� objet est une instance de FoodForFn humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20600-20622	Waiter est un attribut de agent cognitif agent cognitif est une instance de humain AutonomousAgent emploie agent cognitif AutonomousAgent est une instance de Restaurant customer agent cognitif and AutonomousAgent agent cognitif est situ� � objet objet est une instance de Table objet entit�, entit� and objet AutonomousAgent poss�de objet objet est une instance de KitchenArea objet est une instance de DiningArea objet est situ� � objet agent cognitif a pour but entit� est une instance de Carrying entit� est un agent de agent cognitif entit� a pour origine objet entit� aboutit � objet entit� est un patient de entit� entit� est une instance de FoodForFn humain
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10274-10280	Processus est une instance de ing�rer objet est une resource pour processus objet est une instance de FoodForFn organisme objet est une instance de Medicine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11553-11557	Processus est une instance de Chewing objet est une resource pour processus objet est une instance de FoodForFn organisme
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11575-11579	Processus est une instance de Feeding entit� est un patient de processus entit� est une instance de FoodForFn animal
No TPTP formula. May not be expressible in strict first order.	Dining.kif 178-182	Catalog est une instance de Menu catalogItem entit� and Catalog entit� est une sous-classe de FoodForFn humain
No TPTP formula. May not be expressible in strict first order.	naics.kif 7319-7333	Collection est une instance de organisation FoodAndBeverageStores est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent entit� AutonomousAgent est une instance de vendre entit� est une instance de FoodForFn animal entit� est une instance de boisson entit� est un patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 610-627	Processus est une instance de FoodPickup processus est un agent de AutonomousAgent processus aboutit � AutonomousAgent entit� est un patient de processus entit� est une instance de FoodForFn humain objet processus and processus AutonomousAgent est situ� � objet processus est une instance de Translocation processus est un agent de AutonomousAgent processus aboutit � objet processus est une instance de obtenir processus a pour origine AutonomousAgent processus aboutit � AutonomousAgent entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1986-1995	Transf�re est une instance de Vending objectTransferred transf�re and objet objet est une instance de Currency l'argument objet est une instance de FoodForFn humain objet est une instance de boisson a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Food.kif 51-53	RawAttribute est un attribut de objet objet est une instance de FoodForFn organisme
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20040-20049	Fodder est un attribut de objet objet a pour but entit� entit� est une instance de Harvesting objet est le resultat de entit� objet est une instance de objet organique objet est une instance de FoodForFn DomesticAnimal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4809-4818	ForageCrop est un attribut de objet objet a pour but entit� entit� est une instance de Agriculture objet est le resultat de entit� objet est une instance de plante objet est une instance de FoodForFn DomesticAnimal
No TPTP formula. May not be expressible in strict first order.	naics.kif 11668-11676	SnackAndNonalcoholicBeverageBars est un attribut de objet objet a pour but entit� entit� entit� est une instance de FoodForFn humain entit� est une instance de vendre entit� est un patient de entit� entit� est un agent de objet
No TPTP formula. May not be expressible in strict first order.	Dining.kif 70-81	AutonomousAgent est une instance de Bakery processus entit� and processus processus est une instance de Baking entit� est le resultat de processus entit� est une instance de FoodForFn humain processus est un agent de AutonomousAgent processus est une instance de CommercialService processus est un agent de AutonomousAgent processus est une instance de vendre entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7280-7290	AutonomousAgent est une instance de Restaurant processus entit� and objet processus est une instance de CommercialService processus est un agent de AutonomousAgent processus est une instance de vendre objet est une instance de RestaurantBuilding eventLocated processus and objet entit� est un patient de processus entit� est une instance de FoodForFn humain
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12889-12894	Processus est une instance de cuisiner entit� entit� est une instance de FoodForFn humain entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4433-4442	Physique est une instance de Dish physique a pour but entit� entit� entit� est une instance de manger entit� est un patient de entit� physique est un patient de entit� entit� est une instance de FoodForFn animal entit� est situ� � physique
No TPTP formula. May not be expressible in strict first order.	Military.kif 62-71	Processus est une instance de FoodDistributionOperation entit� entit� entit� est une instance de FoodForFn animal entit� est une instance de agent cognitif entit� est un patient de processus processus aboutit � entit� entit� poss�de entit� pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 1584-1597	Objet est une instance de Sandwich objet objet and objet objet est une instance de BreadOrBiscuit objet est une instance de BreadOrBiscuit objet est une instance de FoodForFn humain objet est entre objet et objet objet est objet objet est objet objet est objet objet est une partie de objet objet est une partie de objet objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7817-7824	AutonomousAgent est une instance de GroceryStore processus entit� processus est une instance de vendre processus est un agent de AutonomousAgent entit� est un patient de processus entit� est une instance de FoodForFn animal
No TPTP formula. May not be expressible in strict first order.	Military.kif 210-218	Objet est une instance de MilitaryFoodTruck objet est capable de faire la classe d�crite par cha�ne sympbolique dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Food.kif 285-289	Entit� est une instance de TapWater l'argument entit� est une instance de FoodForFn humain a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4035-4040	Entit� est une instance de DeadFn CerealGrain objet en une partie entit� est une instance de objet en une partie objet en une partie est FoodForFn animal
No TPTP formula. May not be expressible in strict first order.	Dining.kif 260-265	Collection est une instance de Buffet physique physique est un membre de collection physique est une instance de FoodForFn humain
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1723-1725	Collection est une instance de HotelMiniBar memberType collection and FoodForFn humain

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12636-12636	Sang est FoodForFn Mosquito
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14895-14895	Nourriture est FoodForFn humain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1744-1744	industryProductType FoodManufacturing and FoodForFn animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2180-2180	Apple est une sous-classe de FoodForFn animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2282-2282	Avocado est une sous-classe de FoodForFn animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2371-2371	Coconut est une sous-classe de FoodForFn animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2189-2189	DateFruit est une sous-classe de FoodForFn animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21632-21632	Honey est une sous-classe de FoodForFn animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2328-2328	LemonFruit est une sous-classe de FoodForFn animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2342-2342	OrangeFruit est une sous-classe de FoodForFn animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4113-4113	Pea est une sous-classe de FoodForFn animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2194-2194	PearFruit est une sous-classe de FoodForFn animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 3689-3689	WineGrape est une sous-classe de FoodForFn animal

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: