(=>     (instance ?B Bus)     (hasPurpose ?B         (exists (?C ?T ?N ?P)             (and                 (instance ?C Collection)                 (instance ?T Transportation)                 (memberCount ?C ?N)                 (greaterThan ?N 11)                 (=>                     (member ?P ?C)                     (patient ?T ?P))))))	Transportation.kif 1972-1983	物理 は Bus の instance では %n 物理 は エンティティー エンティティー, エンティティー and エンティティー エンティティー は コレクション の instance では %n エンティティー は 交通手段 の instance では %n memberCount エンティティー and エンティティー エンティティー は 11 より greater では　%n エンティティー は エンティティー の member では %n エンティティー は エンティティー の patient では %n の 目的 %n{ない}
(=>     (instance ?BF BowlingFacility)     (exists (?BL)         (and             (instance ?BL Collection)             (memberType ?BL BowlingLane)             (located ?BL ?BF))))	Sports.kif 1163-1169	オブジェクト は BowlingFacility の instance では %n コレクション コレクション は コレクション の instance では %n memberType コレクション and BowlingLane コレクション は オブジェクト に located して %n
(=>     (instance ?DRIZZLE Drizzling)     (exists (?CLTN ?R ?SIZE)         (and             (instance ?CLTN Collection)             (instance ?R Water)             (instance ?R LiquidDrop)             (member ?R ?CLTN)             (objectTransferred ?DRIZZLE ?CLTN)             (approximateDiameter ?R                 (MeasureFn ?SIZE Millimeter))             (modalAttribute                 (lessThanOrEqualTo ?SIZE 0.5) Likely))))	Weather.kif 2799-2811	移動 は Drizzling の instance では %n コレクション 自己接続オブジェクト and 実数 コレクション は コレクション の instance では %n 自己接続オブジェクト は 水 の instance では %n 自己接続オブジェクト は LiquidDrop の instance では %n 自己接続オブジェクト は コレクション の member では %n objectTransferred 移動 and コレクション approximateDiameter 自己接続オブジェクト and 実数 の Millimeter(s) ステートメント 実数 は 0.5 より less または同等 では %n には Likely の modal force が ある
(=>     (instance ?DROP Raindrop)     (exists (?RAIN)         (and             (instance ?RAIN Rain)             (instance ?RAIN Collection)             (member ?DROP ?RAIN))))	Weather.kif 2977-2983	物理 は Raindrop の instance では %n コレクション コレクション は Rain の instance では %n コレクション は コレクション の instance では %n 物理 は コレクション の member では %n
(=>     (instance ?EM EspressoMaking)     (holdsDuring ?EM         (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R)             (and                 (instance ?H Heating)                 (patient ?H ?W)                 (measure ?W                     (MeasureFn ?V Liter))                 (approximateValue ?V 0.03)                 (holdsDuring                     (EndFn                         (WhenFn ?H))                     (and                         (measure ?W                             (MeasureFn ?T CelsiusDegree))                         (approximateValue ?T 90)))                 (instance ?LM LiquidMotion)                 (patient ?LM ?W)                 (holdsDuring ?LM                     (and                         (measure ?W                             (MeasureFn ?P                                 (KiloFn Pascal)))                         (approximateValue ?P 900)))                 (destination ?LM ?COLL)                 (instance ?COLL Collection)                 (measure ?COLL                     (MeasureFn ?K Gram))                 (approximateValue ?K 7.5)                 (member ?COLL ?CG)                 (instance ?CG CoffeeGrind)                 (attribute ?CG FineGrind)                 (located ?COLL ?F)                 (instance ?F Filter)                 (instance ?R Removing)                 (instrument ?R ?F)                 (patient ?R ?COLL)                 (temporallyBetween                     (EndFn                         (WhenFn ?H))                     (EndFn                         (WhenFn ?LM))                     (EndFn                         (WhenFn ?R)))))))	Food.kif 799-834	時間位置 は EspressoMaking の instance では %n エンティティー エンティティー, エンティティー, エンティティー, エンティティー, エンティティー, エンティティー, エンティティー, エンティティー, エンティティー and エンティティー エンティティー は 加熱 の instance では %n エンティティー は エンティティー の patient では %n エンティティー の measure は エンティティー の Liter(s) では %n approximateValue エンティティー and 0.03 エンティティー の measure は エンティティー の CelsiusDegree(s) では %n approximateValue エンティティー and 90 は エンティティー の time の existence の end の during holds %n{ない} エンティティー は LiquidMotion の instance では %n エンティティー は エンティティー の patient では %n エンティティー の measure は エンティティー の 1 の thousand Pascals(s) では %n approximateValue エンティティー and 900 は エンティティー の during holds %n{ない} エンティティー は エンティティー に ends %n{ない} エンティティー は コレクション の instance では %n エンティティー の measure は エンティティー の Gram(s) では %n approximateValue エンティティー and 7.5 エンティティー は エンティティー の member では %n エンティティー は CoffeeGrind の instance では %n FineGrind は エンティティー の attribute では %n エンティティー は エンティティー に located して %n エンティティー は Filter の instance では %n エンティティー は 除却 の instance では %n エンティティー は エンティティー の instrument では %n エンティティー は エンティティー の patient では %n エンティティー の time の existence の end は エンティティー の time の existence の end と エンティティー の time の existence の end の between に　%n は 時間位置 の during holds %n{ない}
(=>     (instance ?EXPERIMENT Experimenting)     (exists (?QUALIFYING_EVENTS)         (and             (instance ?QUALIFYING_EVENTS Collection)             (forall (?EVENT)                 (=>                     (and                         (instance ?EVENT Process)                         (or                             (experimentalControlProcess ?EXPERIMENT ?EVENT)                             (experimentalVariableProcess ?EXPERIMENT ?EVENT)))                     (member ?EVENT ?QUALIFYING_EVENTS)))             (equal                 (QualifyingEventsFn ?EXPERIMENT) ?QUALIFYING_EVENTS))))	UXExperimentalTerms.kif 4208-4223	Experimenting は Experimenting の instance では %n エンティティー_EVENTS エンティティー_EVENTS は コレクション の instance では %n 工程 工程 は 工程 の instance では %n experimentalControlProcess Experimenting and 工程 experimentalVariableProcess Experimenting and 工程 工程 は エンティティー_EVENTS の member では %n QualifyingEventsFn Experimenting は エンティティー_EVENTS と equal では %n
(=>     (instance ?EXPERIMENT Experimenting)     (exists (?TREATED_USERS)         (and             (instance ?TREATED_USERS Collection)             (forall (?USER)                 (=>                     (and                         (instance ?USER Human)                         (treatedUser ?USER ?EXPERIMENT))                     (member ?USER ?TREATED_USERS)))             (equal                 (TreatedUsersFn ?EXPERIMENT) ?TREATED_USERS))))	UXExperimentalTerms.kif 4281-4293	Experimenting は Experimenting の instance では %n エンティティー_USERS エンティティー_USERS は コレクション の instance では %n 人［人間］ 人［人間］ は 人［人間］ の instance では %n treatedUser 人［人間］ and Experimenting 人［人間］ は エンティティー_USERS の member では %n TreatedUsersFn Experimenting は エンティティー_USERS と equal では %n
(=>     (instance ?LGP LargeGroupProcess)     (exists (?G ?M)         (and             (instance ?G Collection)             (member ?M ?G)             (memberType ?G AutonomousAgent))))	Mid-level-ontology.kif 7931-7937	エンティティー は LargeGroupProcess の instance では %n コレクション 物理 コレクション は コレクション の instance では %n 物理 は コレクション の member では %n memberType コレクション and AutonomousAgent
(=>     (instance ?P Polymer)     (exists (?COLL ?M)         (and             (equal ?P ?COLL)             (instance ?COLL Collection)             (member ?M ?COLL)             (instance ?M Monomer))))	VirusProteinAndCellPart.kif 72-79	エンティティー は Polymer の instance では %n コレクション 物理 エンティティー は コレクション と equal では %n コレクション は コレクション の instance では %n 物理 は コレクション の member では %n 物理 は Monomer の instance では %n
(=>     (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 ?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 ?ROOM SelfServiceLaundry)     (exists (?WASHER ?DRYER)         (and             (instance ?WASHER Collection)             (memberType ?WASHER ClothesWashingMachine)             (located ?WASHER ?ROOM)             (instance ?DRYER Collection)             (memberType ?DRYER ClothesDryer)             (located ?DRYER ?ROOM))))	Mid-level-ontology.kif 25401-25410	オブジェクト は SelfServiceLaundry の instance では %n コレクション コレクション コレクション は コレクション の instance では %n memberType コレクション and ClothesWashingMachine コレクション は オブジェクト に located して %n コレクション は コレクション の instance では %n memberType コレクション and ClothesDryer コレクション は オブジェクト に located して %n
(=>     (instance ?S Snowflake)     (exists (?SNOW)         (and             (instance ?SNOW Snow)             (instance ?SNOW Collection)             (member ?S ?SNOW))))	Weather.kif 3009-3015	物理 は Snowflake の instance では %n 物理NOW 物理NOW は Snow の instance では %n 物理NOW は コレクション の instance では %n 物理 は 物理NOW の member では %n
(=>     (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 ?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 ?X Chromotin)     (exists (?COLL ?N)         (and             (instance ?COLL Collection)             (located ?COLL ?X)             (member ?COLL ?N)             (instance ?N Nucleosome))))	VirusProteinAndCellPart.kif 609-616	オブジェクト は Chromotin の instance では %n 物理 コレクション 物理 は コレクション の instance では %n 物理 は オブジェクト に located して %n 物理 は コレクション の member では %n コレクション は Nucleosome の instance では %n
(=>     (instance ?X ElectricalOutlet)     (exists (?HOLE)         (and             (instance ?HOLE Collection)             (memberType ?HOLE HoleRegion)             (part ?HOLE ?X))))	Mid-level-ontology.kif 25899-25905	オブジェクト は ElectricalOutlet の instance では %n コレクション コレクション は コレクション の instance では %n memberType コレクション and HoleRegion コレクション は オブジェクト の part では %n
(=>     (instance ?X ElectricalOutlet)     (hasPurpose ?X         (exists (?POWER ?WIRE)             (and                 (instance ?POWER PowerSource)                 (instance ?WIRE Collection)                 (memberType ?WIRE WireLine)                 (connectsEngineeringComponents ?WIRE ?X ?POWER)))))	Mid-level-ontology.kif 25907-25915	物理 は ElectricalOutlet の instance では %n 物理 は エンティティー エンティティー エンティティー は PowerSource の instance では %n エンティティー は コレクション の instance では %n memberType エンティティー and WireLine エンティティー は 物理 と エンティティー に connects して　%n{ない} の 目的 %n{ない}
(=>     (instance ?X HighRise)     (exists (?LEVELS ?NUM)         (and             (instance ?LEVELS Collection)             (forall (?FLR)                 (=>                     (and                         (instance ?FLR BuildingLevel)                         (part ?FLR ?X))                     (member ?FLR ?LEVELS)))             (memberCount ?LEVELS ?NUM)             (greaterThanOrEqualTo ?NUM 10))))	Mid-level-ontology.kif 26496-26508	オブジェクト は HighRise の instance では %n コレクション 整数 コレクション は コレクション の instance では %n オブジェクト オブジェクト は BuildingLevel の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は コレクション の member では %n memberCount コレクション and 整数 整数 は 10 greater では　%n
(=>     (optimalGrindSizeForMakingCoffee ?CLASS ?A)     (exists (?CM ?COLL ?C)         (and             (instance ?CM ?CLASS)             (patient ?CM ?COLL)             (instance ?COLL Collection)             (member ?C ?COLL)             (instance ?C CoffeeGrind)             (attribute ?C ?A))))	Food.kif 728-737	optimalGrindSizeForMakingCoffee CoffeeMaking and CoffeeGrindAttribute 工程 コレクション and オブジェクト 工程 は CoffeeMaking の instance では %n コレクション は 工程 の patient では %n コレクション は コレクション の instance では %n オブジェクト は コレクション の member では %n オブジェクト は CoffeeGrind の instance では %n CoffeeGrindAttribute は オブジェクト の attribute では %n
(=>     (rainfallIntensity ?AREA ?TIME ?RATE)     (exists (?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL)         (and             (instance ?RAIN Raining)             (eventLocated ?RAIN ?AREA)             (during                 (WhenFn ?RAIN) ?TIME)             (instance ?CLTN Collection)             (objectTransferred ?RAIN ?CLTN)             (instance ?R Water)             (member ?R ?CLTN)             (instance ?BUCKET Container)             (bottom ?BOTTOM ?BUCKET)             (attribute ?BOTTOM Flat)             (located ?BUCKET ?AREA)             (holdsDuring                 (BeginFn ?TIME)                 (attribute ?BUCKET ContainerEmpty))             (holdsDuring                 (EndFn ?TIME)                 (and                     (located ?CLTN ?BUCKET)                     (top ?TOP ?CLTN)                     (depth ?TOP ?BOTTOM ?RAINFALL)                     (equal ?RAINFALL                         (MultiplicationFn ?TIME ?RATE)))))))	Weather.kif 2826-2851	rainfallIntensity 地理的地域, 時間間隔 and 関数量 移動 コレクション, 物理, 自己接続オブジェクト, エンティティー, 自己接続オブジェクト and 移動FALL 移動 は Raining の instance では %n eventLocated 移動 and 地理的地域 移動 の time の existence は 時間間隔 の during に takes %n{ない} コレクション は コレクション の instance では %n objectTransferred 移動 and コレクション 物理 は 水 の instance では %n 物理 は コレクション の member では %n 自己接続オブジェクト は Container の instance では %n 自己接続オブジェクト の bottom は 自己接続オブジェクト では %n Flat は 自己接続オブジェクト の attribute では %n 自己接続オブジェクト は 地理的地域 に located して %n ContainerEmpty は 自己接続オブジェクト の attribute では %n は 時間間隔 の beginning の during holds %n{ない} コレクション は 自己接続オブジェクト に located して %n コレクション の top は エンティティー では depth エンティティー, 自己接続オブジェクト and 移動FALL 移動FALL は 時間間隔 + 関数量 と equal では %n は 時間間隔 の end の during holds %n{ない}
(=>     (siteCatalog ?DATABASE ?WEBSITE)     (exists (?PART ?PRODUCTS ?BUYING)         (and             (instance ?PRODUCTS Collection)             (part ?PART ?DATABASE)             (represents ?PART ?PRODUCTS)             (forall (?MEMBER)                 (=>                     (member ?MEMBER ?PRODUCTS)                     (and                         (instance ?MEMBER Physical)                         (capability                             (KappaFn ?BUYING                                 (and                                     (instance ?BUYING Buying)                                     (eCommerceSite ?BUYING ?WEBSITE))) patient ?MEMBER)))))))	UXExperimentalTerms.kif 2242-2259	siteCatalog Database and WebSite オブジェクト コレクション and 記号文字列 コレクション は コレクション の instance では %n オブジェクト は Database の part では %n オブジェクト は コレクション を expresses %n{ない} オブジェクト オブジェクト は コレクション の member では %n オブジェクト は 物理 の instance では %n オブジェクト は 記号文字列で記述される class を patient として行う capable では %n
(=>     (subBrand ?BRAND1 ?BRAND2)     (exists (?COLL ?OBJ)         (and             (instance ?COLL Collection)             (represents ?BRAND1 ?COLL)             (member ?OBJ ?COLL)             (represents ?BRAND2 ?OBJ))))	Hotel.kif 1335-1342	subBrand エンティティー and エンティティー コレクション 物理 コレクション は コレクション の instance では %n エンティティー は コレクション を expresses %n{ない} 物理 は コレクション の member では %n エンティティー は 物理 を expresses %n{ない}
(=>     (tTest ?SAMPLE_COLL1 ?SAMPLE_COLL2 ?PROB)     (exists (?POP1 ?POP2 ?EXPERIMENT)         (and             (instance ?POP1 Collection)             (instance ?POP2 Collection)             (statisticalPopulation ?SAMPLE_COLL1 ?POP1 ?EXPERIMENT)             (statisticalPopulation ?SAMPLE_COLL2 ?POP2 ?EXPERIMENT)             (equal ?PROB                 (ProbabilityFn                     (equal ?POP1 ?POP2))))))	UXExperimentalTerms.kif 607-617	tTest エンティティー_COLL1, エンティティー_COLL2 and 実数 コレクション コレクション and Experimenting コレクション は コレクション の instance では %n コレクション は コレクション の instance では %n statisticalPopulation エンティティー_COLL1, コレクション and Experimenting statisticalPopulation エンティティー_COLL2, コレクション and Experimenting 実数 は コレクション は コレクション と equal では %n の probability と equal では %n
(=>     (userDatabase ?DATABASE ?WEBSITE)     (exists (?PART ?USERS)         (and             (instance ?USERS Collection)             (part ?PART ?DATABASE)             (represents ?PART ?USERS)             (forall (?MEMBER)                 (=>                     (member ?MEMBER ?USERS)                     (and                         (instance ?MEMBER AutonomousAgent)                         (exists (?ACCESSING ?PAGE)                             (and                                 (instance ?ACCESSING AccessingWebPage)                                 (instance ?PAGE WebPage)                                 (patient ?ACCESSING Page)                                 (agent ?ACCESSING AutonomousAgent)                                 (component ?PAGE ?WEBSITE)))))))))	UXExperimentalTerms.kif 2173-2191	userDatabase Database and WebSite オブジェクト コレクション コレクション は コレクション の instance では %n オブジェクト は Database の part では %n オブジェクト は コレクション を expresses %n{ない} 物理 物理 は コレクション の member では %n 物理 は AutonomousAgent の instance では %n 工程 微粒子オブジェクト 工程 は AccessingWebPage の instance では %n 微粒子オブジェクト は WebPage の instance では %n Page は 工程 の patient では %n AutonomousAgent は 工程 の agent では %n 微粒子オブジェクト は WebSite の component では %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