(=>     (and         (instance ?ATTR PsychologicalAttribute)         (attribute ?AGENT ?ATTR))     (instance ?AGENT SentientAgent))	Merge.kif 18300-18304	属性 は 心理的属性 の instance では %n 属性 は オブジェクト の attribute では %n オブジェクト は 意識［知覚］を持つ代理(人) の instance では %n
(=>     (and         (instance ?ATTR USMilitaryRank)         (attribute ?PERSON ?ATTR))     (exists (?MO)         (and             (member ?PERSON ?MO)             (militaryOfArea ?MO UnitedStates))))	Military.kif 257-264	属性 は USMilitaryRank の instance では %n 属性 は オブジェクト の attribute では %n MilitaryOrganization オブジェクト は MilitaryOrganization の member では %n militaryOfArea MilitaryOrganization and UnitedStates
(=>     (and         (instance ?ATTR WebDocumentAttribute)         (attribute ?OBJ ?ATTR))     (instance ?OBJ WebDocument))	engineering.kif 1372-1376	属性 は WebDocumentAttribute の instance では %n 属性 は オブジェクト の attribute では %n オブジェクト は WebDocument の instance では %n
(=>     (and         (instance ?ATTRIBUTE PoliticoEconomicAttribute)         (attribute ?GOVERNMENT ?ATTRIBUTE))     (instance ?GOVERNMENT Government))	Mid-level-ontology.kif 19541-19545	属性 は PoliticoEconomicAttribute の instance では %n 属性 は オブジェクト の attribute では %n オブジェクト は 政府 の instance では %n
(=>     (and         (instance ?ATTRIBUTE ShapeAttribute)         (attribute ?OBJ ?ATTRIBUTE)         (surface ?SURFACE ?OBJ))     (attribute ?SURFACE ?ATTRIBUTE))	Merge.kif 17758-17763	属性 は 形状属性 の instance では %n 属性 は 自己接続オブジェクト の attribute では %n 自己接続オブジェクト は 自己接続オブジェクト の surface では %n 属性 は 自己接続オブジェクト の attribute では %n
(=>     (and         (instance ?ATTRIBUTE TextureAttribute)         (attribute ?OBJ ?ATTRIBUTE)         (surface ?SURFACE ?OBJ))     (attribute ?SURFACE ?ATTRIBUTE))	Merge.kif 17786-17791	属性 は TextureAttribute の instance では %n 属性 は 自己接続オブジェクト の attribute では %n 自己接続オブジェクト は 自己接続オブジェクト の surface では %n 属性 は 自己接続オブジェクト の attribute では %n
(=>     (and         (instance ?B Blood)         (attribute ?B DeoxygenatedBlood)         (concentration             (MeasureFn ?N Milliliter) CarbonDioxide             (MeasureFn 100 Milliliter) ?B))     (approximateValue ?N 4))	Medicine.kif 5775-5782	混合物 は 血 の instance では %n DeoxygenatedBlood は 混合物 の attribute では %n concentration 実数 の Milliliter(s), CarbonDioxide, 100 の Milliliter(s) and 混合物 approximateValue 実数 and 4
(=>     (and         (instance ?B Blood)         (attribute ?B DeoxygenatedBlood)         (concentration             (MeasureFn ?N Milliliter) Oxygen             (MeasureFn 100 Milliliter) ?B))     (approximateValue ?N 14))	Medicine.kif 5766-5773	混合物 は 血 の instance では %n DeoxygenatedBlood は 混合物 の attribute では %n concentration 実数 の Milliliter(s), Oxygen, 100 の Milliliter(s) and 混合物 approximateValue 実数 and 14
(=>     (and         (instance ?B Blood)         (attribute ?B OxygenatedBlood)         (concentration             (MeasureFn ?N Milliliter) CarbonDioxide             (MeasureFn 100 Milliliter) ?B))     (approximateValue ?N 5))	Medicine.kif 5752-5759	混合物 は 血 の instance では %n OxygenatedBlood は 混合物 の attribute では %n concentration 実数 の Milliliter(s), CarbonDioxide, 100 の Milliliter(s) and 混合物 approximateValue 実数 and 5
(=>     (and         (instance ?B Blood)         (attribute ?B OxygenatedBlood)         (concentration             (MeasureFn ?N Milliliter) Oxygen             (MeasureFn 100 Milliliter) ?B))     (approximateValue ?N 20))	Medicine.kif 5743-5750	混合物 は 血 の instance では %n OxygenatedBlood は 混合物 の attribute では %n concentration 実数 の Milliliter(s), Oxygen, 100 の Milliliter(s) and 混合物 approximateValue 実数 and 20
(=>     (and         (instance ?B Bubble)         (not             (exists (?X ?S)                 (and                     (attribute ?X ?S)                     (not                         (equal ?X Gas))                     (meetsSpatially ?X ?B)))))     (attribute ?B ConvexRoundShape))	Mid-level-ontology.kif 5015-5024	オブジェクト は Bubble の instance では %n オブジェクト 属性 属性 は オブジェクト の attribute では %n オブジェクト は Gas と equal では オブジェクト は オブジェクト と meets %n{ない} ConvexRoundShape は オブジェクト の attribute では %n
(=>     (and         (instance ?B CoffeeBean)         (attribute ?B AmericanRoast)         (roastedToTemperature ?B ?T))     (approximateValue ?T 210))	Food.kif 547-552	Food は CoffeeBean の instance では %n AmericanRoast は Food の attribute では %n roastedToTemperature Food and 実数 approximateValue 実数 and 210
(=>     (and         (instance ?B CoffeeBean)         (attribute ?B CinnamonRoast)         (roastedToTemperature ?B ?T))     (approximateValue ?T 196))	Food.kif 509-514	Food は CoffeeBean の instance では %n CinnamonRoast は Food の attribute では %n roastedToTemperature Food and 実数 approximateValue 実数 and 196
(=>     (and         (instance ?B CoffeeBean)         (attribute ?B CityRoast)         (roastedToTemperature ?B ?T))     (approximateValue ?T 219))	Food.kif 559-564	Food は CoffeeBean の instance では %n CityRoast は Food の attribute では %n roastedToTemperature Food and 実数 approximateValue 実数 and 219
(=>     (and         (instance ?B CoffeeBean)         (attribute ?B DarkRoast)         (roastedToTemperature ?B ?T))     (and         (greaterThanOrEqualTo ?T 225)         (lessThanOrEqualTo ?T 245)))	Food.kif 571-578	Food は CoffeeBean の instance では %n DarkRoast は Food の attribute では %n roastedToTemperature Food and 実数 実数 は 225 greater では　%n 実数 は 245 より less または同等 では %n
(=>     (and         (instance ?B CoffeeBean)         (attribute ?B FrenchRoast)         (roastedToTemperature ?B ?T))     (approximateValue ?T 240))	Food.kif 609-614	Food は CoffeeBean の instance では %n FrenchRoast は Food の attribute では %n roastedToTemperature Food and 実数 approximateValue 実数 and 240
(=>     (and         (instance ?B CoffeeBean)         (attribute ?B FullyCityRoast)         (roastedToTemperature ?B ?T))     (approximateValue ?T 225))	Food.kif 585-590	Food は CoffeeBean の instance では %n FullyCityRoast は Food の attribute では %n roastedToTemperature Food and 実数 approximateValue 実数 and 225
(=>     (and         (instance ?B CoffeeBean)         (attribute ?B ItalianRoast)         (roastedToTemperature ?B ?T))     (approximateValue ?T 245))	Food.kif 621-626	Food は CoffeeBean の instance では %n ItalianRoast は Food の attribute では %n roastedToTemperature Food and 実数 approximateValue 実数 and 245
(=>     (and         (instance ?B CoffeeBean)         (attribute ?B LightRoast)         (roastedToTemperature ?B ?T))     (and         (greaterThanOrEqualTo ?T 196)         (lessThanOrEqualTo ?T 205)))	Food.kif 495-502	Food は CoffeeBean の instance では %n LightRoast は Food の attribute では %n roastedToTemperature Food and 実数 実数 は 196 greater では　%n 実数 は 205 より less または同等 では %n
(=>     (and         (instance ?B CoffeeBean)         (attribute ?B MediumRoast)         (roastedToTemperature ?B ?T))     (and         (greaterThanOrEqualTo ?T 210)         (lessThanOrEqualTo ?T 219)))	Food.kif 533-540	Food は CoffeeBean の instance では %n MediumRoast は Food の attribute では %n roastedToTemperature Food and 実数 実数 は 210 greater では　%n 実数 は 219 より less または同等 では %n
(=>     (and         (instance ?B CoffeeBean)         (attribute ?B NewEnglandRoast)         (roastedToTemperature ?B ?T))     (approximateValue ?T 205))	Food.kif 521-526	Food は CoffeeBean の instance では %n NewEnglandRoast は Food の attribute では %n roastedToTemperature Food and 実数 approximateValue 実数 and 205
(=>     (and         (instance ?B CoffeeBean)         (attribute ?B ViennaRoast)         (roastedToTemperature ?B ?T))     (approximateValue ?T 230))	Food.kif 597-602	Food は CoffeeBean の instance では %n ViennaRoast は Food の attribute では %n roastedToTemperature Food and 実数 approximateValue 実数 and 230
(=>     (and         (instance ?C Carabiner)         (holdsDuring ?T             (attribute ?C DeviceClosed)))     (holdsDuring ?T         (attribute ?C RingTorus)))	Mid-level-ontology.kif 30795-30801	エンティティー は Carabiner の instance では %n DeviceClosed は エンティティー の attribute では %n は 時間位置 の during holds %n{ない} RingTorus は エンティティー の attribute では %n は 時間位置 の during holds %n{ない}
(=>     (and         (instance ?C Carabiner)         (holdsDuring ?T             (attribute ?C DeviceClosed)))     (holdsDuring ?T         (modalAttribute             (exists (?R)                 (and                     (instance ?R ClimbingRope)                     (contains ?C ?R))) Possibility)))	Mid-level-ontology.kif 30803-30814	エンティティー は Carabiner の instance では %n DeviceClosed は エンティティー の attribute では %n は 時間位置 の during holds %n{ない} ステートメント エンティティー エンティティー は ClimbingRope の instance では %n エンティティー は エンティティー を contains %n{ない} には Possibility の modal force が ある は 時間位置 の during holds %n{ない}
(=>     (and         (instance ?C Carabiner)         (holdsDuring ?T             (attribute ?C DeviceOpen)))     (holdsDuring ?T         (not             (attribute ?C RingTorus))))	Mid-level-ontology.kif 30816-30823	エンティティー は Carabiner の instance では %n DeviceOpen は エンティティー の attribute では %n は 時間位置 の during holds %n{ない} RingTorus は エンティティー の attribute では は 時間位置 の during holds %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