(=>     (and         (instance ?X WaterTransportationService)         (serviceProvider ?X ?Y)         (attribute ?Y CoastalAndGreatLakesPassengerTransportation))     (exists (?CRUISE ?SHIP ?WATER)         (and             (subProcess ?CRUISE ?X)             (instance ?CRUISE WaterTransportation)             (instrument ?CRUISE ?SHIP)             (instance ?SHIP PassengerShip)             (eventLocated ?CRUISE ?WATER)             (instance ?WATER WaterArea)             (geographicSubregion ?WATER UnitedStates)             (not                 (exists (?FERRY)                     (and                         (instance ?FERRY ShortSeaPassengerShip)                         (equal ?SHIP ?FERRY)))))))	naics.kif 8207-8225	ServiceProcess は WaterTransportationService の instance では %n 認識エージェント は ServiceProcess の間サービスを provides %n{ない} CoastalAndGreatLakesPassengerTransportation は 認識エージェント の attribute では %n 工程 オブジェクト and 地理的地域 工程 は ServiceProcess% の subprocess では %n 工程 は WaterTransportation の instance では %n オブジェクト は 工程 の instrument では %n オブジェクト は PassengerShip の instance では %n eventLocated 工程 and 地理的地域 地理的地域 は 水域 の instance では %n geographicSubregion 地理的地域 and UnitedStates エンティティー エンティティー は ShortSeaPassengerShip の instance では %n オブジェクト は エンティティー と equal では %n
(=>     (and         (instance ?X WaterTransportationService)         (serviceProvider ?X ?Y)         (attribute ?Y DeepSeaFreightTransportation))     (exists (?FREIGHT ?SHIP)         (and             (subProcess ?FREIGHT ?X)             (instance ?FREIGHT WaterTransportation)             (instrument ?FREIGHT ?SHIP)             (instance ?SHIP CargoShip)             (eventLocated ?FREIGHT WorldOcean))))	naics.kif 8139-8150	ServiceProcess は WaterTransportationService の instance では %n 認識エージェント は ServiceProcess の間サービスを provides %n{ない} DeepSeaFreightTransportation は 認識エージェント の attribute では %n 工程 オブジェクト 工程 は ServiceProcess% の subprocess では %n 工程 は WaterTransportation の instance では %n オブジェクト は 工程 の instrument では %n オブジェクト は CargoShip の instance では %n eventLocated 工程 and WorldOcean
(=>     (and         (instance ?X WaterTransportationService)         (serviceProvider ?X ?Y)         (attribute ?Y DeepSeaPassengerTransportation))     (exists (?CRUISE ?SHIP)         (and             (subProcess ?CRUISE ?X)             (instance ?CRUISE WaterTransportation)             (instrument ?CRUISE ?SHIP)             (instance ?SHIP PassengerShip)             (eventLocated ?CRUISE WorldOcean)             (not                 (exists (?FERRY)                     (and                         (instance ?FERRY ShortSeaPassengerShip)                         (equal ?SHIP ?FERRY)))))))	naics.kif 8159-8175	ServiceProcess は WaterTransportationService の instance では %n 認識エージェント は ServiceProcess の間サービスを provides %n{ない} DeepSeaPassengerTransportation は 認識エージェント の attribute では %n 工程 オブジェクト 工程 は ServiceProcess% の subprocess では %n 工程 は WaterTransportation の instance では %n オブジェクト は 工程 の instrument では %n オブジェクト は PassengerShip の instance では %n eventLocated 工程 and WorldOcean エンティティー エンティティー は ShortSeaPassengerShip の instance では %n オブジェクト は エンティティー と equal では %n
(=>     (and         (measure ?QUAKE             (MeasureFn ?VALUE RichterMagnitude))         (instance ?QUAKE Earthquake))     (exists (?TREMOR)         (and             (instance ?TREMOR EarthTremor)             (subProcess ?TREMOR ?QUAKE)             (measure ?TREMOR                 (MeasureFn ?VALUE RichterMagnitude)))))	Geography.kif 2359-2369	工程 の measure は 実数 の RichterMagnitude(s) では %n 工程 は Earthquake の instance では %n 工程 工程 は EarthTremor の instance では %n 工程 は 工程% の subprocess では %n 工程 の measure は 実数 の RichterMagnitude(s) では %n
(=>     (and         (musicGenre ?MR Acapella)         (record ?MR ?MM))     (not         (exists (?MI)             (and                 (instance ?MI MakingInstrumentalMusic)                 (subProcess ?MI ?MM)))))	Music.kif 524-532	musicGenre コンテンツベアリングオブジェクト and Acapella record コンテンツベアリングオブジェクト and 工程 工程 工程 は MakingInstrumentalMusic の instance では %n 工程 は 工程% の subprocess では %n
(=>     (and         (property ?THING ?ATTR)         (instance ?ATTR ContestAttribute))     (exists (?CONTEST)         (and             (instance ?CONTEST Contest)             (or                 (agent ?CONTEST ?THING)                 (patient ?CONTEST ?THING)                 (subProcess ?THING ?CONTEST)))))	Merge.kif 17392-17402	AutonomousAgent には attribute 属性 %n{ない} 属性 は コンテスト属性 の instance では %n 工程 工程 は コンテスト の instance では %n AutonomousAgent は 工程 の agent では %n AutonomousAgent は 工程 の patient では %n AutonomousAgent は 工程% の subprocess では %n
(=>     (and         (property ?THING ?ATTR)         (instance ?ATTR GameAttribute))     (exists (?GAME)         (and             (instance ?GAME Game)             (or                 (agent ?GAME ?THING)                 (patient ?GAME ?THING)                 (subProcess ?THING ?GAME)))))	Mid-level-ontology.kif 19499-19509	AutonomousAgent には attribute 属性 %n{ない} 属性 は GameAttribute の instance では %n 工程 工程 は ゲーム の instance では %n AutonomousAgent は 工程 の agent では %n AutonomousAgent は 工程 の patient では %n AutonomousAgent は 工程% の subprocess では %n
(=>     (and         (property ?THING ?ATTR)         (instance ?ATTR SportsAttribute))     (exists (?SPORT)         (and             (instance ?SPORT Game)             (or                 (agent ?SPORT ?THING)                 (patient ?SPORT ?THING)                 (subProcess ?THING ?SPORT)))))	Mid-level-ontology.kif 19515-19525	AutonomousAgent には attribute 属性 %n{ない} 属性 は SportsAttribute の instance では %n 工程 工程 は ゲーム の instance では %n AutonomousAgent は 工程 の agent では %n AutonomousAgent は 工程 の patient では %n AutonomousAgent は 工程% の subprocess では %n
(=>     (and         (roomAmenity ?ROOM ?SVC)         (subclass ?SVC Process))     (modalAttribute         (exists (?X ?S ?HOTEL ?PROC)             (and                 (instance ?X ?ROOM)                 (element ?X                     (PropertyFn ?HOTEL))                 (agent ?S ?HOTEL)                 (or                     (instance ?S ?SVC)                     (and                         (instance ?PROC ?SVC)                         (subProcess ?S ?PROC)))                 (located ?S ?X))) Possibility))	Hotel.kif 317-332	roomAmenity HotelUnit and 物理 物理 は 工程 の subclass では %n ステートメント エンティティー エンティティー, エンティティー and エンティティー エンティティー は HotelUnit の instance では %n エンティティー は エンティティー の belongings の element %n エンティティー は エンティティー の agent では %n エンティティー は 物理 の instance では %n エンティティー は 物理 の instance では %n エンティティー は エンティティー% の subprocess では %n エンティティー は エンティティー に located して %n には Possibility の modal force が ある
(=>     (and         (subjectiveAttribute ?X Won ?JUDGE)         (instance ?X             (FoodForFn Human)))     (exists (?CONTEST ?AGENT ?PROC)         (and             (contestObject ?CONTEST ?X ?AGENT)             (instance ?PROC Judging)             (agent ?PROC ?JUDGE)             (subProcess ?PROC ?CONTEST))))	Dining.kif 900-909	subjectiveAttribute オブジェクト, Won and AutonomousAgent オブジェクト は FoodForFn 人［人間］ の instance では %n コンテスト AutonomousAgent and 工程 contestObject コンテスト, オブジェクト and AutonomousAgent 工程 は Judging の instance では %n AutonomousAgent は 工程 の agent では %n 工程 は コンテスト% の subprocess では %n
(=>     (attribute ?FOOD CookedAttribute)     (exists (?PROC1 ?PROC2)         (and             (instance ?PROC1 Cooking)             (instance ?PROC2 Heating)             (subProcess ?PROC2 ?PROC1)             (result ?PROC1 ?FOOD))))	Food.kif 37-44	CookedAttribute は オブジェクト の attribute では %n 工程 工程 工程 は 料理 の instance では %n 工程 は 加熱 の instance では %n 工程 は 工程% の subprocess では %n オブジェクト は 工程 の result では %n
(=>     (attribute ?MR HipHopMusic)     (modalAttribute         (exists (?MM ?S)             (and                 (record ?MR ?MM)                 (instance ?S Speaking)                 (subProcess ?S ?MM))) Likely))	Music.kif 727-734	HipHopMusic は オブジェクト の attribute では %n ステートメント エンティティー エンティティー record オブジェクト and エンティティー エンティティー は Speaking の instance では %n エンティティー は エンティティー% の subprocess では %n には Likely の modal force が ある
(=>     (attribute ?X AeronauticalEngineer)     (exists (?SKILL)         (and             (hasSkill ?SKILL ?X)             (forall (?P)                 (=>                     (instance ?P ?SKILL)                     (or                         (exists (?CONS ?OBJ ?PT)                             (and                                 (instance ?CONS Making)                                 (or                                     (instance ?OBJ Aircraft)                                     (and                                         (instance ?OBJ ?PT)                                         (typicalPart ?PT Aircraft)))                                 (result ?CONS ?OBJ)                                 (subProcess ?P ?CONS)))                         (exists (?DESIGN ?PLAN ?OBJ ?PT)                             (and                                 (instance ?DESIGN Designing)                                 (or                                     (instance ?OBJ Aircraft)                                     (and                                         (instance ?OBJ ?PT)                                         (typicalPart ?PT Aircraft)))                                 (result ?DESIGN ?PLAN)                                 (represents ?PLAN ?OBJ)                                 (subProcess ?P ?DESIGN)))))))))	Biography.kif 436-465	AeronauticalEngineer は AutonomousAgent の attribute では %n 工程 AutonomousAgent は 工程 をする skill が %n{ない} 工程 工程 は 工程 の instance では %n 工程 エンティティー and 工程T 工程 は 作る の instance では %n エンティティー は Aircraft の instance では %n エンティティー は 工程T の instance では %n typicalPart 工程T and Aircraft エンティティー は 工程 の result では %n 工程 は 工程% の subprocess では %n 工程 工程LAN, エンティティー and 工程T 工程 は Designing の instance では %n エンティティー は Aircraft の instance では %n エンティティー は 工程T の instance では %n typicalPart 工程T and Aircraft 工程LAN は 工程 の result では %n 工程LAN は エンティティー を expresses %n{ない} 工程 は 工程% の subprocess では %n
(=>     (attribute ?X GamblingIndustries)     (hasPurpose ?X         (exists (?GAME ?BET)             (and                 (instance ?GAME Game)                 (agent ?GAME ?X)                 (instance ?BET Betting)                 (destination ?BET ?X)                 (subProcess ?BET ?GAME)))))	naics.kif 11478-11487	GamblingIndustries は オブジェクト の attribute では %n オブジェクト は エンティティー エンティティー エンティティー は ゲーム の instance では %n オブジェクト は エンティティー の agent では %n エンティティー は 賭け の instance では %n エンティティー は オブジェクト に ends %n{ない} エンティティー は エンティティー% の subprocess では %n の 目的 %n{ない}
(=>     (axis ?AXIS ?OBJ)     (exists (?R)         (and             (instance ?R Rotating)             (part ?AXIS ?OBJ)             (experiencer ?R ?OBJ)             (not                 (exists (?R2)                     (and                         (instance ?R2 Rotating)                         (subProcess ?R2 ?R)                         (experiencer ?R2 ?AXIS)))))))	Mid-level-ontology.kif 17468-17480	axis AutonomousAgent and AutonomousAgent 工程 工程 は Rotating の instance では %n AutonomousAgent は AutonomousAgent の part では %n AutonomousAgent が 工程 を experiences %n{ない} 工程2 工程2 は Rotating の instance では %n 工程2 は 工程% の subprocess では %n AutonomousAgent が 工程2 を experiences %n{ない}
(=>     (contestObject ?CONTEST ?OBJ ?AGENT)     (and         (contestParticipant ?CONTEST ?AGENT)         (exists (?MAKE ?JUDGE ?PROC ?AFTR)             (and                 (instance ?MAKE Making)                 (result ?MAKE ?OBJ)                 (agent ?MAKE ?AGENT)                 (instance ?PROC Judging)                 (agent ?PROC ?JUDGE)                 (patient ?PROC ?OBJ)                 (result ?PROC                     (subjectiveAttribute ?OBJ ?AFTR ?JUDGE))                 (subProcess ?PROC ?CONTEST)))))	Dining.kif 883-896	contestObject コンテスト, オブジェクト and AutonomousAgent contestParticipant コンテスト and AutonomousAgent 工程 AutonomousAgent, 工程 and エンティティー 工程 は 作る の instance では %n オブジェクト は 工程 の result では %n AutonomousAgent は 工程 の agent では %n 工程 は Judging の instance では %n AutonomousAgent は 工程 の agent では %n オブジェクト は 工程 の patient では %n subjectiveAttribute オブジェクト, エンティティー and AutonomousAgent は 工程 の result では %n 工程 は コンテスト% の subprocess では %n
(=>     (dayPhone ?Number ?Agent)     (exists (?Phone ?Hour ?Num)         (and             (phoneNumber ?Number ?Phone)             (greaterThan ?Num 6)             (lessThan ?Num 18)             (holdsDuring                 (instance ?Hour                     (HourFn ?Num Day))                 (exists (?T)                     (and                         (instance ?T Telephoning)                         (destination ?T ?Agent)                         (patient ?T ?Phone)                         (possesses ?Agent ?Phone)                         (modalAttribute                             (exists (?A)                                 (and                                     (instance ?A Answering)                                     (subProcess ?A ?T)                                     (agent ?A ?Agent))) Likely)))))))	FinancialOntology.kif 3691-3711	dayPhone 記号文字列 and AutonomousAgent Telephone エンティティー and 実数 phoneNumber 記号文字列 and Telephone 実数 は 6 より greater では　%n 実数 は 18 より less では %n エンティティー エンティティー は Telephoning の instance では %n エンティティー は AutonomousAgent に ends %n{ない} Telephone は エンティティー の patient では %n AutonomousAgent は Telephone を possesses %n{ない} ステートメント エンティティー エンティティー は Answering の instance では %n エンティティー は エンティティー% の subprocess では %n AutonomousAgent は エンティティー の agent では %n には Likely の modal force が ある は エンティティー は 実数 hour 目 の instance では %n の during holds %n{ない}
(=>     (eveningPhone ?Number ?Agent)     (exists (?Phone ?Hour ?Num)         (and             (phoneNumber ?Number ?Phone)             (greaterThan ?Num 18)             (lessThan ?Num 6)             (holdsDuring                 (instance ?Hour                     (HourFn ?Num Day))                 (exists (?T)                     (and                         (instance ?T Telephoning)                         (destination ?T ?Agent)                         (patient ?T ?Phone)                         (possesses ?Agent ?Phone)                         (modalAttribute                             (exists (?A)                                 (and                                     (instance ?A Answering)                                     (subProcess ?A ?T)                                     (agent ?A ?Agent))) Likely)))))))	FinancialOntology.kif 3735-3755	eveningPhone 記号文字列 and AutonomousAgent Telephone エンティティー and 実数 phoneNumber 記号文字列 and Telephone 実数 は 18 より greater では　%n 実数 は 6 より less では %n エンティティー エンティティー は Telephoning の instance では %n エンティティー は AutonomousAgent に ends %n{ない} Telephone は エンティティー の patient では %n AutonomousAgent は Telephone を possesses %n{ない} ステートメント エンティティー エンティティー は Answering の instance では %n エンティティー は エンティティー% の subprocess では %n AutonomousAgent は エンティティー の agent では %n には Likely の modal force が ある は エンティティー は 実数 hour 目 の instance では %n の during holds %n{ない}
(=>     (eventLocated ?PROCESS ?OBJ)     (forall (?SUB)         (=>             (subProcess ?SUB ?PROCESS)             (eventLocated ?SUB ?OBJ))))	Merge.kif 4127-4132	eventLocated 工程 and オブジェクト 工程 工程 は 工程% の subprocess では %n eventLocated 工程 and オブジェクト
(=>     (eventPartlyLocated ?PROC ?OBJ)     (exists (?SUB)         (and             (subProcess ?SUB ?PROC)             (eventLocated ?SUB ?OBJ))))	Merge.kif 4102-4107	eventPartlyLocated 工程 and オブジェクト 工程 工程 は 工程% の subprocess では %n eventLocated 工程 and オブジェクト
(=>     (instance ?ACT DirectActionActivity)     (exists (?DA)         (and             (instance ?DA DirectAction)             (subProcess ?ACT ?DA))))	MilitaryProcesses.kif 393-398	工程 は DirectActionActivity の instance では %n 工程 工程 は DirectAction の instance では %n 工程 は 工程% の subprocess では %n
(=>     (instance ?ACT DoubleClicking)     (exists (?CLICK1 ?CLICK2)         (and             (subProcess ?ACT ?CLICK1)             (instance ?CLICK1 Clicking)             (subProcess ?ACT ?CLICK2)             (not                 (equal ?CLICK1 ?CLICK2))             (instance ?CLICK2 Clicking))))	ComputerInput.kif 1442-1451	工程 は DoubleClicking の instance では %n 工程 工程 工程 は 工程% の subprocess では %n 工程 は Clicking の instance では %n 工程 は 工程% の subprocess では %n 工程 は 工程 と equal では 工程 は Clicking の instance では %n
(=>     (instance ?ACT ShiftClicking)     (exists (?SHIFT)         (and             (subProcess ?SHIFT ?ACT)             (instance ?SHIFT ShiftKeyHoldDown))))	ComputerInput.kif 1497-1502	工程 は ShiftClicking の instance では %n 工程 工程 は 工程% の subprocess では %n 工程 は ShiftKeyHoldDown の instance では %n
(=>     (instance ?ACTION LegalAction)     (exists (?REGISTER)         (and             (instance ?REGISTER Registering)             (subProcess ?REGISTER ?ACTION))))	Mid-level-ontology.kif 887-892	工程 は 訴訟 の instance では %n 工程 工程 は Registering の instance では %n 工程 は 工程% の subprocess では %n
(=>     (instance ?AGRO Agriculture)     (exists (?GROWTH)         (and             (instance ?GROWTH Growth)             (subProcess ?GROWTH ?AGRO))))	Mid-level-ontology.kif 20843-20848	工程 は Agriculture の instance では %n 工程 工程 は 成長 の instance では %n 工程 は 工程% の subprocess では %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