(=>     (and         (instance ?THANK Thanking)         (agent ?THANK ?AGENT)         (patient ?THANK ?THING)         (destination ?THANK ?PERSON))     (and         (instance ?PERSON Human)         (or             (holdsDuring                 (WhenFn ?THANK)                 (wants ?AGENT ?THING))             (holdsDuring                 (WhenFn ?THANK)                 (desires ?AGENT ?THING)))))	Mid-level-ontology.kif 14479-14489	工程 は Thanking の instance では AutonomousAgent は 工程 の agent では エンティティー は 工程 の patient では 工程 は エンティティー に ends エンティティー は 人［人間］ の instance では AutonomousAgent は エンティティー を wants は 工程 の time の existence の during holds AutonomousAgent が エンティティー を desires は 工程 の time の existence の during holds
(=>     (and         (instance ?V Vending)         (objectTransferred ?V ?O)         (not             (instance ?O Currency)))     (modalAttribute         (or             (instance ?O                 (FoodForFn Human))             (instance ?O Beverage)) Likely))	Mid-level-ontology.kif 2449-2458	移動 は Vending の instance では objectTransferred 移動 and オブジェクト オブジェクト は Currency の instance では ステートメント オブジェクト は FoodForFn 人［人間］ の instance では オブジェクト は 飲料 の instance では には Likely の modal force が ある
(=>     (and         (instance ?X CarAlarm)         (instance ?CAR SelfPoweredRoadVehicle)         (part ?X ?CAR))     (exists (?HARM ?THIEF ?T ?L)         (hasPurpose ?X             (=>                 (and                     (or                         (instance ?HARM Stealing)                         (instance ?HARM Damaging))                     (instance ?THIEF Human)                     (agent ?HARM ?THIEF)                     (patient ?HARM ?CAR)                     (equal                         (WhenFn ?HARM) ?T)                     (eventPartlyLocated ?HARM ?L))                 (exists (?ALARM)                     (and                         (instance ?ALARM RadiatingSound)                         (agent ?ALARM ?X)                         (causes ?HARM ?ALARM)                         (hasPurpose ?ALARM                             (increasesLikelihood                                 (exists (?WITNESS)                                     (and                                         (instance ?WITNESS Human)                                         (holdsDuring ?T                                             (orientation ?WITNESS ?L Near))))                                 (or                                     (knows ?WITNESS                                         (exists (?H)                                             (and                                                 (or                                                     (instance ?H Stealing)                                                     (instance ?H Damaging))                                                 (eventPartlyLocated ?H ?L)                                                 (holdsDuring ?T                                                     (patient ?H ?CAR)))))                                     (finishes                                         (WhenFn ?ALARM)                                         (WhenFn ?HARM)))))))))))	Cars.kif 3771-3812	オブジェクト は CarAlarm の instance では オブジェクト は SelfPoweredRoadVehicle の instance では オブジェクト は オブジェクト の part では エンティティー エンティティー, エンティティー and エンティティー オブジェクト は エンティティー は Stealing の instance では エンティティー は 損害を与える の instance では エンティティー は 人［人間］ の instance では エンティティー は エンティティー の agent では オブジェクト は エンティティー の patient では equal エンティティー の time の existence and エンティティー eventPartlyLocated エンティティー and エンティティー エンティティー エンティティー は 放射音 の instance では オブジェクト は エンティティー の agent では エンティティー は エンティティー を causes エンティティー は エンティティー エンティティー は 人［人間］ の instance では エンティティー は Near 対 エンティティー では は エンティティー の during holds は エンティティー は エンティティー エンティティー は Stealing の instance では エンティティー は 損害を与える の instance では eventPartlyLocated エンティティー and エンティティー オブジェクト は エンティティー の patient では は エンティティー の during holds を knows エンティティー の time の existence は エンティティー の time の existence を finishes の 可能性を increases の 目的 の 目的
(=>     (and         (instance ?X ContentBearingObject)         (attribute ?X Braille))     (exists (?H)         (and             (instance ?H Human)             (attribute ?H Blind)             (capability Interpreting agent ?H)             (capability Interpreting patient ?X))))	Dining.kif 244-253	オブジェクト は コンテンツベアリングオブジェクト の instance では Braille は オブジェクト の attribute では オブジェクト オブジェクト は 人［人間］ の instance では Blind は オブジェクト の attribute では オブジェクト は Interpreting を agent として行う capable では オブジェクト は Interpreting を patient として行う capable では
(=>     (and         (instance ?X Respirator)         (instance ?PERSON Animal)         (wears ?PERSON ?X))     (hasPurpose ?X         (exists (?INHAL ?INJ ?PROTECT ?I)             (and                 (instance ?PROTECT Process)                 (instrument ?PROTECT ?X)                 (prevents ?PROTECT ?INJ)                 (subclass ?INJ                     (KappaFn ?I                         (and                             (instance ?I Injuring)                             (exists (?H)                                 (and                                     (instance ?H Human)                                     (patient ?I ?H)                                     (instance ?INHAL Inhaling)                                     (agent ?INHAL ?H)                                     (causes ?I ?INHAL))))))))))	Cars.kif 3592-3613	WearableItem は Respirator の instance では 動物 は 動物 の instance では 動物 は % を wears WearableItem は エンティティー エンティティー, エンティティー and エンティティー エンティティー は 工程 の instance では WearableItem は エンティティー の instrument では エンティティー は エンティティー の出来事を prevents エンティティー は エンティティーで記述される class の subclass では の 目的
(=>     (and         (instance ?X WhirlpoolTub)         (attribute ?X DoubleSize))     (modalAttribute         (exists (?T1)             (holdsDuring ?T1                 (exists (?P1 ?P2)                     (and                         (instance ?P1 Human)                         (instance ?P2 Human)                         (not                             (equal ?P1 ?P2))                         (located ?P1 ?X)                         (located ?P2 ?X))))) Possibility))	Mid-level-ontology.kif 26995-27008	オブジェクト は WhirlpoolTub の instance では DoubleSize は オブジェクト の attribute では ステートメント エンティティー エンティティー エンティティー エンティティー は 人［人間］ の instance では エンティティー は 人［人間］ の instance では equal エンティティー and エンティティー エンティティー は オブジェクト に located して エンティティー は オブジェクト に located して は エンティティー の during holds には Possibility の modal force が ある
(=>     (and         (numberOccupant ?RESERVE ?NUM)         (fulfillingEntity ?HOTEL ?RESERVE))     (exists (?COL)         (and             (instance ?COL GroupOfPeople)             (memberType ?COL Human)             (memberCount ?COL ?NUM)             (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2875-2884	numberOccupant HotelReservation and 整数 fulfillingEntity AutonomousAgent and HotelReservation コレクション コレクション は GroupOfPeople の instance では memberType コレクション and 人［人間］ memberCount コレクション and 整数 potentialCustomer コレクション and AutonomousAgent
(=>     (and         (subordinatePosition ?ORG ?ROLE1 ?ROLE2)         (occupiesPosition ?PERSON1 ?ROLE1 ?ORG))     (exists (?PERSON2)         (and             (instance ?PERSON2 Human)             (occupiesPosition ?PERSON2 ?ROLE2 ?ORG)             (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2))))	Mid-level-ontology.kif 24394-24402	subordinatePosition 組織, ポジション and ポジション 人［人間］ は 組織 の ポジション の position を holds 人［人間］ 人［人間］ は 人［人間］ の instance では 人［人間］ は 組織 の ポジション の position を holds subordinateInOrganization 組織, 人［人間］ and 人［人間］
(=>     (and         (viewType ?ROOM ?OBJ)         (instance ?ROOM Room)         (instance ?INST ?OBJ)         (orientation ?INST ?ROOM Outside))     (modalAttribute         (exists (?HUMAN ?SEE)             (and                 (instance ?HUMAN Human)                 (located ?HUMAN ?ROOM)                 (instance ?SEE Seeing)                 (patient ?SEE ?INST)                 (agent ?SEE ?HUMAN))) Possibility))	Hotel.kif 962-975	viewType オブジェクト and 物理 オブジェクト は 部屋 の instance では オブジェクト は 物理 の instance では オブジェクト は Outside 対 オブジェクト では ステートメント エンティティー エンティティー エンティティー は 人［人間］ の instance では エンティティー は オブジェクト に located して エンティティー は 見ること の instance では オブジェクト は エンティティー の patient では エンティティー は エンティティー の agent では には Possibility の modal force が ある
(=>     (arrested ?ARREST ?OBJ)     (or         (instance ?OBJ Human)         (instance ?OBJ GroupOfPeople)))	Mid-level-ontology.kif 25129-25133	AutonomousAgent は、 PlacingUnderArrest の最中逮捕され AutonomousAgent は 人［人間］ の instance では AutonomousAgent は GroupOfPeople の instance では
(=>     (attribute ?COACH Coach)     (exists (?ATHLETE ?GAME ?EDUCATION)         (and             (instance ?ATHLETE Human)             (instance ?GAME Game)             (instance ?EDUCATION EducationalProcess)             (agent ?EDUCATION ?COACH)             (patient ?EDUCATION ?ATHLETE)             (refers ?EDUCATION ?GAME))))	Sports.kif 536-545	Coach は AutonomousAgent の attribute では エンティティー エンティティー and 工程 エンティティー は 人［人間］ の instance では エンティティー は ゲーム の instance では 工程 は 教育過程 の instance では AutonomousAgent は 工程 の agent では エンティティー は 工程 の patient では 工程 は エンティティー への reference を includes
(=>     (attribute ?X BarberShops)     (hasPurpose ?X         (exists (?HAIR ?HUMAN ?CUT ?STYLIST)             (and                 (instance ?HAIR Hair)                 (part ?HAIR ?HUMAN)                 (instance ?HUMAN Human)                 (instance ?CUT Cutting)                 (patient ?CUT ?HAIR)                 (eventLocated ?CUT ?X)                 (agent ?CUT ?STYLIST)                 (employs ?X ?STYLIST)))))	naics.kif 11934-11946	BarberShops は オブジェクト の attribute では オブジェクト は エンティティー エンティティー, エンティティー and エンティティー エンティティー は Hair の instance では エンティティー は エンティティー の part では エンティティー は 人［人間］ の instance では エンティティー は 切断 の instance では エンティティー は エンティティー の patient では eventLocated エンティティー and オブジェクト エンティティー は エンティティー の agent では オブジェクト は エンティティー を employs の 目的
(=>     (attribute ?X ExecutiveLevel)     (forall (?Y)         (=>             (and                 (instance ?Y HotelRoom)                 (located ?Y ?X))             (hasPurpose ?Y                 (exists (?HUMAN)                     (and                         (attribute ?HUMAN BusinessExecutive)                         (instance ?HUMAN Human)                         (stays ?HUMAN ?Y)))))))	Hotel.kif 1232-1244	ExecutiveLevel は オブジェクト の attribute では 物理 物理 は HotelRoom の instance では 物理 は オブジェクト に located して 物理 は エンティティー BusinessExecutive は エンティティー の attribute では エンティティー は 人［人間］ の instance では stays エンティティー and 物理 の 目的
(=>     (attribute ?X FemaleExecutiveRoom)     (hasPurpose ?X         (exists (?HUMAN)             (and                 (instance ?HUMAN Human)                 (attribute ?HUMAN Female)                 (attribute ?HUMAN BusinessExecutive)                 (stays ?HUMAN ?X)))))	Hotel.kif 1050-1058	FemaleExecutiveRoom は オブジェクト の attribute では オブジェクト は エンティティー エンティティー は 人［人間］ の instance では Female は エンティティー の attribute では BusinessExecutive は エンティティー の attribute では stays エンティティー and オブジェクト の 目的
(=>     (attribute ?X HandicappedFriendly)     (exists (?ATTR ?PERSON)         (and             (instance ?ATTR Disability)             (instance ?PERSON Human)             (attribute ?PERSON ?ATTR)             (inScopeOfInterest ?PERSON ?X))))	Mid-level-ontology.kif 28080-28087	HandicappedFriendly は オブジェクト の attribute では 属性 認識エージェント 属性 は Disability の instance では 認識エージェント は 人［人間］ の instance では 属性 は 認識エージェント の attribute では 認識エージェント は オブジェクト に interested が
(=>     (attribute ?X Multilingual)     (instance ?X Human))	Mid-level-ontology.kif 27642-27644	Multilingual は オブジェクト の attribute では オブジェクト は 人［人間］ の instance では
(=>     (attribute ?X SnackAndNonalcoholicBeverageBars)     (hasPurpose ?X         (exists (?SELL ?FOOD)             (and                 (instance ?FOOD                     (FoodForFn Human))                 (instance ?SELL Selling)                 (patient ?SELL ?FOOD)                 (agent ?SELL ?X)))))	naics.kif 11668-11676	SnackAndNonalcoholicBeverageBars は オブジェクト の attribute では オブジェクト は エンティティー エンティティー エンティティー は FoodForFn 人［人間］ の instance では エンティティー は 販売 の instance では エンティティー は エンティティー の patient では オブジェクト は エンティティー の agent では の 目的
(=>     (attribute ?X Waiter)     (instance ?X Human))	Mid-level-ontology.kif 22214-22216	Waiter は オブジェクト の attribute では オブジェクト は 人［人間］ の instance では
(=>     (bloodVolume ?H ?V)     (exists (?B)         (and             (instance ?B Blood)             (contains ?H ?B)             (instance ?H Human)             (measure ?B ?V)             (not                 (exists (?B2)                     (and                         (instance ?B2 Blood)                         (contains ?H ?B2)                         (not                             (piece ?B2 ?B))))))))	Medicine.kif 5915-5929	bloodVolume 人［人間］ and 容積測定 物質 物質 は 血 の instance では 人［人間］ は 物質 を contains 人［人間］ は 人［人間］ の instance では 物質 の measure は 容積測定 では 物質2 物質2 は 血 の instance では 人［人間］ は 物質2 を contains 物質2 は 物質 の piece では
(=>     (electionForPosition ?ELECTION ?ROLE)     (exists (?CANDIDATE)         (and             (instance ?CANDIDATE Human)             (candidateForPosition ?ELECTION ?ROLE ?CANDIDATE))))	Government.kif 1715-1720	electionForPosition Election and 社会的役割 AutonomousAgent AutonomousAgent は 人［人間］ の instance では candidateForPosition Election, 社会的役割 and AutonomousAgent
(=>     (equal ?NUMDEMANDED         (DemandFn ?ME))     (exists (?DESIREDITEMS ?ITEMCLASS)         (and             (instance ?DESIREDITEMS Collection)             (memberCount ?DESIREDITEMS ?NUMDEMANDED)             (memberType ?ME ?ITEMCLASS)             (=>                 (and                     (instance ?H Human)                     (instance ?ITEM ?ITEMCLASS)                     (=>                         (and                             (instance ?B1 Buying)                             (patient ?B1 ?ITEM))                         (capability ?B1 agent ?H))                     (desires ?H                         (exists (?B2 ?ITEM)                             (and                                 (instance ?B2 Buying)                                 (transactionAmount ?B2 ?CM)                                 (patient ?B2 ?ITEM)                                 (member ?ITEM ?ME)                                 (agent ?B2 ?H)))))                 (member ?ITEM ?DESIREDITEMS)))))	Economy.kif 6792-6816	equal 整数 and DemandFn MarketEconomics コレクション クラス コレクション は コレクション の instance では memberCount コレクション and 整数 memberType MarketEconomics and クラス 認識エージェント は 人［人間］ の instance では 物理 は クラス の instance では 工程 は 購買 の instance では 物理 は 工程 の patient では 認識エージェント は 工程 を agent として行う capable では 認識エージェント が エンティティー 物理 エンティティー は 購買 の instance では transactionAmount エンティティー and エンティティー 物理 は エンティティー の patient では 物理 は MarketEconomics の member では 認識エージェント は エンティティー の agent では を desires 物理 は コレクション の member では
(=>     (holdsDuring ?T         (attribute ?A InterpersonalDisgust))     (causes         (exists (?P ?H)             (and                 (instance ?P Perception)                 (patient ?P ?H)                 (experiencer ?P ?A)                 (instance ?H Human)                 (during                     (WhenFn ?P) ?T)))         (holdsDuring ?T             (attribute ?A InterpersonalDisgust))))	emotion.kif 865-877	InterpersonalDisgust は エンティティー の attribute では は 時間位置 の during holds エンティティー エンティティー エンティティー は 知覚 の instance では エンティティー は エンティティー の patient では エンティティー が エンティティー を experiences エンティティー は 人［人間］ の instance では エンティティー の time の existence は 時間位置 の during に takes は InterpersonalDisgust は エンティティー の attribute では は 時間位置 の during holds を causes
(=>     (holdsDuring ?T         (attribute ?A InterpersonalDisgust))     (exists (?P ?H)         (and             (instance ?P Perception)             (patient ?P ?H)             (experiencer ?P ?A)             (instance ?H Human)             (not                 (equal ?H ?A))             (during                 (WhenFn ?P) ?T))))	emotion.kif 852-863	InterpersonalDisgust は AutonomousAgent の attribute では は 時間間隔 の during holds 工程 エンティティー 工程 は 知覚 の instance では エンティティー は 工程 の patient では AutonomousAgent が 工程 を experiences エンティティー は 人［人間］ の instance では equal エンティティー and AutonomousAgent 工程 の time の existence は 時間間隔 の during に takes
(=>     (holdsDuring ?T         (attribute ?X SafetyPosition))     (holdsDuring ?T         (hasPurpose ?X             (exists (?P ?H ?I ?T2)                 (and                     (instance ?H Human)                     (instance ?P Process)                     (patient ?P ?H)                     (agent ?P ?X)                     (prevents ?P                         (KappaFn ?I                             (and                                 (instance ?I Injuring)                                 (=>                                     (holdsDuring ?T2                                         (experiencer ?I ?H))                                     (not                                         (holdsDuring ?T2                                             (patient ?P ?H))))))))))))	Mid-level-ontology.kif 32641-32661	SafetyPosition は エンティティー の attribute では は 時間位置 の during holds エンティティー は エンティティー エンティティー, エンティティー and 時間位置2 エンティティー は 人［人間］ の instance では エンティティー は 工程 の instance では エンティティー は エンティティー の patient では エンティティー は エンティティー の agent では エンティティー は エンティティーで記述される class の出来事を prevents の 目的 は 時間位置 の during holds
(=>     (holdsDuring ?TIME         (attribute ?SLAVE HumanSlave))     (exists (?PERSON)         (and             (instance ?PERSON Human)             (not                 (equal ?PERSON ?SLAVE))             (holdsDuring ?TIME                 (possesses ?PERSON ?SLAVE)))))	Mid-level-ontology.kif 169-176	HumanSlave は エンティティー の attribute では は 時間位置 の during holds エンティティー エンティティー は 人［人間］ の instance では equal エンティティー and エンティティー エンティティー は エンティティー を possesses は 時間位置 の during holds
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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