(=>     (and         (attribute ?X Suite)         (instance ?X HotelUnit))     (exists (?R1 ?R2)         (and             (instance ?R1 HotelRoom)             (instance ?R2 HotelRoom)             (orientation ?R1 ?X Inside)             (orientation ?R2 ?X Inside)             (not                 (equal ?R1 ?R2)))))	Hotel.kif 1003-1014	Suite は オブジェクト の attribute では %n オブジェクト は HotelUnit の instance では %n オブジェクト オブジェクト オブジェクト は HotelRoom の instance では %n オブジェクト は HotelRoom の instance では %n オブジェクト は Inside 対 オブジェクト では %n オブジェクト は Inside 対 オブジェクト では %n オブジェクト は オブジェクト と equal では
(=>     (and         (attribute ?X TravelerAccommodation)         (capability RoomCleaningService agent ?X))     (exists (?MAID ?HOTELROOM)         (and             (employs ?X ?MAID)             (attribute ?MAID Maid)             (instance ?HOTELROOM HotelUnit)             (part ?HOTELROOM                 (PropertyFn ?X))             (capability RoomCleaningService patient ?HOTELROOM)             (capability RoomCleaningService serviceProvider ?MAID))))	Hotel.kif 1935-1946	TravelerAccommodation は AutonomousAgent の attribute では %n AutonomousAgent は RoomCleaningService を agent として行う capable では %n 認識エージェント オブジェクト AutonomousAgent は 認識エージェント を employs %n{ない} Maid は 認識エージェント の attribute では %n オブジェクト は HotelUnit の instance では %n オブジェクト は AutonomousAgent の belongings の part では %n オブジェクト は RoomCleaningService を patient として行う capable では %n 認識エージェント は RoomCleaningService を serviceProvider として行う capable では %n
(=>     (and         (attribute ?X TravelerAccommodation)         (element ?CASINO             (PropertyFn ?X))         (instance ?CASINO Casino))     (attribute ?X CasinoHotels))	Hotel.kif 1452-1457	TravelerAccommodation は AutonomousAgent の attribute では %n エンティティー は AutonomousAgent の belongings の element %n エンティティー は Casino の instance では %n CasinoHotels は AutonomousAgent の attribute では %n
(=>     (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{ない}
(=>     (and         (attribute ?X WheelchairAccessible)         (or             (instance ?X Building)             (instance ?X Room)))     (modalAttribute         (exists (?MOTION ?WHEELCHAIR)             (and                 (instance ?MOTION Motion)                 (instrument ?MOTION ?WHEELCHAIR)                 (instance ?WHEELCHAIR Wheelchair)                 (eventLocated ?MOTION ?X))) Possibility))	Mid-level-ontology.kif 26147-26159	WheelchairAccessible は オブジェクト の attribute では %n オブジェクト は 建物 の instance では %n オブジェクト は 部屋 の instance では %n ステートメント エンティティー エンティティー エンティティー は motion の instance では %n エンティティー は エンティティー の instrument では %n エンティティー は Wheelchair の instance では %n eventLocated エンティティー and オブジェクト には Possibility の modal force が ある
(=>     (and         (attribute ?X Writer)         (instance ?TEXT ?CLASS)         (or             (subclass ?CLASS Text)             (subclass ?CLASS Document))         (instance ?WRITE Writing)         (agent ?WRITE ?X)         (result ?WRITE ?TEXT))     (authors ?X ?CLASS))	Biography.kif 730-740	Writer は AutonomousAgent の attribute では %n エンティティー は コンテンツベアリングオブジェクト の instance では %n コンテンツベアリングオブジェクト は テキスト の subclass では %n コンテンツベアリングオブジェクト は Document の subclass では %n 工程 は 執筆 の instance では %n AutonomousAgent は 工程 の agent では %n エンティティー は 工程 の result では %n AutonomousAgent は コンテンツベアリングオブジェクト の author では %n
(=>     (and         (breathingRate ?H ?T ?R)         (instance ?T Minute)         (not             (exists (?R)                 (and                     (instance ?R RecreationOrExercise)                     (agent ?R ?H)                     (during ?T                         (WhenFn ?R)))))         (holdsDuring ?T             (attribute ?H HumanAdult))         (or             (greaterThan ?R 16)             (lessThan ?R 12)))     (holdsDuring ?T         (not             (attribute ?H Healthy))))	Medicine.kif 367-385	breathingRate AutonomousAgent, 時間間隔 and 整数 時間間隔 は 分 の instance では %n 整数 整数 は レクリエーションまたは運動 の instance では %n AutonomousAgent は 整数 の agent では %n 時間間隔 は 整数 の time の existence の during に takes %n{ない} HumanAdult は AutonomousAgent の attribute では %n は 時間間隔 の during holds %n{ない} 整数 は 16 より greater では　%n 整数 は 12 より less では %n Healthy は AutonomousAgent の attribute では は 時間間隔 の during holds %n{ない}
(=>     (and         (conditionalProbability             (attribute ?X ComfortFood)             (attribute ?X HeartHealthyFood) ?NUMBER1)         (conditionalProbability             (attribute ?X ComfortFood)             (not                 (attribute ?X HeartHealthyFood)) ?NUMBER2))     (lessThan ?NUMBER1 ?NUMBER2))	Dining.kif 1148-1156	HeartHealthyFood は エンティティー の attribute では %n が 実数 では 場合の ComfortFood は エンティティー の attribute では %n の probability HeartHealthyFood は エンティティー の attribute では が 実数 では 場合の ComfortFood は エンティティー の attribute では %n の probability 実数 は 実数 より less では %n
(=>     (and         (connectedBodyPart ?A ?B)         (attribute ?H Healthy))     (exists (?AI ?BI)         (and             (instance ?AI ?A)             (instance ?BI ?B)             (part ?AI ?H)             (part ?BI ?H)             (connected ?AI ?BI))))	Mid-level-ontology.kif 11966-11976	connectedBodyPart 体の部分 and 体の部分 Healthy は オブジェクト の attribute では %n 体の部分I 体の部分I 体の部分I は 体の部分 の instance では %n 体の部分I は 体の部分 の instance では %n 体の部分I は オブジェクト の part では %n 体の部分I は オブジェクト の part では %n 体の部分I は 体の部分I と connected して
(=>     (and         (connectedBodyPartTypes ?P1 ?P2 ?O)         (instance ?OC ?O)         (not             (attribute ?H DiseaseOrSyndrome)))     (exists (?PC1 ?PC2)         (and             (instance ?PC1 ?P1)             (instance ?PC2 ?P2)             (not                 (equal ?PC1 ?PC2))             (part ?PC1 ?OC)             (part ?PC2 ?OC)             (connected ?PC1 ?PC2))))	Anatomy.kif 32-46	connectedBodyPartTypes 体の部分, 体の部分 and 物 物C は 物 の instance では %n 病気または症候群 は オブジェクト の attribute では オブジェクト オブジェクト オブジェクト は 体の部分 の instance では %n オブジェクト は 体の部分 の instance では %n オブジェクト は オブジェクト と equal では オブジェクト は 物C の part では %n オブジェクト は 物C の part では %n オブジェクト は オブジェクト と connected して
(=>     (and         (customer ?CUST ?AGENT)         (employs ?AGENT ?X)         (attribute ?AGENT TravelerAccommodation)         (attribute ?X Porter)         (possesses ?CUST ?LUGGAGE)         (instance ?LUGGAGE TravelContainer))     (exists (?ROOM ?CARRY)         (and             (instance ?ROOM HotelUnit)             (instance ?CARRY Carrying)             (agent ?CARRY ?X)             (or                 (destination ?CARRY ?ROOM)                 (origin ?CARRY ?ROOM)))))	Hotel.kif 2392-2407	customer 認識エージェント and AutonomousAgent AutonomousAgent は 認識エージェント を employs %n{ない} TravelerAccommodation は AutonomousAgent の attribute では %n Porter は 認識エージェント の attribute では %n 認識エージェント は オブジェクト を possesses %n{ない} オブジェクト は TravelContainer の instance では %n オブジェクト 工程 オブジェクト は HotelUnit の instance では %n 工程 は Carrying の instance では %n 認識エージェント は 工程 の agent では %n 工程 は オブジェクト に ends %n{ない} 工程 は オブジェクト から originates %n{ない}
(=>     (and         (defaultMaximumSphereRadius ?OBJECT             (MeasureFn ?R ?U))         (instance ?INST ?OBJECT)         (attribute ?INST Sphere))     (modalAttribute         (exists (?RADIUS)             (and                 (sphereRadius ?INST                     (MeasureFn ?RADIUS ?U))                 (greaterThan ?RADIUS ?R))) Unlikely))	Mid-level-ontology.kif 13485-13496	defaultMaximumSphereRadius オブジェクト and 実数 の 測定単位(s) オブジェクト は オブジェクト の instance では %n Sphere は オブジェクト の attribute では %n ステートメント 実数ADIUS sphereRadius オブジェクト and 実数ADIUS の 測定単位(s) 実数ADIUS は 実数 より greater では　%n には Unlikely の modal force が ある
(=>     (and         (defaultMinimumSphereRadius ?OBJECT             (MeasureFn ?R ?U))         (instance ?INST ?OBJECT)         (attribute ?INST Sphere))     (modalAttribute         (exists (?RADIUS)             (and                 (sphereRadius ?INST                     (MeasureFn ?RADIUS ?U))                 (lessThan ?RADIUS ?R))) Unlikely))	Mid-level-ontology.kif 13466-13476	defaultMinimumSphereRadius オブジェクト and 実数 の 測定単位(s) オブジェクト は オブジェクト の instance では %n Sphere は オブジェクト の attribute では %n ステートメント 実数ADIUS sphereRadius オブジェクト and 実数ADIUS の 測定単位(s) 実数ADIUS は 実数 より less では %n には Unlikely の modal force が ある
(=>     (and         (element ?ROOM             (PropertyFn ?HOTEL))         (attribute ?ROOM AnnexRoom)         (instance ?ROOM HotelRoom))     (exists (?BLDG1 ?BLDG2 ?FRNT)         (and             (subOrganization ?FRNT ?HOTEL)             (instance ?FRNT HotelFrontDesk)             (located ?FRNT ?BLDG1)             (element ?BLDG1                 (PropertyFn ?HOTEL))             (element ?BLDG2                 (PropertyFn ?HOTEL))             (part ?ROOM ?BLDG2)             (not                 (equal ?BLDG1 ?BLDG2)))))	Hotel.kif 1127-1140	オブジェクト は 組織 の belongings の element %n AnnexRoom は オブジェクト の attribute では %n オブジェクト は HotelRoom の instance では %n オブジェクト オブジェクト and 組織 組織 は組織 組織 の一部では %n 組織 は HotelFrontDesk の instance では %n 組織 は オブジェクト に located して %n オブジェクト は 組織 の belongings の element %n オブジェクト は 組織 の belongings の element %n オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト と equal では
(=>     (and         (employs ?HOTEL ?ATHLETE)         (attribute ?HOTEL TravelerAccommodation)         (attribute ?ATHLETE TennisProfessional)         (guest ?CUST ?HOTEL))     (modalAttribute         (exists (?TENNIS ?LOC)             (and                 (instance ?TENNIS Tennis)                 (contestParticipant ?TENNIS ?ATHLETE)                 (contestParticipant ?TENNIS ?CUST)                 (located ?TENNIS ?LOC)                 (located ?HOTEL ?LOC))) Possibility))	Hotel.kif 1522-1535	AutonomousAgent は 認識エージェント を employs %n{ない} TravelerAccommodation は AutonomousAgent の attribute では %n TennisProfessional は 認識エージェント の attribute では %n guest 認識エージェント and AutonomousAgent ステートメント エンティティー エンティティー エンティティー は Tennis の instance では %n contestParticipant エンティティー and 認識エージェント contestParticipant エンティティー and 認識エージェント エンティティー は エンティティー に located して %n AutonomousAgent は エンティティー に located して %n には Possibility の modal force が ある
(=>     (and         (employs ?ORG ?CO)         (instance ?D DoNetworkMessaging)         (result ?D ?MSG)         (attribute ?MSG NSFW)         (instance ?S Seeing)         (patient ?S ?MSG)         (agent ?S ?CO))     (modalAttribute         (exists (?PROC)             (and                 (causes ?S ?PROC)                 (suffers ?PROC ?CO))) Possibility))	Medicine.kif 3040-3054	AutonomousAgent は 認識エージェント を employs %n{ない} 工程 は DoNetworkMessaging の instance では %n オブジェクト は 工程 の result では %n NSFW は オブジェクト の attribute では %n 工程 は 見ること の instance では %n オブジェクト は 工程 の patient では %n 認識エージェント は 工程 の agent では %n ステートメント エンティティー 工程 は エンティティー を causes %n{ない} suffers エンティティー and 認識エージェント には Possibility の modal force が ある
(=>     (and         (employs ?ORG ?P)         (employs ?ORG ?CO)         (instance ?D DoNetworkMessaging)         (result ?D ?MSG)         (attribute ?MSG NSFW)         (agent ?D ?P)         (instance ?S Seeing)         (patient ?S ?MSG)         (agent ?S ?CO))     (modalAttribute         (exists (?PROC)             (and                 (causes ?D ?PROC)                 (suffers ?PROC ?P))) Likely))	Medicine.kif 3022-3038	AutonomousAgent は 認識エージェント を employs %n{ない} AutonomousAgent は 認識エージェント を employs %n{ない} 工程 は DoNetworkMessaging の instance では %n オブジェクト は 工程 の result では %n NSFW は オブジェクト の attribute では %n 認識エージェント は 工程 の agent では %n 工程 は 見ること の instance では %n オブジェクト は 工程 の patient では %n 認識エージェント は 工程 の agent では %n ステートメント 認識エージェントROC 工程 は 認識エージェントROC を causes %n{ない} suffers 認識エージェントROC and 認識エージェント には Likely の modal force が ある
(=>     (and         (ennervates ?NC ?MC)         (instance ?N ?NC)         (instance ?M ?MC)         (part ?N ?H)         (part ?M ?H)         (attribute ?H Healthy)         (instance ?H Human))     (hasPurpose ?N         (exists (?NF ?C)             (and                 (instance ?NF NerveFiring)                 (instrument ?NF ?N)                 (instance ?MC MuscleContraction)                 (instrument ?MV ?M)                 (causes ?NF ?MC)))))	Anatomy.kif 1923-1939	ennervates Nerve and 筋肉 オブジェクト は Nerve の instance では %n オブジェクト は 筋肉 の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト の part では %n Healthy は オブジェクト の attribute では %n オブジェクト は 人［人間］ の instance では %n オブジェクト は オブジェクトF エンティティー オブジェクトF は NerveFiring の instance では %n オブジェクト は オブジェクトF の instrument では %n 筋肉 は MuscleContraction の instance では %n オブジェクト は オブジェクトV の instrument では %n オブジェクトF は 筋肉 を causes %n{ない} の 目的 %n{ない}
(=>     (and         (fills ?OBJ1 ?HOLE)         (attribute ?OBJ2 Fillable))     (not         (overlapsSpatially ?OBJ1 ?OBJ2)))	Merge.kif 10054-10059	オブジェクト は HoleRegion を fills %n{ない} Fillable は オブジェクト の attribute では %n overlapsSpatially オブジェクト and オブジェクト
(=>     (and         (holdsDuring ?H             (attribute ?A Christian))         (instance ?H ChristmasDay))     (observesHoliday ?A ?H))	Media.kif 406-411	Christian は 認識エージェント の attribute では %n は Holiday の during holds %n{ない} Holiday は ChristmasDay の instance では %n observesHoliday 認識エージェント and Holiday
(=>     (and         (holdsDuring ?H             (attribute ?A Christian))         (instance ?H EasterSunday))     (observesHoliday ?A ?H))	Media.kif 509-514	Christian は 認識エージェント の attribute では %n は Holiday の during holds %n{ない} Holiday は EasterSunday の instance では %n observesHoliday 認識エージェント and Holiday
(=>     (and         (holdsDuring ?T             (and                 (attribute ?H LateralRecumbant)                 (orientation ?H ?O On)))         (instance ?LA LeftArm)         (part ?LA ?H)         (instance ?RA RightArm)         (part ?RA ?H)         (instance ?LL LeftLeg)         (part ?LL ?H)         (instance ?RL RightLeg)         (part ?RL ?H)         (or             (meetsSpatially ?LA ?O)             (meetsSpatially ?LL ?O)))     (holdsDuring ?T         (and             (not                 (meetsSpatially ?RA ?O))             (not                 (meetsSpatially ?RL ?O)))))	Anatomy.kif 1838-1860	LateralRecumbant は オブジェクト の attribute では %n オブジェクト は On 対 オブジェクト では %n は 時間位置 の during holds %n{ない} オブジェクト は LeftArm の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は RightArm の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は LeftLeg の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は RightLeg の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト と meets %n{ない} オブジェクト は オブジェクト と meets %n{ない} オブジェクト は オブジェクト と meet ない オブジェクト は オブジェクト と meet ない は 時間位置 の during holds %n{ない}
(=>     (and         (holdsDuring ?T             (and                 (attribute ?H LateralRecumbant)                 (orientation ?H ?O On)))         (instance ?LA LeftArm)         (part ?LA ?H)         (instance ?RA RightArm)         (part ?RA ?H)         (instance ?LL LeftLeg)         (part ?LL ?H)         (instance ?RL RightLeg)         (part ?RL ?H)         (or             (meetsSpatially ?RA ?O)             (meetsSpatially ?RL ?O)))     (holdsDuring ?T         (and             (not                 (meetsSpatially ?LA ?O))             (not                 (meetsSpatially ?LL ?O)))))	Anatomy.kif 1862-1884	LateralRecumbant は オブジェクト の attribute では %n オブジェクト は On 対 オブジェクト では %n は 時間位置 の during holds %n{ない} オブジェクト は LeftArm の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は RightArm の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は LeftLeg の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は RightLeg の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト と meets %n{ない} オブジェクト は オブジェクト と meets %n{ない} オブジェクト は オブジェクト と meet ない オブジェクト は オブジェクト と meet ない は 時間位置 の during holds %n{ない}
(=>     (and         (holdsDuring ?T             (and                 (attribute ?H Prone)                 (orientation ?H ?O On)))         (instance ?C Chest)         (part ?C ?H))     (meetsSpatially ?C ?O))	Anatomy.kif 1799-1807	Prone は オブジェクト の attribute では %n オブジェクト は On 対 オブジェクト では %n は 時間位置 の during holds %n{ない} オブジェクト は Chest の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト と meets %n{ない}
(=>     (and         (holdsDuring ?T             (and                 (attribute ?H Supine)                 (orientation ?H ?O On)))         (equal ?B             (BackFn ?H)))     (meetsSpatially ?B ?O))	Anatomy.kif 1814-1821	Supine は 自己接続オブジェクト の attribute では %n 自己接続オブジェクト は On 対 オブジェクト では %n は 時間位置 の during holds %n{ない} 自己接続オブジェクト は 自己接続オブジェクト の back と equal では %n 自己接続オブジェクト は オブジェクト と meets %n{ない}
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