TreeView Knowledge Base Browser

appearance as argument number 1

(documentation PreparedFood EnglishLanguage "PreparedFood refers to anything that undergoes some process intended to result in an object that has Nutrient which can be ingested by Human, normally metabolized into energy and body tissue.")	Food.kif 310-312
(externalImage PreparedFood "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Makaronilaatikko.jpg")	pictureList.kif 909-909
(subclass PreparedFood Food)	Food.kif 308-308	PreparedFood は Food の subclass では %n
(subclass PreparedFood Mixture)	Food.kif 309-309	PreparedFood は混合物の subclass では %n

appearance as argument number 2

(subclass Beverage PreparedFood)	Food.kif 389-389	飲料は PreparedFood の subclass では %n
(subclass BreadOrBiscuit PreparedFood)	Food.kif 1555-1555	BreadOrBiscuit は PreparedFood の subclass では %n
(subclass Chocolate PreparedFood)	Food.kif 2435-2435	Chocolate は PreparedFood の subclass では %n
(subclass CookedDish PreparedFood)	Food.kif 1575-1575	CookedDish は PreparedFood の subclass では %n
(subclass CuredMeat PreparedFood)	Food.kif 2125-2125	CuredMeat は PreparedFood の subclass では %n
(subclass DairyArtifact PreparedFood)	Food.kif 2817-2817	DairyArtifact は PreparedFood の subclass では %n
(subclass Dough PreparedFood)	Food.kif 1599-1599	Dough は PreparedFood の subclass では %n
(subclass DrinkingWater PreparedFood)	Food.kif 218-218	DrinkingWater は PreparedFood の subclass では %n
(subclass FermentedFood PreparedFood)	Food.kif 2778-2778	FermentedFood は PreparedFood の subclass では %n
(subclass Flour PreparedFood)	Food.kif 1469-1469	Flour は PreparedFood の subclass では %n
(subclass Jam PreparedFood)	Food.kif 1748-1748	Jam は PreparedFood の subclass では %n
(subclass Pasta PreparedFood)	Food.kif 2737-2737	Pasta は PreparedFood の subclass では %n
(subclass Raisin PreparedFood)	Food.kif 3322-3322	Raisin は PreparedFood の subclass では %n
(subclass Sauce PreparedFood)	Food.kif 2061-2061	Sauce は PreparedFood の subclass では %n
(subclass Sorbet PreparedFood)	Food.kif 3440-3440	Sorbet は PreparedFood の subclass では %n
(subclass SoupStock PreparedFood)	Food.kif 1618-1618	SoupStock は PreparedFood の subclass では %n
(subclass Spice PreparedFood)	Economy.kif 4359-4359	Spice は PreparedFood の subclass では %n
(subclass Tofu PreparedFood)	Food.kif 3508-3508	Tofu は PreparedFood の subclass では %n
(termFormat ChineseLanguage PreparedFood "已准备食物")	domainEnglishFormat.kif 47210-47210
(termFormat ChineseTraditionalLanguage PreparedFood "已準備食物")	domainEnglishFormat.kif 47209-47209
(termFormat EnglishLanguage PreparedFood "food")	Food.kif 313-313
(termFormat EnglishLanguage PreparedFood "prepared food")	domainEnglishFormat.kif 47208-47208

antecedent

(=> (and (instance ?MENU SetMenu) (offers ?AGENT ?MENU) (catalogItem ?CLASS ?MENU) (subclass ?CLASS PreparedFood) (instance ?X ?VLASS) (instance ?Y ?CLASS) (not (equal ?X ?Y)) (price ?X ?PRICE1 ?AGENT1) (price ?Y ?PRICE2 ?AGENT2)) (equal ?PRICE1 ?PRICE2))	Dining.kif 189-201	Catalog は SetMenu の instance では %n offers AutonomousAgent and Catalog catalogItem エンティティー and Catalog エンティティーは PreparedFood の subclass では %n 物理はクラスの instance では %n 物理はエンティティーの instance では %n 物理は物理と equal では price 物理, 通貨測定 and AutonomousAgent price 物理, 通貨測定 and AutonomousAgent 通貨測定は通貨測定と equal では %n
(=> (and (instance ?P Putting) (patient ?P ?S) (instance ?S Spice) (destination ?P ?F) (instance ?F PreparedFood)) (exists (?C ?A) (and (instance ?C InternalChange) (patient ?C ?F) (result ?C ?A) (attribute ?F ?A) (or (instance ?A FlavourAttribute) (instance ?A ColorAttribute)))))	Economy.kif 4384-4399	工程は置くの instance では %n エンティティーは工程の patient では %n エンティティーは Spice の instance では %n 工程はオブジェクトに ends %n{ない} オブジェクトは PreparedFood の instance では %n 工程属性工程は内部変化の instance では %n オブジェクトは工程の patient では %n 属性は工程の result では %n 属性はオブジェクトの attribute では %n 属性は FlavourAttribute の instance では %n 属性はカラー属性の instance では %n
(=> (instance ?X PreparedFood) (exists (?PROC) (and (instance ?PROC IntentionalProcess) (result ?PROC ?X))))	Food.kif 319-324	エンティティーは PreparedFood の instance では %n 工程工程は意図的なプロセスの instance では %n エンティティーは工程の result では %n
(=> (instance ?X PreparedFood) (instance ?X (FoodForFn Human)))	Food.kif 315-317	エンティティーは PreparedFood の instance では %n エンティティーは FoodForFn 人［人間］の instance では %n

consequent

(=> (and (attribute ?OBJ ?ATTR) (instance ?ATTR FoodAttribute)) (instance ?OBJ PreparedFood))	Dining.kif 1130-1134	属性はオブジェクトの attribute では %n 属性は FoodAttribute の instance では %n オブジェクトは PreparedFood の instance では %n
(=> (and (attribute ?X ?Y) (instance ?Y Cuisine)) (instance ?X PreparedFood))	Dining.kif 1262-1266	属性はオブジェクトの attribute では %n 属性は Cuisine の instance では %n オブジェクトは PreparedFood の instance では %n
(=> (instance ?M Microwave) (hasPurpose ?M (exists (?FOOD ?HEATING) (and (instance ?FOOD PreparedFood) (instance ?HEATING Heating) (instrument ?HEATING ?M) (patient ?HEATING ?FOOD)))))	Food.kif 355-363	物理は Microwave の instance では %n 物理はエンティティーエンティティーエンティティーは PreparedFood の instance では %n エンティティーは加熱の instance では %n 物理はエンティティーの instrument では %n エンティティーはエンティティーの patient では %n の目的 %n{ない}
(=> (instance ?RATING FoodRating) (hasPurpose ?RATING (exists (?C ?FOOD) (and (instance ?C Classifying) (destination ?C ?FOOD) (patient ?C ?RATING) (instance ?FOOD PreparedFood)))))	Hotel.kif 3052-3060	物理は FoodRating の instance では %n 物理はエンティティーエンティティーエンティティーは分類の instance では %n エンティティーはエンティティーに ends %n{ない} 物理はエンティティーの patient では %n エンティティーは PreparedFood の instance では %n の目的 %n{ない}
(=> (instance ?S Spice) (hasPurpose ?S (exists (?PUT ?F) (and (instance ?PUT Putting) (patient ?PUT ?S) (destination ?PUT ?F) (instance ?F PreparedFood)))))	Economy.kif 4374-4382	物理は Spice の instance では %n 物理はエンティティーエンティティーエンティティーは置くの instance では %n 物理はエンティティーの patient では %n エンティティーはエンティティーに ends %n{ない} エンティティーは PreparedFood の instance では %n の目的 %n{ない}
(=> (instance ?SVC RoomService) (exists (?AGENT ?FOOD ?CUSTOMER ?RQST ?ORDER ?DELIVERY ?LOC) (and (customer ?CUSTOMER ?AGENT) (agent ?SVC ?AGENT) (instance ?RQST Requesting) (agent ?RQST ?CUSTOMER) (patient ?RQST ?ORDER) (represents ?ORDER ?FOOD) (instance ?FOOD PreparedFood) (located ?CUSTOMER ?LOC) (instance ?LOC HotelUnit) (instance ?DELIVERY DeliveryService) (patient ?DELIVERY ?FOOD) (destination ?DELIVERY ?LOC) (before (BeginFn (WhenFn ?RQST)) (BeginFn (WhenFn ?DELIVERY))))))	Hotel.kif 1969-1987	工程は RoomService の instance では %n AutonomousAgent エンティティー, 認識エージェント, 工程, エンティティー, 工程 and オブジェクト customer 認識エージェント and AutonomousAgent AutonomousAgent は工程の agent では %n 工程は要求の instance では %n 認識エージェントは工程の agent では %n エンティティーは工程の patient では %n エンティティーはエンティティーを expresses %n{ない} エンティティーは PreparedFood の instance では %n 認識エージェントはオブジェクトに located して %n オブジェクトは HotelUnit の instance では %n 工程は DeliveryService の instance では %n エンティティーは工程の patient では %n 工程はオブジェクトに ends %n{ない} 工程の time の existence の beginning は工程の time の existence の beginning の before に happens %n{ない}
(=> (instance ?X WetBar) (exists (?SINK ?OBJ) (and (instance ?SINK WashBasin) (part ?SINK ?X) (instance ?OBJ Object) (attribute ?OBJ Flat) (hasPurpose ?OBJ (exists (?PREP ?FOOD) (and (instance ?PREP Making) (result ?PREP ?FOOD) (or (instance ?FOOD PreparedFood) (instance ?FOOD Beverage)) (eventLocated ?PREP ?OBJ)))) (part ?OBJ ?X))))	Food.kif 331-348	オブジェクトは WetBar の instance では %n オブジェクトオブジェクトオブジェクトは WashBasin の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトはオブジェクトの instance では %n Flat はオブジェクトの attribute では %n オブジェクトはエンティティーエンティティーエンティティーは作るの instance では %n エンティティーはエンティティーの result では %n エンティティーは PreparedFood の instance では %n エンティティーは飲料の instance では %n eventLocated エンティティー and オブジェクトの目的 %n{ない} オブジェクトはオブジェクトの part では %n

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: