(=>     (instance ?ARRIVE Arriving)     (exists (?GO)         (and             (instance ?GO Translocation)             (subProcess ?ARRIVE ?GO)             (finishes                 (WhenFn ?ARRIVE)                 (WhenFn ?GO)))))	Mid-level-ontology.kif 17310-17316	工程 は Arriving の instance では %n 工程 工程 は Translocation の instance では %n 工程 は 工程% の subprocess では %n 工程 の time の existence は 工程 の time の existence を finishes %n{ない}
(=>     (instance ?ATTACK Attack)     (exists (?CONTEST)         (and             (instance ?CONTEST ViolentContest)             (subProcess ?ATTACK ?CONTEST))))	Merge.kif 13424-13429	工程 は Attack の instance では %n 工程 工程 は 激しいコンテスト の instance では %n 工程 は 工程% の subprocess では %n
(=>     (instance ?B Bandage)     (hasPurpose ?B         (exists (?TP ?C)             (and                 (instance ?TP TherapeuticProcess)                 (instance ?C Covering)                 (subProcess ?C ?TP)                 (instrument ?C ?B)))))	Mid-level-ontology.kif 5689-5697	物理 は Bandage の instance では %n 物理 は エンティティー エンティティー エンティティー は 治療経過 の instance では %n エンティティー は 覆い の instance では %n エンティティー は エンティティー% の subprocess では %n 物理 は エンティティー の instrument では %n の 目的 %n{ない}
(=>     (instance ?B Baton)     (hasPurpose ?B         (exists (?M ?G)             (and                 (instance ?M MusicalPerformance)                 (instance ?G Guiding)                 (subProcess ?G ?M)                 (instrument ?G ?B)))))	Mid-level-ontology.kif 2853-2861	物理 は Baton の instance では %n 物理 は エンティティー エンティティー エンティティー は MusicalPerformance の instance では %n エンティティー は 案内 の instance では %n エンティティー は エンティティー% の subprocess では %n 物理 は エンティティー の instrument では %n の 目的 %n{ない}
(=>     (instance ?B Blinking)     (exists (?CE ?OE)         (and             (instance ?CE ClosingEyes)             (instance ?OE OpeningEyes)             (subProcess ?CE ?B)             (subProcess ?OE ?B))))	Medicine.kif 452-459	工程 は Blinking の instance では %n 工程 工程 工程 は ClosingEyes の instance では %n 工程 は OpeningEyes の instance では %n 工程 は 工程% の subprocess では %n 工程 は 工程% の subprocess では %n
(=>     (instance ?B Bowling)     (exists (?BALL ?TRANS ?LANE)         (and             (instance ?TRANS Translocation)             (instance ?BALL BowlingBall)             (patient ?TRANS ?BALL)             (instance ?LANE BowlingLane)             (path ?TRANS ?LANE)             (subProcess ?TRANS ?B))))	Sports.kif 1108-1117	工程 は Bowling の instance では %n 工程ALL motion and オブジェクト motion は Translocation の instance では %n 工程ALL は BowlingBall の instance では %n 工程ALL は motion の patient では %n オブジェクト は BowlingLane の instance では %n オブジェクト は motion が 発生する path では %n motion は 工程% の subprocess では %n
(=>     (instance ?B Breath)     (exists (?I ?E)         (and             (subProcess ?I ?B)             (subProcess ?E ?B)             (earlier                 (WhenFn ?I)                 (WhenFn ?E))             (meetsTemporally                 (WhenFn ?I)                 (WhenFn ?E)))))	Mid-level-ontology.kif 10362-10373	工程 は Breath の instance では %n 工程 工程 工程 は 工程% の subprocess では %n 工程 は 工程% の subprocess では %n 工程 の time の existence は 工程 の time の existence より earlier happens %n{ない} 工程 の time の existence は 工程 の time の existence に meets %n{ない}
(=>     (instance ?B Burying)     (exists (?C ?S)         (and             (instance ?C Covering)             (instrument ?C ?S)             (instance ?S Soil)             (subProcess ?C ?B))))	Mid-level-ontology.kif 17997-18004	工程 は Burying の instance では %n 工程 オブジェクト 工程 は 覆い の instance では %n オブジェクト は 工程 の instrument では %n オブジェクト は Soil の instance では %n 工程 は 工程% の subprocess では %n
(=>     (instance ?BALL SoccerBall)     (hasPurpose ?BALL         (exists (?S ?K)             (and                 (instance ?S Soccer)                 (instance ?K Kicking)                 (subProcess ?K ?S)                 (patient ?K ?BALL)))))	Sports.kif 313-321	物理 は SoccerBall の instance では %n 物理 は エンティティー エンティティー エンティティー は Soccer の instance では %n エンティティー は Kicking の instance では %n エンティティー は エンティティー% の subprocess では %n 物理 は エンティティー の patient では %n の 目的 %n{ない}
(=>     (instance ?BATTLE Battle)     (exists (?ATTACK)         (and             (instance ?ATTACK ViolentContest)             (subProcess ?ATTACK ?BATTLE))))	Merge.kif 13387-13392	工程 は 戦い の instance では %n 工程 工程 は 激しいコンテスト の instance では %n 工程 は 工程% の subprocess では %n
(=>     (instance ?BATTLE Battle)     (exists (?WAR)         (and             (instance ?WAR War)             (subProcess ?BATTLE ?WAR))))	Merge.kif 13380-13385	工程 は 戦い の instance では %n 工程 工程 は 戦争 の instance では %n 工程 は 工程% の subprocess では %n
(=>     (instance ?BLIZZARD Blizzard)     (exists (?PROCESS)         (and             (instance ?PROCESS Snowing)             (subProcess ?PROCESS ?BLIZZARD))))	Weather.kif 2616-2621	工程 は Blizzard の instance では %n 工程 工程 は Snowing の instance では %n 工程 は 工程% の subprocess では %n
(=>     (instance ?BOIL Boiling)     (exists (?HEAT)         (and             (instance ?HEAT Heating)             (subProcess ?HEAT ?BOIL))))	Merge.kif 13948-13953	工程 は 沸騰 の instance では %n 工程 工程 は 加熱 の instance では %n 工程 は 工程% の subprocess では %n
(=>     (instance ?BREAK BreakingWave)     (exists (?WAVE ?WATER1 ?WATER2 ?FALL)         (and             (instance ?WAVE WaterWave)             (subProcess ?BREAK ?WAVE)             (instance ?WATER1 BodyOfWater)             (instance ?WATER2 BodyOfWater)             (patient ?WAVE ?WATER2)             (patient ?BREAK ?WATER1)             (instance ?FALL Falling)             (objectTransferred ?FALL ?WATER1)             (holdsDuring                 (BeginFn                     (WhenFn ?FALL))                 (part ?WATER1 ?WATER2))             (holdsDuring                 (EndFn                     (WhenFn ?FALL))                 (not                     (part ?WATER1 ?WATER2))))))	Weather.kif 1349-1369	工程 は BreakingWave の instance では %n 工程 オブジェクト, エンティティー and 移動 工程 は WaterWave の instance では %n 工程 は 工程% の subprocess では %n オブジェクト は BodyOfWater の instance では %n エンティティー は BodyOfWater の instance では %n エンティティー は 工程 の patient では %n オブジェクト は 工程 の patient では %n 移動 は Falling の instance では %n objectTransferred 移動 and オブジェクト オブジェクト は エンティティー の part では %n は 移動 の time の existence の beginning の during holds %n{ない} オブジェクト は エンティティー の part では は 移動 の time の existence の end の during holds %n{ない}
(=>     (instance ?BURIAL Burial)     (exists (?SP)         (and             (instance ?SP Burying)             (subProcess ?SP ?BURIAL))))	Mid-level-ontology.kif 16016-16021	工程 は Burial の instance では %n 工程 工程 は Burying の instance では %n 工程 は 工程% の subprocess では %n
(=>     (instance ?C Correcting)     (exists (?D ?S ?SP ?CP)         (and             (instance ?D Disagreeing)             (subProcess ?C ?D)             (instance ?S Stating)             (subProcess ?S ?D)             (containsInformation ?S ?SP)             (containsInformation ?C ?CP)             (refers ?CP ?SP)             (not                 (consistent ?CP ?SP)))))	Mid-level-ontology.kif 29679-29691	工程 は Correcting の instance では %n 工程 工程, 工程P and 工程P 工程 は Disagreeing の instance では %n 工程 は 工程% の subprocess では %n 工程 は 記載 の instance では %n 工程 は 工程% の subprocess では %n 工程 は 工程P の情報を contains %n{ない} 工程 は 工程P の情報を contains %n{ない} 工程P は 工程P への reference を includes %n{ない} consistent 工程P and 工程P
(=>     (instance ?C Corresponding)     (exists (?M ?T)         (and             (instance ?M Mailing)             (subProcess ?M ?C)             (instance ?T Correspondence)             (patient ?M ?T)             (patient ?C ?T))))	Mid-level-ontology.kif 834-842	工程 は Corresponding の instance では %n 工程 エンティティー 工程 は Mailing の instance では %n 工程 は 工程% の subprocess では %n エンティティー は Correspondence の instance では %n エンティティー は 工程 の patient では %n エンティティー は 工程 の patient では %n
(=>     (instance ?C Crossposting)     (exists (?I ?P1 ?P2 ?D1 ?D2)         (and             (instance ?P1 Posting)             (instance ?P2 Posting)             (containsInformation ?P1 ?I)             (containsInformation ?P1 ?I)             (destination ?P1 ?D1)             (destination ?P2 ?D2)             (not                 (equal ?P1 ?P2))             (not                 (equal ?D1 ?D2))             (subProcess ?P1 ?C)             (subProcess ?P2 ?C))))	ComputingBrands.kif 4643-4658	工程 は Crossposting の instance では %n 命題 工程, 工程, エンティティー and エンティティー 工程 は Posting の instance では %n 工程 は Posting の instance では %n 工程 は 命題 の情報を contains %n{ない} 工程 は 命題 の情報を contains %n{ない} 工程 は エンティティー に ends %n{ない} 工程 は エンティティー に ends %n{ない} 工程 は 工程 と equal では エンティティー は エンティティー と equal では 工程 は 工程% の subprocess では %n 工程 は 工程% の subprocess では %n
(=>     (instance ?C Crushing)     (exists (?I ?C ?O)         (and             (instance ?I Impacting)             (subProcess ?C ?I)             (instance ?C Compressing)             (patient ?I ?O)             (patient ?C ?O)             (instance ?O Object))))	Food.kif 969-978	工程 は Crushing の instance では %n 工程 工程 and エンティティー 工程 は 衝撃 の instance では %n 工程 は 工程% の subprocess では %n 工程 は Compressing の instance では %n エンティティー は 工程 の patient では %n エンティティー は 工程 の patient では %n エンティティー は オブジェクト の instance では %n
(=>     (instance ?C CuringFood)     (exists (?F ?P ?S)         (and             (instance ?F Food)             (patient ?C ?F)             (instance ?P Putting)             (subProcess ?P ?C)             (instance ?S SodiumChloride)             (patient ?P ?S)             (destination ?P ?F))))	Food.kif 84-94	工程 は CuringFood の instance では %n エンティティー 工程 and エンティティー エンティティー は Food の instance では %n エンティティー は 工程 の patient では %n 工程 は 置く の instance では %n 工程 は 工程% の subprocess では %n エンティティー は SodiumChloride の instance では %n エンティティー は 工程 の patient では %n 工程 は エンティティー に ends %n{ない}
(=>     (instance ?CAST DramaticCast)     (exists (?TEXT ?PROP ?PROC)         (and             (instance ?TEXT FictionalText)             (containsInformation ?TEXT ?PROP)             (realization ?PROC ?PROP)             (forall (?MEMBER)                 (=>                     (member ?MEMBER ?CAST)                     (exists (?SUB)                         (and                             (instance ?SUB DramaticActing)                             (agent ?SUB ?MEMBER)                             (subProcess ?SUB ?PROC))))))))	Mid-level-ontology.kif 15966-15980	コレクション は DramaticCast の instance では %n ContentBearingPhysical 命題 and 工程 ContentBearingPhysical は FictionalText の instance では %n ContentBearingPhysical は 命題 の情報を contains %n{ない} 工程 は 命題 の内容を expresses %n{ない} AutonomousAgent AutonomousAgent は コレクション の member では %n 工程 工程 は DramaticActing の instance では %n AutonomousAgent は 工程 の agent では %n 工程 は 工程% の subprocess では %n
(=>     (instance ?CC ChangingClothing)     (exists (?R ?D)         (and             (instance ?R RemovingClothing)             (instance ?D Dressing)             (subProcess ?R ?CC)             (subProcess ?D ?CC))))	Mid-level-ontology.kif 5523-5530	工程 は ChangingClothing の instance では %n 工程 工程 工程 は RemovingClothing の instance では %n 工程 は Dressing の instance では %n 工程 は 工程% の subprocess では %n 工程 は 工程% の subprocess では %n
(=>     (instance ?CHECK CheckInService)     (exists (?AGENT ?CUST ?GREET ?SERVICE)         (and             (customer ?CUST ?AGENT)             (serviceProvider ?CHECK ?AGENT)             (instance ?GREET Greeting)             (agent ?GREET ?CUST)             (destination ?GREET ?AGENT)             (subProcess ?GREET ?CHECK)             (instance ?SERVICE Process)             (agent ?SERVICE ?AGENT)             (causes ?CHECK ?SERVICE))))	Hotel.kif 2154-2166	ServiceProcess は CheckInService の instance では %n 認識エージェント 認識エージェント, 工程 and 工程 customer 認識エージェント and 認識エージェント 認識エージェント は ServiceProcess の間サービスを provides %n{ない} 工程 は Greeting の instance では %n 認識エージェント は 工程 の agent では %n 工程 は 認識エージェント に ends %n{ない} 工程 は ServiceProcess% の subprocess では %n 工程 は 工程 の instance では %n 認識エージェント は 工程 の agent では %n ServiceProcess は 工程 を causes %n{ない}
(=>     (instance ?CHECKOUT Checkout)     (exists (?BUYING)         (and             (instance ?BUYING Buying)             (subProcess ?CHECKOUT ?BUYING)             (not                 (exists (?PROCESS)                     (and                         (subProcess ?PROCESS ?BUYING)                         (earlier                             (WhenFn ?CHECKOUT)                             (WhenFn ?PROCESS))))))))	UXExperimentalTerms.kif 1465-1475	工程 は Checkout の instance では %n 工程 工程 は 購買 の instance では %n 工程 は 工程% の subprocess では %n 工程 工程 は 工程% の subprocess では %n 工程 の time の existence は 工程 の time の existence より earlier happens %n{ない}
(=>     (instance ?CHEW Chewing)     (exists (?EAT)         (and             (instance ?EAT Eating)             (subProcess ?CHEW ?EAT))))	Mid-level-ontology.kif 11565-11570	工程 は Chewing の 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