(=>     (instance ?INVOICE Invoice)     (exists (?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT)         (and             (uniqueIdentifier ?NUMBER ?INVOICE)             (buys ?BUYER ?SELLER ?ENT)             (confersRight                 (exists (?SELLING)                     (and                         (before                             (BeginFn                                 (WhenFn ?INVOICE))                             (BeginFn                                 (WhenFn ?SELLING)))                         (instance ?SELLING Selling)                         (instance ?PRODUCT Product)                         (objectTransferred ?SELLING ?PRODUCT)                         (refers ?INVOICE ?PRODUCT)                         (agent ?SELLING ?SELLER)                         (patient ?SELLING ?BUYER))) ?SELLER ?BUYER))))	Mid-level-ontology.kif 29856-29876	エンティティー は Invoice の instance では %n 記号文字列 認識エージェント, AutonomousAgent, エンティティー and エンティティー 記号文字列 の unique の識別子は エンティティー では %n buys 認識エージェント, AutonomousAgent and エンティティー AutonomousAgent は 認識エージェント が エンティティー エンティティー の time の existence の beginning は エンティティー の time の existence の beginning の before に happens %n{ない} エンティティー は 販売 の instance では %n エンティティー は 製品 の instance では %n objectTransferred エンティティー and エンティティー エンティティー は エンティティー への reference を includes %n{ない} AutonomousAgent は エンティティー の agent では %n 認識エージェント は エンティティー の patient では %n のタスクを実行することはを allows %n{ない}
(=>     (instance ?LP Lubricating)     (exists (?L)         (and             (instance ?L Lubricant)             (objectTransferred ?LP ?L))))	Cars.kif 3005-3010	移動 は Lubricating の instance では %n オブジェクト オブジェクト は Lubricant の instance では %n objectTransferred 移動 and オブジェクト
(=>     (instance ?N Needle)     (hasPurpose ?N         (exists (?H ?TP ?F ?RI)             (and                 (instance ?H Animal)                 (instance ?TP TherapeuticProcss)                 (attribute ?F Fluid)                 (patient ?TP ?H)                 (instrument ?TP ?N)                 (or                     (instance ?RI Removing)                     (instance ?RI Inserting))                 (subProcess ?RI ?TP)                 (objectTransferred ?RI ?F)))))	Medicine.kif 924-938	物理 は Needle の instance では %n 物理 は エンティティー エンティティー, エンティティー and エンティティー エンティティー は 動物 の instance では %n エンティティー は TherapeuticProcss の instance では %n Fluid は エンティティー の attribute では %n エンティティー は エンティティー の patient では %n 物理 は エンティティー の instrument では %n エンティティー は 除却 の instance では %n エンティティー は Inserting の instance では %n エンティティー は エンティティー% の subprocess では %n objectTransferred エンティティー and エンティティー の 目的 %n{ない}
(=>     (instance ?OT OrganTransplant)     (exists (?H ?O ?P)         (and             (instance ?H Animal)             (instance ?O Organ)             (instance ?P Putting)             (subProcess ?P ?OT)             (objectTransferred ?P ?O)             (destination ?P ?H))))	Medicine.kif 4642-4651	工程 は OrganTransplant の instance では %n エンティティー オブジェクト and 移動 エンティティー は 動物 の instance では %n オブジェクト は 臓器 の instance では %n 移動 は 置く の instance では %n 移動 は 工程% の subprocess では %n objectTransferred 移動 and オブジェクト 移動 は エンティティー に ends %n{ない}
(=>     (instance ?P Pedialyte)     (hasPurpose ?P         (exists (?C ?D ?V ?DR)             (and                 (instance ?C HumanChild)                 (instance ?D Diarrhea)                 (instance ?V Vomiting)                 (or                     (and                         (experiencer ?D ?C)                         (earlier                             (WhenFn ?D)                             (WhenFn ?DR)))                     (and                         (experiencer ?V ?C)                         (earlier                             (WhenFn ?V)                             (WhenFn ?DR))))                 (instance ?DR Drinking)                 (agent ?DR ?C)                 (objectTransferred ?DR ?P)))))	Medicine.kif 4816-4833	物理 は Pedialyte の instance では %n 物理 は エンティティー エンティティー, エンティティー and エンティティーR エンティティー は HumanChild の instance では %n エンティティー は Diarrhea の instance では %n エンティティー は Vomiting の instance では %n エンティティー が エンティティー を experiences %n{ない} エンティティー の time の existence は エンティティーR の time の existence より earlier happens %n{ない} エンティティー が エンティティー を experiences %n{ない} エンティティー の time の existence は エンティティーR の time の existence より earlier happens %n{ない} エンティティーR は 飲酒 の instance では %n エンティティー は エンティティーR の agent では %n objectTransferred エンティティーR and 物理 の 目的 %n{ない}
(=>     (instance ?P Pill)     (hasPurpose ?P         (exists (?A ?I)             (and                 (instance ?A Animal)                 (instance ?I Ingesting)                 (experiencer ?I ?A)                 (objectTransferred ?I ?P)))))	Mid-level-ontology.kif 9254-9262	物理 は Pill の instance では %n 物理 は エンティティー エンティティー エンティティー は 動物 の instance では %n エンティティー は 摂取 の instance では %n エンティティー が エンティティー を experiences %n{ない} objectTransferred エンティティー and 物理 の 目的 %n{ない}
(=>     (instance ?PCVV PositiveCrankcaseVentilationValve)     (hasPurpose ?PCVV         (exists (?CR ?F ?CC ?T ?A)             (and                 (instance ?CR Crankcase)                 (instance ?F Fuel)                 (instance ?CC CombustionChamber)                 (instance ?T Transfer)                 (instance ?A Automobile)                 (part ?CR ?A)                 (part ?CC ?A)                 (part ?PCVV ?A)                 (origin ?T ?CR)                 (destination ?T ?CC)                 (objectTransferred ?T ?F)                 (path ?T ?PCVV)))))	Cars.kif 3826-3842	物理 は PositiveCrankcaseVentilationValve の instance では %n 物理 は エンティティー エンティティー, エンティティー, エンティティー and エンティティー エンティティー は Crankcase の instance では %n エンティティー は Fuel の instance では %n エンティティー は CombustionChamber の instance では %n エンティティー は 移動 の instance では %n エンティティー は Automobile の instance では %n エンティティー は エンティティー の part では %n エンティティー は エンティティー の part では %n 物理 は エンティティー の part では %n エンティティー は エンティティー から originates %n{ない} エンティティー は エンティティー に ends %n{ない} objectTransferred エンティティー and エンティティー 物理 は エンティティー が 発生する path では %n の 目的 %n{ない}
(=>     (instance ?PO PurchaseOrder)     (exists (?NUMBER ?BUYER ?SELLER ?PRODUCT)         (and             (uniqueIdentifier ?NUMBER ?PO)             (buys ?BUYER ?SELLER ?PRODUCT)             (confersObligation                 (exists (?BUYING)                     (and                         (before                             (BeginFn                                 (WhenFn ?PO))                             (BeginFn                                 (WhenFn ?BUYING)))                         (instance ?BUYING Buying)                         (instance ?PRODUCT Product)                         (objectTransferred ?BUYING ?PRODUCT)                         (refers ?PO ?PRODUCT)                         (agent ?BUYING ?BUYER)                         (patient ?BUYING ?SELLER))) ?BUYER ?SELLER))))	Mid-level-ontology.kif 29883-29903	エンティティー は PurchaseOrder の instance では %n 記号文字列 認識エージェント, 認識エージェント and エンティティー 記号文字列 の unique の識別子は エンティティー では %n buys 認識エージェント, 認識エージェント and エンティティー 認識エージェント は 認識エージェント にタイプ エンティティー エンティティー の time の existence の beginning は エンティティー の time の existence の beginning の before に happens %n{ない} エンティティー は 購買 の instance では %n エンティティー は 製品 の instance では %n objectTransferred エンティティー and エンティティー エンティティー は エンティティー への reference を includes %n{ない} 認識エージェント は エンティティー の agent では %n 認識エージェント は エンティティー の patient では %n のタスクを実行する obligates %n{ない}
(=>     (instance ?PROC Defecation)     (exists (?FECES)         (and             (instance ?FECES Feces)             (objectTransferred ?PROC ?FECES))))	Mid-level-ontology.kif 2146-2151	移動 は Defecation の instance では %n オブジェクト オブジェクト は Feces の instance では %n objectTransferred 移動 and オブジェクト
(=>     (instance ?PROC Urination)     (exists (?URINE)         (and             (instance ?URINE Urine)             (objectTransferred ?PROC ?URINE))))	Mid-level-ontology.kif 2134-2139	移動 は Urination の instance では %n オブジェクト オブジェクト は Urine の instance では %n objectTransferred 移動 and オブジェクト
(=>     (instance ?PROCESS Raining)     (exists (?RAIN)         (and             (instance ?RAIN Rain)             (objectTransferred ?PROCESS ?RAIN))))	Weather.kif 2961-2966	移動 は Raining の instance では %n オブジェクト オブジェクト は Rain の instance では %n objectTransferred 移動 and オブジェクト
(=>     (instance ?PROCESS Sleeting)     (exists (?STUFF ?R ?S ?MELT)         (and             (instance ?STUFF Collection)             (objectTransferred ?PROCESS ?STUFF)             (instance ?R Raindrop)             (instance ?S Snowflake)             (member ?R ?STUFF)             (member ?S ?STUFF)             (instance ?MELT Melting)             (subProcess ?MELT ?PROCESS)             (patient ?MELT ?S))))	Weather.kif 1154-1166	移動 は Sleeting の instance では %n コレクション 物理, 物理 and 工程 コレクション は コレクション の instance では %n objectTransferred 移動 and コレクション 物理 は Raindrop の instance では %n 物理 は Snowflake の instance では %n 物理 は コレクション の member では %n 物理 は コレクション の member では %n 工程 は 溶融 の instance では %n 工程 は 移動% の subprocess では %n 物理 は 工程 の patient では %n
(=>     (instance ?PROCESS Snowing)     (exists (?SNOW)         (and             (instance ?SNOW Snow)             (objectTransferred ?PROCESS ?SNOW))))	Weather.kif 2993-2998	移動 は Snowing の instance では %n オブジェクト オブジェクト は Snow の instance では %n objectTransferred 移動 and オブジェクト
(=>     (instance ?RAIN Raining)     (exists (?CLTN ?R ?CLASS)         (and             (instance ?CLTN Collection)             (instance ?R Water)             (instance ?R LiquidDrop)             (instance ?R ?CLASS                 (member ?R ?CLTN)                 (objectTransferred ?RAIN ?CLTN)                 (defaultMinimumSphereRadius ?CLASS                     (MeasureFn 0.1 Millimeter))                 (defaultMaximumSphereRadius ?CLASS                     (MeasureFn 9.0 Millimeter))))))	Weather.kif 1053-1066	エンティティー は Raining の instance では %n エンティティー エンティティー and クラス エンティティー は コレクション の instance では %n エンティティー は 水 の instance では %n エンティティー は LiquidDrop の instance では %n エンティティー は クラス の instance では %n
(=>     (instance ?ROOT PlantRoot)     (hasPurpose ?ROOT         (exists (?TRAN ?STUFF ?HOST)             (and                 (instance ?TRAN Transfer)                 (instrument ?TRAN ?ROOT)                 (origin ?TRAN ?HOST)                 (orientation ?HOST ?ROOT Outside)                 (objectTransferred ?TRAN ?STUFF)                 (or                     (instance ?STUFF FreshWater)                     (instance ?STUFF Nutrient))))))	Mid-level-ontology.kif 9506-9518	物理 は PlantRoot の instance では %n 物理 は エンティティー エンティティー and エンティティー エンティティー は 移動 の instance では %n 物理 は エンティティー の instrument では %n エンティティー は エンティティー から originates %n{ない} エンティティー は Outside 対 物理 では %n objectTransferred エンティティー and エンティティー エンティティー は FreshWater の instance では %n エンティティー は 栄養素［栄養物］ の instance では %n の 目的 %n{ない}
(=>     (instance ?S MilitarySurplus)     (exists (?A ?B)         (and             (instance ?B Buying)             (patient ?B ?A)             (objectTransferred ?B ?S)             (not                 (instance ?A MilitaryOrganization))             (not                 (member ?A MilitaryOrganization)))))	Mid-level-ontology.kif 8405-8415	オブジェクト は MilitarySurplus の instance では %n 物理 移動 移動 は 購買 の instance では %n 物理 は 移動 の patient では %n objectTransferred 移動 and オブジェクト 物理 は MilitaryOrganization の instance では 物理 は MilitaryOrganization の member では
(=>     (instance ?S Supercharger)     (hasPurpose ?S         (exists (?T ?IV ?A)             (and                 (instance ?T GasMotion)                 (origin ?T ?S)                 (instance ?IV IntakeValve)                 (destination ?T ?IV)                 (instance ?A Air)                 (objectTransferred ?T ?A)                 (holdsDuring                     (WhenFn ?T)                     (attribute ?A Pressurized))))))	Cars.kif 5200-5212	物理 は Supercharger の instance では %n 物理 は エンティティー エンティティー and エンティティー エンティティー は GasMotion の instance では %n エンティティー は 物理 から originates %n{ない} エンティティー は IntakeValve の instance では %n エンティティー は エンティティー に ends %n{ない} エンティティー は Air の instance では %n objectTransferred エンティティー and エンティティー Pressurized は エンティティー の attribute では %n は エンティティー の time の existence の during holds %n{ない} の 目的 %n{ない}
(=>     (instance ?SE ShrapnelExplosion)     (exists (?M ?T)         (and             (instance ?M Metal)             (instance ?T Translocation)             (causes ?SE ?T)             (objectTransferred ?T ?M))))	Medicine.kif 6281-6288	工程 は ShrapnelExplosion の instance では %n オブジェクト 移動 オブジェクト は 金属 の instance では %n 移動 は Translocation の instance では %n 工程 は 移動 を causes %n{ない} objectTransferred 移動 and オブジェクト
(=>     (instance ?SNOW Snowing)     (exists (?CLTN ?I)         (and             (instance ?CLTN Collection)             (instance ?I Ice)             (attribute ?I MonoCrystalline)             (member ?I ?CLTN)             (objectTransferred ?SNOW ?CLTN))))	Weather.kif 1137-1145	移動 は Snowing の instance では %n コレクション オブジェクト コレクション は コレクション の instance では %n オブジェクト は Ice の instance では %n MonoCrystalline は オブジェクト の attribute では %n オブジェクト は コレクション の member では %n objectTransferred 移動 and コレクション
(=>     (instance ?SS SandStorm)     (exists (?SAND)         (and             (instance ?SAND Sand)             (objectTransferred ?SS ?SAND))))	Weather.kif 1299-1304	移動 は SandStorm の instance では %n オブジェクト オブジェクト は Sand の instance では %n objectTransferred 移動 and オブジェクト
(=>     (instance ?STEM PlantStem)     (hasPurpose ?STEM         (exists (?TRAN ?ROOT ?SUB)             (and                 (instance ?TRAN Transfer)                 (instrument ?TRAN ?STEM)                 (instance ?ROOT PlantRoot)                 (origin ?TRAN ?ROOT)                 (instance ?SUB Substance)                 (attribute ?SUB Fluid)                 (objectTransferred ?TRAN ?SUB)))))	Mid-level-ontology.kif 9545-9556	物理 は PlantStem の instance では %n 物理 は エンティティー エンティティー and エンティティー エンティティー は 移動 の instance では %n 物理 は エンティティー の instrument では %n エンティティー は PlantRoot の instance では %n エンティティー は エンティティー から originates %n{ない} エンティティー は 物質 の instance では %n Fluid は エンティティー の attribute では %n objectTransferred エンティティー and エンティティー の 目的 %n{ない}
(=>     (instance ?STUFF Hailstone)     (exists (?PROCESS ?CLTN)         (and             (instance ?PROCESS Hailing)             (instance ?CLTN Collection)             (objectTransferred ?PROCESS ?CLTN)             (member ?STUFF ?CLTN))))	Weather.kif 3070-3077	物理 は Hailstone の instance では %n 移動 コレクション 移動 は Hailing の instance では %n コレクション は コレクション の instance では %n objectTransferred 移動 and コレクション 物理 は コレクション の member では %n
(=>     (instance ?T TearSubstance)     (hasPurpose ?T         (exists (?L ?EYE)             (and                 (instance ?L Lubricating)                 (objectTransferred ?L ?T)                 (instance ?EYE Eye)                 (destination ?L ?EYE)))))	Mid-level-ontology.kif 12374-12382	物理 は TearSubstance の instance では %n 物理 は エンティティー エンティティー エンティティー は Lubricating の instance では %n objectTransferred エンティティー and 物理 エンティティー は Eye の instance では %n エンティティー は エンティティー に ends %n{ない} の 目的 %n{ない}
(=>     (instance ?T Transfusion)     (exists (?B)         (and             (instance ?B Blood)             (objectTransferred ?T ?B))))	Medicine.kif 5990-5995	移動 は Transfusion の instance では %n オブジェクト オブジェクト は 血 の instance では %n objectTransferred 移動 and オブジェクト
(=>     (instance ?TA TopicalApplication)     (exists (?M ?A ?S)         (and             (instance ?M Medicine)             (instance ?A Animal)             (instance ?S Skin)             (part ?S ?A)             (objectTransferred ?TA ?M)             (destination ?M ?S))))	Mid-level-ontology.kif 12447-12456	移動 は TopicalApplication の instance では %n オブジェクト オブジェクト and オブジェクト オブジェクト は Medicine の instance では %n オブジェクト は 動物 の instance では %n オブジェクト は Skin の instance では %n オブジェクト は オブジェクト の part では %n objectTransferred 移動 and オブジェクト オブジェクト は オブジェクト に ends %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