(=>     (and         (instance ?V Vending)         (objectTransferred ?V ?O)         (not             (instance ?O Currency)))     (modalAttribute         (or             (instance ?O                 (FoodForFn Human))             (instance ?O Beverage)) Likely))	Mid-level-ontology.kif 1979-1988	移動 は Vending の instance では %n objectTransferred 移動 and オブジェクト オブジェクト は Currency の instance では ステートメント オブジェクト は FoodForFn 人［人間］ の instance では %n オブジェクト は 飲料 の instance では %n には Likely の modal force が ある
(=>     (and         (instance ?V VocalCords)         (instance ?D DiseaseOrSyndrome)         (not             (attribute ?V ?D)))     (exists (?F1 ?F2)         (and             (instance ?F1 VocalFold)             (instance ?F2 VocalFold)             (not                 (equal ?F1 ?F2))             (part ?F1 ?V)             (part ?F2 ?V))))	Mid-level-ontology.kif 802-815	オブジェクト は VocalCords の instance では %n 属性 は 病気または症候群 の instance では %n 属性 は オブジェクト の attribute では オブジェクト オブジェクト オブジェクト は VocalFold の instance では %n オブジェクト は VocalFold の instance では %n オブジェクト は オブジェクト と equal では オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト の part では %n
(=>     (and         (instance ?VO VitalOrgan)         (instance ?H Animal)         (not             (part ?VO ?H)))     (not         (attribute ?H Living)))	Mid-level-ontology.kif 11864-11871	オブジェクト は VitalOrgan の instance では %n オブジェクト は 動物 の instance では %n オブジェクト は オブジェクト の part では Living は オブジェクト の attribute では
(=>     (and         (instance ?WATER BodyOfWater)         (not             (instance ?WATER Ocean))         (instance ?OCEAN Ocean))     (larger ?OCEAN ?WATER))	Geography.kif 4523-4528	オブジェクト は BodyOfWater の instance では %n オブジェクト は Ocean の instance では オブジェクト は Ocean の instance では %n オブジェクト は オブジェクト よりも larger %n
(=>     (and         (instance ?WINDOW InterfaceWindow)         (instance ?GUIE GUIElement)         (screenOfGUIE ?WINDOW ?SCREEN)         (screenOfGUIE ?GUIE ?SCREEN)         (not             (instance ?GUIE InterfaceWindow))         (hasGUEState ?WINDOW GUE_ActiveState)         (hasGUEState ?GUIE GUE_ActiveState))     (properPart ?GUIE ?WINDOW))	ComputerInput.kif 1920-1929	GUIElement は InterfaceWindow の instance では %n GUIElement は GUIElement の instance では %n screenOfGUIE GUIElement and ComputerScreen screenOfGUIE GUIElement and ComputerScreen GUIElement は InterfaceWindow の instance では hasGUEState GUIElement and GUE_ActiveState hasGUEState GUIElement and GUE_ActiveState GUIElement は GUIElement の proper part では %n
(=>     (and         (instance ?WINDOW_A InterfaceWindow)         (instance ?WINDOW_P InterfaceWindow)         (screenOfGUIE ?WINDOW_A ?SCREEN)         (screenOfGUIE ?WINDOW_P ?SCREEN)         (hasGUEState ?WINDOW_A GUE_ActiveState)         (not             (equal ?WINDOW_A ?WINDOW_P)))     (hasGUEState ?WINDOW_P GUE_PassiveState))	ComputerInput.kif 1964-1972	エンティティー_A は InterfaceWindow の instance では %n エンティティー_P は InterfaceWindow の instance では %n screenOfGUIE エンティティー_A and ComputerScreen screenOfGUIE エンティティー_P and ComputerScreen hasGUEState エンティティー_A and GUE_ActiveState エンティティー_A は エンティティー_P と equal では hasGUEState エンティティー_P and GUE_PassiveState
(=>     (and         (instance ?X Pasta)         (not             (exists (?Y)                 (and                     (instance ?Y Pasta)                     (part ?Y ?X)))))     (attribute ?X LongAndThin))	Food.kif 2622-2630	オブジェクト は Pasta の instance では %n オブジェクト オブジェクト は Pasta の instance では %n オブジェクト は オブジェクト の part では %n LongAndThin は オブジェクト の attribute では %n
(=>     (and         (instance ?X Penne)         (not             (exists (?Y)                 (and                     (instance ?Y Penne)                     (part ?Y ?X)))))     (and         (exists (?HOLE2)             (and                 (instance ?HOLE2 HoleRegion)                 (part ?X ?HOLE2)))         (attribute ?X Fillable)))	Food.kif 2763-2776	オブジェクト は Penne の instance では %n オブジェクト オブジェクト は Penne の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト オブジェクト は HoleRegion の instance では %n オブジェクト は オブジェクト の part では %n Fillable は オブジェクト の attribute では %n
(=>     (and         (instance ?X Spaghetti)         (not             (exists (?Y)                 (and                     (instance ?Y Spaghetti)                     (part ?Y ?X)))))     (attribute ?X LongAndThin))	Food.kif 3464-3472	オブジェクト は Spaghetti の instance では %n オブジェクト オブジェクト は Spaghetti の instance では %n オブジェクト は オブジェクト の part では %n LongAndThin は オブジェクト の attribute では %n
(=>     (and         (instance ?X SurveillanceSystem)         (member ?X ?VIDEO)         (member ?X ?DISPLAY)         (located ?VIDEO ?LOC1)         (instance ?VIDEO Camera)         (located ?DISPLAY ?LOC2)         (not             (equal ?LOC1 ?LOC2))         (instance ?DISPLAY VideoDisplay))     (hasPurpose ?X         (exists (?PROC ?VID ?RL ?CAPTURE)             (and                 (instance ?PROC Process)                 (eventLocated ?PROC ?LOC1)                 (represents ?VID ?PROC)                 (instrument ?CAPTURE Camera)                 (result ?CAPTURE ?VID)                 (instance ?RL RadiatingLight)                 (instrument ?RL ?DISPLAY)                 (patient ?RL ?VID)                 (before                     (BeginFn ?PROC)                     (BeginFn ?CAPTURE))                 (before                     (BeginFn ?CAPTURE)                     (BeginFn ?RL))))))	Mid-level-ontology.kif 27006-27032	物理 は SurveillanceSystem の instance では %n 物理 は コレクション の member では %n 物理 は コレクション の member では %n コレクション は オブジェクト に located して %n コレクション は Camera の instance では %n コレクション は オブジェクト に located して %n オブジェクト は オブジェクト と equal では コレクション は VideoDisplay の instance では %n 物理 は エンティティー エンティティー, エンティティー and エンティティー エンティティー は 工程 の instance では %n eventLocated エンティティー and オブジェクト エンティティー は エンティティー を expresses %n{ない} Camera は エンティティー の instrument では %n エンティティー は エンティティー の result では %n エンティティー は 放射光 の instance では %n コレクション は エンティティー の instrument では %n エンティティー は エンティティー の patient では %n エンティティー の beginning は エンティティー の beginning の before に happens %n{ない} エンティティー の beginning は エンティティー の beginning の before に happens %n{ない} の 目的 %n{ない}
(=>     (and         (lastStatement ?Account ?Statement)         (instance ?Transaction1 FinancialTransaction)         (realization ?Statement ?Transaction1)         (instance ?Transaction2 FinancialTransaction)         (not             (realization ?Statement ?Transaction2)))     (earlier         (WhenFn ?Transaction2)         (WhenFn ?Transaction1)))	FinancialOntology.kif 3907-3914	lastStatement FinancialAccount and BankStatement 物理 は 金融取引 の instance では %n BankStatement は 物理 の内容を expresses %n{ない} 物理 は 金融取引 の instance では %n BankStatement は 物理 の内容を express ない 物理 の time の existence は 物理 の time の existence より earlier happens %n{ない}
(=>     (and         (measure ?P1             (MeasureFn ?N1 Lumen))         (measure ?P2             (MeasureFn ?N2 Lumen))         (part ?P1 ?O)         (part ?P2 ?O)         (not             (equal ?P1 ?P2))         (greaterThan ?N1 ?N2)         (equal             (DivisionFn ?N1 ?N2) ?R)         (contrastRatio ?O ?R))     (not         (exists (?P3 ?P4 ?N3 ?N4)             (and                 (measure ?P3                     (MeasureFn ?N3 Lumen))                 (measure ?P4                     (MeasureFn ?N4 Lumen))                 (part ?P3 ?O)                 (part ?P4 ?O)                 (not                     (equal ?P3 ?P4))                 (greaterThan ?N3 ?N4)                 (greaterThan                     (DivisionFn ?N3 ?N4) ?R)))))	ComputingBrands.kif 3735-3756	オブジェクト の measure は 実数 の Lumen(s) では %n オブジェクト の measure は 実数 の Lumen(s) では %n オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト と equal では 実数 は 実数 より greater では　%n 実数 + 実数 は 実数 と equal では %n contrastRatio オブジェクト and 実数 オブジェクト オブジェクト, 実数 and 実数 オブジェクト の measure は 実数 の Lumen(s) では %n オブジェクト の measure は 実数 の Lumen(s) では %n オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト と equal では 実数 は 実数 より greater では　%n 実数 + 実数 は 実数 より greater では　%n
(=>     (and         (meceCollection ?COLL1 ?COLL2)         (instance ?COLL3 Collection)         (instance ?COLL4 Collection)         (instance ?MEMBER SelfConnectedObject)         (member ?MEMBER ?COLL1)         (member ?COLL3 ?COLL2)         (member ?COLL4 ?COLL2)         (not             (equal ?COLL3 ?COLL4)))     (not         (and             (member ?MEMBER ?COLL3)             (member ?MEMBER ?COLL4))))	UXExperimentalTerms.kif 4638-4652	meceCollection コレクション and コレクション コレクション は コレクション の instance では %n コレクション は コレクション の instance では %n 物理 は 自己接続オブジェクト の instance では %n 物理 は コレクション の member では %n コレクション は コレクション の member では %n コレクション は コレクション の member では %n コレクション は コレクション と equal では ~{ 物理 は コレクション の member では %n } ~{ 物理 は コレクション の member では %n }
(=>     (and         (member ?OBJ1 ?COLL)         (member ?OBJ2 ?COLL)         (not             (equal ?OBJ1 ?OBJ2)))     (not         (overlapsSpatially ?OBJ1 ?OBJ2)))	Merge.kif 9629-9635	オブジェクト は コレクション の member では %n オブジェクト は コレクション の member では %n オブジェクト は オブジェクト と equal では overlapsSpatially オブジェクト and オブジェクト
(=>     (and         (names ?NAMESTRING ?OBJ)         (nameBeforeKeyName ?STRING ?KEY ?NAMESTRING)         (not             (equal ?STRING ?KEY)))     (not         (nameIndexOrder ?NAMESTRING ?OBJ)))	Media.kif 3388-3393	エンティティー は 記号文字列 の name を 持って %n{ない} nameBeforeKeyName 記号文字列, 記号文字列 and 記号文字列 記号文字列 は 記号文字列 と equal では nameIndexOrder 記号文字列 and エンティティー
(=>     (and         (not             (attribute ?H Anemia))         (instance ?B Blood)         (part ?B ?H)         (attribute ?H Female)         (measure ?B             (MeasureFn 0.1 Liter))         (instance ?HE Hemoglobin)         (part ?HE ?B)         (not             (instance ?HE2 Hemoglobin))         (not             (equal ?HE ?HE2))         (part ?H2 ?B)         (measure ?HE             (MeasureFn ?N Gram)))     (greaterThan ?N 12))	Medicine.kif 206-221	Anemia は オブジェクト の attribute では オブジェクト は 血 の instance では %n オブジェクト は オブジェクト の part では %n Female は オブジェクト の attribute では %n オブジェクト の measure は 0.1 の Liter(s) では %n オブジェクトE は Hemoglobin の instance では %n オブジェクトE は オブジェクト の part では %n オブジェクトE2 は Hemoglobin の instance では オブジェクトE は オブジェクトE2 と equal では オブジェクト2 は オブジェクト の part では %n オブジェクトE の measure は 実数 の Gram(s) では %n 実数 は 12 より greater では　%n
(=>     (and         (not             (attribute ?H Anemia))         (instance ?B Blood)         (part ?B ?H)         (attribute ?H Male)         (measure ?B             (MeasureFn 0.1 Liter))         (instance ?HE Hemoglobin)         (part ?HE ?B)         (not             (instance ?HE2 Hemoglobin))         (not             (equal ?HE ?HE2))         (part ?H2 ?B)         (measure ?HE             (MeasureFn ?N Gram)))     (greaterThan ?N 13))	Medicine.kif 189-204	Anemia は オブジェクト の attribute では オブジェクト は 血 の instance では %n オブジェクト は オブジェクト の part では %n Male は オブジェクト の attribute では %n オブジェクト の measure は 0.1 の Liter(s) では %n オブジェクトE は Hemoglobin の instance では %n オブジェクトE は オブジェクト の part では %n オブジェクトE2 は Hemoglobin の instance では オブジェクトE は オブジェクトE2 と equal では オブジェクト2 は オブジェクト の part では %n オブジェクトE の measure は 実数 の Gram(s) では %n 実数 は 13 より greater では　%n
(=>     (and         (not             (equal ?NUMBER2 0))         (equal             (AdditionFn                 (MultiplicationFn                     (FloorFn                         (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))     (equal         (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER))	Merge.kif 5118-5129	整数 は 0 と equal では ( 整数 + 整数 以下の largest 整数 + 整数 + 整数) は 整数 と equal では %n 整数 を 整数 で割った剰余数 は 整数 と equal では %n
(=>     (and         (not             (holdsDuring ?T1                 (attribute ?H Concussion)))         (holdsDuring ?T2             (attribute ?H Concussion))         (meetsTemporally ?T1 ?T2))     (modalAttribute         (holdsDuring             (BeginFn ?T2)             (attribute ?H Unconscious)) Likely))	Medicine.kif 1314-1326	Concussion は エンティティー の attribute では %n は 時間間隔 の during hold ない Concussion は エンティティー の attribute では %n は 時間間隔 の during holds %n{ない} 時間間隔 は 時間間隔 に meets %n{ない} ステートメント 無意識 は エンティティー の attribute では %n は 時間間隔 の beginning の during holds %n{ない} には Likely の modal force が ある
(=>     (and         (not             (instance ?A AutonomousAgent))         (holdsDuring ?T             (attribute ?A Motionless)))     (not         (exists (?P)             (and                 (instance ?P Motion)                 (patient ?P ?A)                 (during                     (WhenFn ?P) ?T)))))	Mid-level-ontology.kif 30279-30290	エンティティー は AutonomousAgent の instance では Motionless は エンティティー の attribute では %n は 時間間隔 の during holds %n{ない} 工程 工程 は motion の instance では %n エンティティー は 工程 の patient では %n 工程 の time の existence は 時間間隔 の during に takes %n{ない}
(=>     (and         (not             (part ?OBJ1 ?OBJ2))         (not             (part ?OBJ2 ?OBJ1))         (and             (part ?OBJ3 ?OBJ1)             (part ?OBJ3 ?OBJ2)))     (overlapsPartially ?OBJ1 ?OBJ2))	Merge.kif 9670-9677	オブジェクト は オブジェクト の part では オブジェクト は オブジェクト の part では オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト と partially overlaps し %n{ない}
(=>     (and         (not             (vegetationType ?REGION ?TYPE))         (subclass ?TYPE Plant)         (instance ?REGION GeographicArea))     (not         (exists (?PLANT)             (and                 (instance ?PLANT ?TYPE)                 (located ?PLANT ?REGION)))))	Geography.kif 6201-6209	vegetationType 地理的地域 and 植物 植物 は 植物 の subclass では %n 地理的地域 は 地理的地域 の instance では %n 物理 物理 は 植物 の instance では %n 物理 は 地理的地域 に located して %n
(=>     (and         (orientation ?OBJ1 ?OBJ2 ?ATTR1)         (contraryAttribute @ROW)         (inList ?ATTR1             (ListFn @ROW))         (inList ?ATTR2             (ListFn @ROW))         (not             (equal ?ATTR1 ?ATTR2)))     (not         (orientation ?OBJ1 ?OBJ2 ?ATTR2)))	Merge.kif 16992-17000	オブジェクト は 位置属性 対 オブジェクト では %n @ROW は の disjoint では %n 位置属性 は (@ROW) の member では %n 位置属性 は (@ROW) の member では %n 位置属性 は 位置属性 と equal では オブジェクト は 位置属性 対 オブジェクト では
(=>     (and         (overlapsSpatially ?ONE ?TWO)         (instance ?TWO Region)         (not             (equal ?ONE ?TWO)))     (partlyLocated ?ONE ?TWO))	Geography.kif 3496-3501	overlapsSpatially オブジェクト and オブジェクト オブジェクト は 地域 の instance では %n オブジェクト は オブジェクト と equal では オブジェクト は partly に オブジェクト に 位置して %n
(=>     (and         (parent ?ORGANISM1 ?PARENT1)         (parent ?ORGANISM2 ?PARENT1)         (parent ?ORGANISM1 ?PARENT2)         (parent ?ORGANISM2 ?PARENT2)         (not             (equal ?ORGANISM1 ?ORGANISM2))         (not             (equal ?PARENT1 ?PARENT2)))     (sibling ?ORGANISM1 ?ORGANISM2))	Merge.kif 16542-16550	物 は 物 の parent では %n 物 は 物 の parent では %n 物 は 物 の parent では %n 物 は 物 の parent では %n 物 は 物 と equal では 物 は 物 と equal では 物 は 物 の father では %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