TreeView Knowledge Base Browser

appearance as argument number 1

(documentation DiningArea EnglishLanguage "a DiningArea refers to a Region, either Outdoors or Indoors, that is intended for Eating")	Mid-level-ontology.kif 15566-15567
(subclass DiningArea Region)	Mid-level-ontology.kif 15565-15565	DiningArea は地域の subclass では %n

appearance as argument number 2

(subclass DiningRoom DiningArea)	Mid-level-ontology.kif 15580-15580	DiningRoom は DiningArea の subclass では %n
(subclass OutdoorDiningArea DiningArea)	Dining.kif 153-153	OutdoorDiningArea は DiningArea の subclass では %n
(termFormat EnglishLanguage DiningArea "dining area")	Mid-level-ontology.kif 15568-15568

antecedent

(=>
    (instance ?D DiningArea)
    (hasPurpose ?D
        (exists (?E)
            (and
                (instance ?E Eating)
                (eventLocated ?E ?D)))))

Mid-level-ontology.kif 15570-15576

物理は DiningArea の instance では %n
物理はエンティティーエンティティーは摂食の instance では %n eventLocated エンティティー and 物理の目的 %n{ない}

consequent

(=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (exists (?DINING ?C ?FOOD ?KITCHEN) (and (possesses ?REST ?KITCHEN) (instance ?KITCHEN KitchenArea) (instance ?DINING DiningArea) (located ?TABLE ?DINING) (hasPurpose ?X (and (instance ?C Carrying) (agent ?C ?X) (origin ?C ?KITCHEN) (destination ?C ?TABLE) (patient ?C ?FOOD) (instance ?FOOD (FoodForFn Human)))))))	Mid-level-ontology.kif 20600-20622	Waiter は認識エージェントの attribute では %n 認識エージェントは人［人間］の instance では %n AutonomousAgent は認識エージェントを employs %n{ない} AutonomousAgent は Restaurant の instance では %n customer 認識エージェント and AutonomousAgent 認識エージェントはオブジェクトに located して %n オブジェクトは Table の instance では %n オブジェクトエンティティー, エンティティー and オブジェクト AutonomousAgent はオブジェクトを possesses %n{ない} オブジェクトは KitchenArea の instance では %n オブジェクトは DiningArea の instance では %n オブジェクトはオブジェクトに located して %n 認識エージェントはエンティティーは Carrying の instance では %n 認識エージェントはエンティティーの agent では %n エンティティーはオブジェクトから originates %n{ない} エンティティーはオブジェクトに ends %n{ない} エンティティーはエンティティーの patient では %n エンティティーは FoodForFn 人［人間］の instance では %n の目的 %n{ない}
(=> (instance ?R Restaurant) (exists (?D) (and (possesses ?R ?D) (instance ?D DiningArea))))	Mid-level-ontology.kif 7296-7301	AutonomousAgent は Restaurant の instance では %n オブジェクト AutonomousAgent はオブジェクトを possesses %n{ない} オブジェクトは DiningArea の instance では %n
(=> (instance ?RV RecreationalVehicle) (modalAttribute (exists (?BED ?DINING ?KITCHEN) (and (instance ?BED Bed) (instance ?DINING DiningArea) (instance ?KITCHEN KitchenArea) (located ?BED ?RV) (located ?DINING ?RV) (located ?KITCHEN ?RV))) Likely))	Mid-level-ontology.kif 25758-25768	エンティティーは RecreationalVehicle の instance では %n ステートメントエンティティーエンティティー and エンティティーエンティティーは Bed の instance では %n エンティティーは DiningArea の instance では %n エンティティーは KitchenArea の instance では %n エンティティーはエンティティーに located して %n エンティティーはエンティティーに located して %n エンティティーはエンティティーに located して %n には Likely の modal force がある

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: