(=>     (and         (instance ?A CoffeeGrindAttribute)         (attribute ?C ?A)         (instance ?C CoffeeGrind))     (exists (?L ?X)         (and             (grainSize ?C ?L)             (instance ?X LengthMeasure)             (equal ?X                 (MeasureFn ?L Millimeter)))))	Food.kif 1063-1073	属性 は CoffeeGrindAttribute の instance では %n 属性 は オブジェクト の attribute では %n オブジェクト は CoffeeGrind の instance では %n 実数 物理量 grainSize オブジェクト and 実数 物理量 は 長さ測定 の instance では %n 物理量 は 実数 の Millimeter(s) と equal では %n
(=>     (and         (instance ?A MedicalPerson)         (attribute ?C ?A))     (hasPurpose ?C         (exists (?TP)             (and                 (instance ?TP TherapeuticProcess)                 (agent ?TP ?C)))))	Medicine.kif 6338-6346	属性 は MedicalPerson の instance では %n 属性 は オブジェクト の attribute では %n オブジェクト は エンティティー エンティティー は 治療経過 の instance では %n オブジェクト は エンティティー の agent では %n の 目的 %n{ない}
(=>     (and         (instance ?A PreparedFoodAttribute)         (attribute ?F ?A))     (instance ?F Food))	Food.kif 24-28	属性 は PreparedFoodAttribute の instance では %n 属性 は オブジェクト の attribute では %n オブジェクト は Food の instance では %n
(=>     (and         (instance ?ACCOUNT UserAccount)         (attribute ?ACCOUNT BusinessAccount)         (hasAccount ?USER ?ACCOUNT))     (instance ?USER Business))	UXExperimentalTerms.kif 660-665	UserAccount は UserAccount の instance では %n BusinessAccount は UserAccount の attribute では %n hasAccount AutonomousAgent and UserAccount AutonomousAgent は Business の instance では %n
(=>     (and         (instance ?AGENT Human)         (instance ?ORG Organization)         (instance ?POSITION Position)         (attribute ?AGENT             (MemberRoleFn ?ORG ?POSITION)))     (attribute ?AGENT         (MemberFn ?ORG)))	Government.kif 1789-1795	オブジェクト は 人［人間］ の instance では %n 組織 は 組織 の instance では %n ポジション は ポジション の instance では %n MemberRoleFn 組織 and ポジション は オブジェクト の attribute では %n MemberFn 組織 は オブジェクト の attribute では %n
(=>     (and         (instance ?AGENT Human)         (instance ?ORG Organization)         (instance ?POSITION Position)         (attribute ?AGENT             (MemberRoleFn ?ORG ?POSITION)))     (member ?AGENT ?ORG))	Government.kif 1797-1803	オブジェクト は 人［人間］ の instance では %n 組織 は 組織 の instance では %n ポジション は ポジション の instance では %n MemberRoleFn 組織 and ポジション は オブジェクト の attribute では %n オブジェクト は 組織 の member では %n
(=>     (and         (instance ?AGENT SentientAgent)         (attribute ?AGENT Living))     (exists (?ATTR)         (and             (instance ?ATTR ConsciousnessAttribute)             (attribute ?AGENT ?ATTR))))	Merge.kif 18321-18328	オブジェクト は 意識［知覚］を持つ代理(人) の instance では %n Living は オブジェクト の attribute では %n 属性 属性 は 意識属性 の instance では %n 属性 は オブジェクト の attribute では %n
(=>     (and         (instance ?AIRPORT Airport)         (attribute ?AIRPORT AirportWithPavedRunway))     (exists (?RUNWAY)         (and             (instance ?RUNWAY PavedRunway)             (part ?RUNWAY ?AIRPORT))))	Transportation.kif 1357-1364	オブジェクト は Airport の instance では %n AirportWithPavedRunway は オブジェクト の attribute では %n オブジェクト オブジェクト は PavedRunway の instance では %n オブジェクト は オブジェクト の part では %n
(=>     (and         (instance ?AIRPORT Airport)         (attribute ?AIRPORT AirportWithUnpavedRunway))     (exists (?RUNWAY)         (and             (instance ?RUNWAY UnpavedRunway)             (part ?RUNWAY ?AIRPORT))))	Transportation.kif 1371-1378	オブジェクト は Airport の instance では %n AirportWithUnpavedRunway は オブジェクト の attribute では %n オブジェクト オブジェクト は UnpavedRunway の instance では %n オブジェクト は オブジェクト の part では %n
(=>     (and         (instance ?AIRPORT Airport)         (attribute ?AIRPORT LongRunwayAirport))     (exists (?RUNWAY ?LENGTH)         (and             (instance ?RUNWAY Runway)             (part ?RUNWAY ?AIRPORT)             (length ?RUNWAY                 (MeasureFn ?LENGTH Meter))             (or                 (greaterThanOrEqualTo ?LENGTH 2438)                 (lessThanOrEqualTo ?LENGTH 3047)))))	Transportation.kif 1445-1457	オブジェクト は Airport の instance では %n LongRunwayAirport は オブジェクト の attribute では %n オブジェクト 実数 オブジェクト は Runway の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト の length は 実数 の Meter(s) では 実数 は 2438 greater では　%n 実数 は 3047 より less または同等 では %n
(=>     (and         (instance ?AIRPORT Airport)         (attribute ?AIRPORT MediumLengthRunwayAirport))     (exists (?RUNWAY ?LENGTH)         (and             (instance ?RUNWAY Runway)             (part ?RUNWAY ?AIRPORT)             (length ?RUNWAY                 (MeasureFn ?LENGTH Meter))             (or                 (greaterThanOrEqualTo ?LENGTH 1524)                 (lessThanOrEqualTo ?LENGTH 2437)))))	Transportation.kif 1426-1438	オブジェクト は Airport の instance では %n MediumLengthRunwayAirport は オブジェクト の attribute では %n オブジェクト 実数 オブジェクト は Runway の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト の length は 実数 の Meter(s) では 実数 は 1524 greater では　%n 実数 は 2437 より less または同等 では %n
(=>     (and         (instance ?AIRPORT Airport)         (attribute ?AIRPORT ShortRunwayAirport))     (exists (?RUNWAY ?LENGTH)         (and             (instance ?RUNWAY Runway)             (part ?RUNWAY ?AIRPORT)             (length ?RUNWAY                 (MeasureFn ?LENGTH Meter))             (or                 (greaterThanOrEqualTo ?LENGTH 914)                 (lessThanOrEqualTo ?LENGTH 1523)))))	Transportation.kif 1407-1419	オブジェクト は Airport の instance では %n ShortRunwayAirport は オブジェクト の attribute では %n オブジェクト 実数 オブジェクト は Runway の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト の length は 実数 の Meter(s) では 実数 は 914 greater では　%n 実数 は 1523 より less または同等 では %n
(=>     (and         (instance ?AIRPORT Airport)         (attribute ?AIRPORT VeryLongRunwayAirport))     (exists (?RUNWAY ?LENGTH)         (and             (instance ?RUNWAY Runway)             (part ?RUNWAY ?AIRPORT)             (length ?RUNWAY                 (MeasureFn ?LENGTH Meter))             (greaterThan ?LENGTH 3047))))	Transportation.kif 1464-1474	オブジェクト は Airport の instance では %n VeryLongRunwayAirport は オブジェクト の attribute では %n オブジェクト 実数 オブジェクト は Runway の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト の length は 実数 の Meter(s) では 実数 は 3047 より greater では　%n
(=>     (and         (instance ?AIRPORT Airport)         (attribute ?AIRPORT VeryShortRunwayAirport))     (exists (?RUNWAY ?LENGTH)         (and             (instance ?RUNWAY Runway)             (part ?RUNWAY ?AIRPORT)             (length ?RUNWAY                 (MeasureFn ?LENGTH Meter))             (lessThan ?LENGTH 914))))	Transportation.kif 1391-1400	オブジェクト は Airport の instance では %n VeryShortRunwayAirport は オブジェクト の attribute では %n オブジェクト 実数 オブジェクト は Runway の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト の length は 実数 の Meter(s) では 実数 は 914 より less では %n
(=>     (and         (instance ?ANI Animal)         (instance ?D DiseaseOrSyndrome)         (not             (attribute ?ANI ?D)))     (exists (?P ?W)         (and             (instance ?P BiologicalProcess)             (instance ?P Removing)             (origin ?P ?ANI)             (instance ?W Sewage)             (agent ?P ?ANI)             (objectTransferred ?P ?W))))	Mid-level-ontology.kif 2162-2175	AutonomousAgent は 動物 の instance では %n 属性 は 病気または症候群 の instance では %n 属性 は AutonomousAgent の attribute では 移動 オブジェクト 移動 は 生物学的プロセス の instance では %n 移動 は 除却 の instance では %n 移動 は AutonomousAgent から originates %n{ない} オブジェクト は Sewage の instance では %n AutonomousAgent は 移動 の agent では %n objectTransferred 移動 and オブジェクト
(=>     (and         (instance ?AREA GeographicArea)         (attribute ?REGION ?ATTRIBUTE)         (instance ?ATTRIBUTE TerrainAttribute)         (partlyLocated ?REGION ?AREA))     (terrainInArea ?AREA ?ATTRIBUTE))	Geography.kif 1727-1733	地理的地域 は 地理的地域 の instance では %n TerrainAttribute は オブジェクト の attribute では %n TerrainAttribute は TerrainAttribute の instance では %n オブジェクト は partly に 地理的地域 に 位置して %n terrainInArea 地理的地域 and TerrainAttribute
(=>     (and         (instance ?AREA GeographicArea)         (instance ?CONE Volcano)         (attribute ?CONE VolcanicallyActive))     (not         (attribute ?AREA GeologicallyStable)))	Geography.kif 1858-1863	オブジェクト は 地理的地域 の instance では %n オブジェクト は Volcano の instance では %n VolcanicallyActive は オブジェクト の attribute では %n GeologicallyStable は オブジェクト の attribute では
(=>     (and         (instance ?AS AutomobileShock)         (instance ?C Compressing)         (instance ?H HoleRegion)         (attribute ?F Fluid)         (equal ?AS             (HoleHostFn ?H))         (contains ?AS ?F)         (patient ?C ?AS))     (exists (?T)         (and             (instance ?T Transfer)             (objectTransferred ?T ?F)             (path ?T ?H)             (causes ?C ?T))))	Cars.kif 871-885	自己接続オブジェクト は AutomobileShock の instance では %n 工程 は Compressing の instance では %n HoleRegion は HoleRegion の instance では %n Fluid は オブジェクト の attribute では %n 自己接続オブジェクト は ホール HoleRegion の host と equal では %n 自己接続オブジェクト は オブジェクト を contains %n{ない} 自己接続オブジェクト は 工程 の patient では %n 移動 移動 は 移動 の instance では %n objectTransferred 移動 and オブジェクト HoleRegion は 移動 が 発生する path では %n 工程 は 移動 を causes %n{ない}
(=>     (and         (instance ?ATT TerrainAttribute)         (attribute ?OBJECT ?ATT))     (instance ?OBJECT LandArea))	Geography.kif 1742-1746	属性 は TerrainAttribute の instance では %n 属性 は オブジェクト の attribute では %n オブジェクト は 土地面積 の instance では %n
(=>     (and         (instance ?ATT1 Attribute)         (instance ?ATT2 Attribute)         (subrelation ?PRED attribute))     (not         (and             (contraryAttributeWRT ?ATT1 ?ATT2 ?PRED)             (?PRED ?ENTITY ?ATT1)             (?PRED ?ENTITY ?ATT2))))	ComputerInput.kif 43-52	属性 は 属性 の instance では %n 属性 は 属性 の instance では %n 2進述語 は attribute の subrelation では %n ~{ contraryAttributeWRT 属性, 属性 and 2進述語 } ~{ 2進述語 エンティティー and 属性 } ~{ 2進述語 エンティティー and 属性 }
(=>     (and         (instance ?ATTR ColorAttribute)         (holdsDuring ?T1             (attribute ?OBJ ?ATTR)))     (holdsDuring ?T1         (color ?OBJ ?ATTR)))	Mid-level-ontology.kif 19361-19367	エンティティー は カラー属性 の instance では %n エンティティー は エンティティー の attribute では %n は 時間位置 の during holds %n{ない} color エンティティー and エンティティー は 時間位置 の during holds %n{ない}
(=>     (and         (instance ?ATTR ConsciousnessAttribute)         (attribute ?AGENT ?ATTR))     (and         (instance ?AGENT SentientAgent)         (attribute ?AGENT Living)))	Merge.kif 18330-18336	属性 は 意識属性 の instance では %n 属性 は オブジェクト の attribute では %n オブジェクト は 意識［知覚］を持つ代理(人) の instance では %n Living は オブジェクト の attribute では %n
(=>     (and         (instance ?ATTR IndustryAttribute)         (attribute ?OBJ ?ATTR))     (instance ?OBJ Organization))	Media.kif 1882-1886	属性 は IndustryAttribute の instance では %n 属性 は オブジェクト の attribute では %n オブジェクト は 組織 の instance では %n
(=>     (and         (instance ?ATTR MusicGenre)         (attribute ?A ?ATTR))     (or         (instance ?A MakingMusic)         (instance ?A MusicRecording)))	Music.kif 511-517	属性 は MusicGenre の instance では %n 属性 は オブジェクト の attribute では %n オブジェクト は MakingMusic の instance では %n オブジェクト は MusicRecording の instance では %n
(=>     (and         (instance ?ATTR PhysicalState)         (attribute ?OBJ ?ATTR))     (instance ?OBJ Substance))	Merge.kif 17598-17602	属性 は 物理状態 の instance では %n 属性 は オブジェクト の attribute では %n オブジェクト は 物質 の instance では %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