(=>     (and         (functionRoomAmenity ?FR ?PHY)         (instance ?RM ?FR)         (element ?RM             (PropertyFn ?HOTEL))         (instance ?RENT Renting)         (patient ?RENT ?RM)         (agent ?RENT ?HOTEL)         (destination ?RENT ?CUST)         (subclass ?PHY Object))     (modalAttribute         (exists (?O ?P)             (and                 (instance ?O ?PHY)                 (instance ?P Process)                 (or                     (resource ?P ?O)                     (instrument ?P ?O)                     (patient ?P ?O))                 (or                     (agent ?P ?CUST)                     (experiencer ?P ?CUST)))) Possibility))	Hotel.kif 811-832	functionRoomAmenity HotelFunctionRoom and 物理 エンティティー は HotelFunctionRoom の instance では %n エンティティー は AutonomousAgent の belongings の element %n 工程 は Renting の instance では %n エンティティー は 工程 の patient では %n AutonomousAgent は 工程 の agent では %n 工程 は エンティティー に ends %n{ない} 物理 は オブジェクト の subclass では %n ステートメント エンティティー エンティティー エンティティー は 物理 の instance では %n エンティティー は 工程 の instance では %n エンティティー は エンティティー の resource では %n エンティティー は エンティティー の instrument では %n エンティティー は エンティティー の patient では %n エンティティー は エンティティー の agent では %n エンティティー が エンティティー を experiences %n{ない} には Possibility の modal force が ある
(=>     (and         (holdsDuring ?T             (attribute ?H ChronicFatigueSyndrome))         (instance ?R RecreationOrExercise)         (agent ?R ?H)         (during             (WhenFn ?R) ?T))     (modalAttribute         (and             (holdsDuring ?T2                 (attribute ?H PostExertionalMalaise))             (earlier                 (WhenFn ?R) ?T2)) Likely))	Medicine.kif 1500-1512	ChronicFatigueSyndrome は AutonomousAgent の attribute では %n は 時間間隔 の during holds %n{ない} 工程 は レクリエーションまたは運動 の instance では %n AutonomousAgent は 工程 の agent では %n 工程 の time の existence は 時間間隔 の during に takes %n{ない} ステートメント PostExertionalMalaise は AutonomousAgent の attribute では %n は 時間間隔2 の during holds %n{ない} 工程 の time の existence は 時間間隔2 より earlier happens %n{ない} には Likely の modal force が ある
(=>     (and         (holdsDuring ?T             (desires ?M                 (attribute ?V Dead)))         (instance ?MURDER Murder)         (agent ?MURDER ?M)         (patient ?MURDER ?V)         (earlier ?T             (WhenFn ?MURDER)))     (attribute ?MURDER Premeditated))	Law.kif 480-489	AutonomousAgent が Dead は エンティティー の attribute では %n を desires %n{ない} は 時間間隔 の during holds %n{ない} AutonomousAgentURDER は Murder の instance では %n AutonomousAgent は AutonomousAgentURDER の agent では %n エンティティー は AutonomousAgentURDER の patient では %n 時間間隔 は AutonomousAgentURDER の time の existence より earlier happens %n{ない} Premeditated は AutonomousAgentURDER の attribute では %n
(=>     (and         (holdsDuring ?T1             (attribute ?H Dieting))         (holdsDuring ?T2             (not                 (attribute ?H Dieting)))         (instance ?M1 Meal)         (instance ?E1 Eating)         (agent ?E1 ?H)         (resource ?E1 ?M1)         (during             (WhenFn ?E1) ?T1)         (measure ?M1             (MeasureFn ?C1 Calorie))         (instance ?M2 Meal)         (instance ?E2 Eating)         (agent ?E2 ?H)         (resource ?E2 ?M2)         (during             (WhenFn ?E2) ?T2)         (measure ?M2             (MeasureFn ?C2 Calorie)))     (modalAttribute         (greaterThan ?C2 ?C1) Likely))	Mid-level-ontology.kif 30650-30671	Dieting は AutonomousAgent の attribute では %n は 時間間隔 の during holds %n{ない} Dieting は AutonomousAgent の attribute では は 時間間隔 の during holds %n{ない} オブジェクト は Meal の instance では %n 工程 は 摂食 の instance では %n AutonomousAgent は 工程 の agent では %n オブジェクト は 工程 の resource では %n 工程 の time の existence は 時間間隔 の during に takes %n{ない} オブジェクト の measure は 実数 の Calorie(s) では %n オブジェクト は Meal の instance では %n 工程 は 摂食 の instance では %n AutonomousAgent は 工程 の agent では %n オブジェクト は 工程 の resource では %n 工程 の time の existence は 時間間隔 の during に takes %n{ない} オブジェクト の measure は 実数 の Calorie(s) では %n ステートメント 実数 は 実数 より greater では　%n には Likely の modal force が ある
(=>     (and         (instance ?A Antacid)         (instance ?I Ingesting)         (agent ?I ?H)         (moves ?I ?A)         (instance ?S Stomach)         (part ?S ?H)         (holdsDuring             (ImmediatePastFn                 (WhenFn ?I))             (and                 (contains ?S ?F1)                 (instance ?F1 Fluid)))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?I))             (and                 (contains ?S ?F2)                 (instance ?F2 Fluid)))         (phMeasure ?F1 ?N1)         (phMeasure ?F2 ?N2))     (greaterThan ?N2 ?N1))	Mid-level-ontology.kif 9838-9860	オブジェクト は Antacid の instance では %n motion は 摂取 の instance では %n AutonomousAgent は motion の agent では %n moves motion and オブジェクト オブジェクト は Stomach の instance では %n オブジェクト は AutonomousAgent の part では %n オブジェクト は オブジェクト を contains %n{ない} オブジェクト は Fluid の instance では %n は motion の time の existence の immediately before の during holds %n{ない} オブジェクト は オブジェクト を contains %n{ない} オブジェクト は Fluid の instance では %n は motion の time の existence の すぐ after の during holds %n{ない} phMeasure オブジェクト and 実数 phMeasure オブジェクト and 実数 実数 は 実数 より greater では　%n
(=>     (and         (instance ?A Apologizing)         (agent ?A ?AG)         (destination ?A ?P))     (exists (?ACT)         (and             (suffers ?ACT ?P)             (agent ?ACT ?AG)             (holdsDuring                 (WhenFn ?A)                 (not                     (wants ?AG ?ACT))))))	Mid-level-ontology.kif 29608-29620	工程 は Apologizing の instance では %n 工程G は 工程 の agent では %n 工程 は AutonomousAgent に ends %n{ない} 工程CT suffers 工程CT and AutonomousAgent 工程G は 工程CT の agent では %n 工程G は 工程CT を want ない は 工程 の time の existence の during holds %n{ない}
(=>     (and         (instance ?A Biped)         (instance ?W Ambulating)         (agent ?W ?A))     (modalAttribute         (exists (?L1 ?L2)             (and                 (instance ?L1 Leg)                 (instance ?L2 Leg)                 (part ?L1 ?A)                 (part ?L2 ?A)                 (instrument ?W ?L1)                 (instrument ?W ?L2))) Likely))	Mid-level-ontology.kif 4411-4425	AutonomousAgent は Biped の instance では %n 工程 は Ambulating の instance では %n AutonomousAgent は 工程 の agent では %n ステートメント エンティティー エンティティー エンティティー は Leg の instance では %n エンティティー は Leg の instance では %n エンティティー は AutonomousAgent の part では %n エンティティー は AutonomousAgent の part では %n エンティティー は 工程 の instrument では %n エンティティー は 工程 の instrument では %n には Likely の modal force が ある
(=>     (and         (instance ?A Herbivore)         (agent ?E ?A)         (instance ?E Eating)         (patient ?E ?F))     (instance ?F Plant))	Mid-level-ontology.kif 20065-20071	AutonomousAgent は Herbivore の instance では %n AutonomousAgent は 工程 の agent では %n 工程 は 摂食 の instance では %n エンティティー は 工程 の patient では %n エンティティー は 植物 の instance では %n
(=>     (and         (instance ?A ProtonPumpInhibitor)         (instance ?I Ingesting)         (agent ?I ?H)         (moves ?I ?A)         (instance ?S Stomach)         (part ?S ?H)         (holdsDuring             (ImmediatePastFn                 (WhenFn ?I))             (and                 (contains ?S ?F1)                 (instance ?F1 Fluid)))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?I))             (and                 (contains ?S ?F2)                 (instance ?F2 Fluid)))         (phMeasure ?F1 ?N1)         (phMeasure ?F2 ?N2))     (greaterThan ?N2 ?N1))	Mid-level-ontology.kif 9899-9921	オブジェクト は ProtonPumpInhibitor の instance では %n motion は 摂取 の instance では %n AutonomousAgent は motion の agent では %n moves motion and オブジェクト オブジェクト は Stomach の instance では %n オブジェクト は AutonomousAgent の part では %n オブジェクト は オブジェクト を contains %n{ない} オブジェクト は Fluid の instance では %n は motion の time の existence の immediately before の during holds %n{ない} オブジェクト は オブジェクト を contains %n{ない} オブジェクト は Fluid の instance では %n は motion の time の existence の すぐ after の during holds %n{ない} phMeasure オブジェクト and 実数 phMeasure オブジェクト and 実数 実数 は 実数 より greater では　%n
(=>     (and         (instance ?ABORTED             (AbortedMissionFn ?A ?MISSION))         (causes ?ACTION ?ABORTED)         (agent ?ACTION ?OTHER_A)         (agent ?MISSION ?THIS_A))     (not         (enemy ?OTHER_A ?THIS_A)))	MilitaryProcesses.kif 2440-2445	工程 は AbortedMissionFn AutonomousAgent and MilitaryOperation の instance では %n AutonomousAgentCTION は 工程 を causes %n{ない} エンティティー_A は AutonomousAgentCTION の agent では %n エンティティー_A は MilitaryOperation の agent では %n enemy エンティティー_A and エンティティー_A
(=>     (and         (instance ?ACCELERATE Accelerating)         (agent ?ACCELERATE ?AGENT))     (exists (?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)         (and             (holdsDuring                 (BeginFn                     (WhenFn ?ACCELERATE))                 (measure ?AGENT                     (SpeedFn                         (MeasureFn ?LENGTH1 ?U1)                         (MeasureFn ?TIME1 ?U2))))             (holdsDuring                 (EndFn                     (WhenFn ?ACCELERATE))                 (measure ?AGENT                     (SpeedFn                         (MeasureFn ?LENGTH2 ?U1)                         (MeasureFn ?TIME2 ?U2))))             (or                 (greaterThan ?LENGTH2 ?LENGTH1)                 (greaterThan ?TIME2 ?TIME1)))))	Mid-level-ontology.kif 17142-17163	工程 は Accelerating の instance では %n AutonomousAgent は 工程 の agent では %n 実数 実数, 実数, 実数, エンティティー and エンティティー AutonomousAgent の measure は 実数 の エンティティー(s) per 実数 の エンティティー(s) では %n は 工程 の time の existence の beginning の during holds %n{ない} AutonomousAgent の measure は 実数 の エンティティー(s) per 実数 の エンティティー(s) では %n は 工程 の time の existence の end の during holds %n{ない} 実数 は 実数 より greater では　%n 実数 は 実数 より greater では　%n
(=>     (and         (instance ?ACCESSING AccessingWebPage)         (instance ?PAGE WebPage)         (instance ?TRANSFER DataTransfer)         (instance ?SERVER Server)         (instance ?REQUESTING Requesting)         (instance ?BROWSER WebBrowser)         (instance ?INTERVAL TimeInterval)         (patient ?ACCESSING ?PAGE)         (agent ?REQUESTING ?BROWSER)         (destination ?REQUESTING ?SERVER)         (patient ?REQUESTING ?PAGE)         (origin ?TRANSFER ?SERVER)         (destination ?TRANSFER ?BROWSER)         (patient ?TRANSFER ?PAGE)         (subProcess ?TRANSFER ?ACCESSING)         (subProcess ?REQUESTING ?ACCESSING)         (equal             (EndFn                 (WhenFn ?REQUESTING))             (BeginFn ?INTERVAL))         (equal             (EndFn                 (WhenFn ?TRANSFER))             (EndFn ?INTERVAL)))     (equal         (SiteSpeedFn ?ACCESSING) ?INTERVAL))	UXExperimentalTerms.kif 3759-3784	AccessingWebPage は AccessingWebPage の instance では %n エンティティー は WebPage の instance では %n 工程 は DataTransfer の instance では %n オブジェクト は Server の instance では %n 工程 は 要求 の instance では %n AutonomousAgent は WebBrowser の instance では %n 時間間隔 は 時間間隔 の instance では %n エンティティー は AccessingWebPage の patient では %n AutonomousAgent は 工程 の agent では %n 工程 は オブジェクト に ends %n{ない} エンティティー は 工程 の patient では %n 工程 は オブジェクト から originates %n{ない} 工程 は AutonomousAgent に ends %n{ない} エンティティー は 工程 の patient では %n 工程 は AccessingWebPage% の subprocess では %n 工程 は AccessingWebPage% の subprocess では %n 工程 の time の existence の end は 時間間隔 の beginning と equal では %n 工程 の time の existence の end は 時間間隔 の end と equal では %n SiteSpeedFn AccessingWebPage は 時間間隔 と equal では %n
(=>     (and         (instance ?ACT OrganizationalProcess)         (agent ?ACT ?AGENT))     (or         (instance ?AGENT Organization)         (exists (?ORG)             (and                 (instance ?ORG Organization)                 (member ?AGENT ?ORG)))))	Merge.kif 10562-10571	工程 は 組織プロセス の instance では %n AutonomousAgent は 工程 の agent では %n AutonomousAgent は 組織 の instance では %n コレクション コレクション は 組織 の instance では %n AutonomousAgent は コレクション の member では %n
(=>     (and         (instance ?ACT ReligiousProcess)         (agent ?ACT ?AGENT))     (or         (instance ?AGENT ReligiousOrganization)         (exists (?ORG)             (and                 (member ?AGENT ?ORG)                 (instance ?ORG ReligiousOrganization)))))	Merge.kif 10584-10593	工程 は 宗教的プロセス の instance では %n AutonomousAgent は 工程 の agent では %n AutonomousAgent は 宗教団体 の instance では %n コレクション AutonomousAgent は コレクション の member では %n コレクション は 宗教団体 の instance では %n
(=>     (and         (instance ?AMBULATE Ambulating)         (agent ?AMBULATE ?AGENT))     (attribute ?AGENT Standing))	Merge.kif 18085-18089	工程 は Ambulating の instance では %n AutonomousAgent は 工程 の agent では %n Standing は AutonomousAgent の attribute では %n
(=>     (and         (instance ?AMBULATE Ambulating)         (instance ?STEP Stepping)         (subProcess ?STEP ?AMBULATE)         (agent ?AMBULATE ?AGENT))     (agent ?STEP ?AGENT))	Mid-level-ontology.kif 516-522	工程 は Ambulating の instance では %n 工程 は Stepping の instance では %n 工程 は 工程% の subprocess では %n AutonomousAgent は 工程 の agent では %n AutonomousAgent は 工程 の agent では %n
(=>     (and         (instance ?AMBULATE Ambulating)         (instance ?STEP Stepping)         (subProcess ?STEP ?AMBULATE)         (agent ?STEP ?AGENT))     (agent ?AMBULATE ?AGENT))	Mid-level-ontology.kif 524-530	工程 は Ambulating の instance では %n 工程 は Stepping の instance では %n 工程 は 工程% の subprocess では %n AutonomousAgent は 工程 の agent では %n AutonomousAgent は 工程 の agent では %n
(=>     (and         (instance ?AMBUSH Ambush)         (agent ?AMBUSH ?AG))     (exists (?C)         (and             (instance ?C Concealing)             (subProcess ?C ?AMBUSH)             (hasPurpose ?C                 (exists (?ATTACK)                     (and                         (instance ?ATTACK Attack)                         (agent ?ATTACK ?AG)))))))	Mid-level-ontology.kif 21756-21768	工程 は Ambush の instance では %n AutonomousAgent は 工程 の agent では %n 工程 工程 は Concealing の instance では %n 工程 は 工程% の subprocess では %n 工程 は エンティティー エンティティー は Attack の instance では %n AutonomousAgent は エンティティー の agent では %n の 目的 %n{ない}
(=>     (and         (instance ?APR AirPhotographicReconnaissance)         (agent ?APR ?AGENT)         (patient ?APR ?HOSTILE))     (exists (?PHOTOGRAPHING)         (and             (instance ?PHOTOGRAPHING Photographing)             (subProcess ?PHOTOGRAPHING ?APR)             (agent ?PHOTOGRAPHING ?AGENT)             (patient ?PHOTOGRAPHING ?HOSTILE))))	MilitaryProcesses.kif 753-763	工程 は AirPhotographicReconnaissance の instance では %n AutonomousAgent は 工程 の agent では %n エンティティー は 工程 の patient では %n 工程 工程 は Photographing の instance では %n 工程 は 工程% の subprocess では %n AutonomousAgent は 工程 の agent では %n エンティティー は 工程 の patient では %n
(=>     (and         (instance ?AR AmphibiousReconnaissance)         (agent ?AR ?AGENT))     (exists (?LANDING)         (and             (subProcess ?LANDING ?AR)             (instance ?LANDING LandingWaterLand)             (agent ?LANDING ?AGENT))))	MilitaryProcesses.kif 782-790	工程 は AmphibiousReconnaissance の instance では %n AutonomousAgent は 工程 の agent では %n 工程 工程 は 工程% の subprocess では %n 工程 は LandingWaterLand の instance では %n AutonomousAgent は 工程 の agent では %n
(=>     (and         (instance ?AR ArmedReconnaissance)         (agent ?AR ?AGENT)         (patient ?AR ?HOSTILE)         (holdsDuring             (WhenFn ?AR)             (enemy ?AGENT ?HOSTILE)))     (confersRight         (exists (?ATTACK)             (and                 (instance ?ATTACK Attack)                 (agent ?ATTACK ?AGENT)                 (patient ?ATTACK ?HOSTILE))) ?AR ?AGENT))	MilitaryProcesses.kif 89-103	工程 は ArmedReconnaissance の instance では %n 認識エージェント は 工程 の agent では %n エンティティー は 工程 の patient では %n enemy 認識エージェント and エンティティー は 工程 の time の existence の during holds %n{ない} 工程 は 認識エージェント が エンティティー エンティティー は Attack の instance では %n 認識エージェント は エンティティー の agent では %n エンティティー は エンティティー の patient では %n のタスクを実行することはを allows %n{ない}
(=>     (and         (instance ?ARREST PlacingUnderArrest)         (agent ?ARREST ?AGENT))     (instance ?AGENT CognitiveAgent))	Mid-level-ontology.kif 23481-23485	工程 は PlacingUnderArrest の instance では %n AutonomousAgent は 工程 の agent では %n AutonomousAgent は 認識エージェント の instance では %n
(=>     (and         (instance ?ATC AddToCart)         (instance ?OBJ Object)         (patient ?ATC ?OBJ)         (agent ?ATC ?USER))     (exists (?COLL ?SITE ?AFTER ?INTERVAL)         (and             (instance ?COLL Collection)             (instance ?SITE WebSite)             (instance ?INTERVAL TimeInterval)             (webcart ?USER ?COLL ?SITE)             (equal                 (BeginFn ?INTERVAL)                 (EndFn ?ATC))             (holdsDuring ?AFTER                 (member ?OBJ ?COLL)))))	UXExperimentalTerms.kif 1326-1342	時間間隔 は AddToCart の instance では %n エンティティー は オブジェクト の instance では %n エンティティー は 時間間隔 の patient では %n AutonomousAgent は 時間間隔 の agent では %n コレクション WebSite, 時間位置 and 時間間隔 コレクション は コレクション の instance では %n WebSite は WebSite の instance では %n 時間間隔 は 時間間隔 の instance では %n webcart AutonomousAgent, コレクション and WebSite 時間間隔 の beginning は 時間間隔 の end と equal では %n エンティティー は コレクション の member では %n は 時間位置 の during holds %n{ない}
(=>     (and         (instance ?ATC AddToCart)         (instance ?USER AutonomousAgent)         (instance ?OBJ Object)         (agent ?ATC ?USER)         (patient ?ATC ?OBJ))     (desires ?USER         (exists (?BUYING)             (and                 (instance ?BUYING Buying)                 (patient ?BUYING ?OBJ)                 (agent ?BUYING ?USER)))))	UXExperimentalTerms.kif 1312-1324	工程 は AddToCart の instance では %n 認識エージェント は AutonomousAgent の instance では %n エンティティー は オブジェクト の instance では %n 認識エージェント は 工程 の agent では %n エンティティー は 工程 の patient では %n 認識エージェント が エンティティー エンティティー は 購買 の instance では %n エンティティー は エンティティー の patient では %n 認識エージェント は エンティティー の agent では %n を desires %n{ない}
(=>     (and         (instance ?ATTACK Attack)         (agent ?ATTACK ?AGENT)         (patient ?ATTACK ?OBJ))     (hasPurposeForAgent ?ATTACK         (exists (?DAMAGE)             (and                 (instance ?DAMAGE Damaging)                 (patient ?DAMAGE ?OBJ))) ?AGENT))	Merge.kif 13431-13440	工程 は Attack の instance では %n AutonomousAgent は 工程 の agent では %n エンティティー は 工程 の patient では %n 工程 は AutonomousAgent の 目的 エンティティー エンティティー は 損害を与える の instance では %n エンティティー は エンティティー の patient では %n %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