(=>     (and         (instance ?RC RibCage)         (part ?RC ?H)         (instance ?H Human)         (attribute ?H Living)         (not             (and                 (instance ?P PathologicProcess)                 (located ?P ?H))))     (exists (?HT ?LG)         (and             (instance ?HT Heart)             (instance ?HT Lung)             (contains ?RC ?LG)             (contains ?RC ?HT))))	Mid-level-ontology.kif 12578-12593	自己接続オブジェクト は RibCage の instance では 自己接続オブジェクト は オブジェクト の part では オブジェクト は 人［人間］ の instance では Living は オブジェクト の attribute では ~{ 物理 は 病理学的プロセス の instance では } ~{ 物理 は オブジェクト に located して } オブジェクトT オブジェクト オブジェクトT は Heart の instance では オブジェクトT は Lung の instance では 自己接続オブジェクト は オブジェクト を contains 自己接続オブジェクト は オブジェクトT を contains
(=>     (and         (instance ?S PlaneInSpace)         (part ?L1 ?S)         (instance ?L1 LineInSpace)         (part ?L2 ?S)         (instance ?L2 LineInSpace)         (not             (equal ?L1 ?L2))         (not             (parallelLinesInSpace ?L1 ?L2)))     (exists (?P)         (and             (instance ?P PointInSpace)             (part ?P ?L1)             (part ?P ?L2))))	Mid-level-ontology.kif 27385-27400	オブジェクト は PlaneInSpace の instance では LineInSpace は オブジェクト の part では LineInSpace は LineInSpace の instance では LineInSpace は オブジェクト の part では LineInSpace は LineInSpace の instance では LineInSpace は LineInSpace と equal では parallelLinesInSpace LineInSpace and LineInSpace オブジェクト オブジェクト は PointInSpace の instance では オブジェクト は LineInSpace の part では オブジェクト は LineInSpace の part では
(=>     (and         (instance ?S PlaneInSpace)         (part ?L1 ?S)         (instance ?L1 LineInSpace)         (part ?L2 ?S)         (instance ?L2 LineInSpace)         (not             (equal ?L1 ?L2))         (parallelLineInSpace ?L1 ?L2))     (not         (exists (?P)             (and                 (instance ?P PointInSpace)                 (part ?P ?L1)                 (part ?P ?L2)))))	Mid-level-ontology.kif 27402-27417	オブジェクト は PlaneInSpace の instance では オブジェクト は オブジェクト の part では オブジェクト は LineInSpace の instance では オブジェクト は オブジェクト の part では オブジェクト は LineInSpace の instance では オブジェクト は オブジェクト と equal では parallelLineInSpace オブジェクト and オブジェクト オブジェクト オブジェクト は PointInSpace の instance では オブジェクト は オブジェクト の part では オブジェクト は オブジェクト の part では
(=>     (and         (instance ?S Soldering)         (patient ?S ?OBJ1)         (patient ?S ?OBJ2)         (not             (equal ?OBJ1 ?OBJ2)))     (exists (?A)         (and             (instance ?A MetallicAlloy)             (connects ?A ?OBJ1 ?OBJ2))))	Mid-level-ontology.kif 6567-6576	工程 は Soldering の instance では オブジェクト は 工程 の patient では オブジェクト は 工程 の patient では オブジェクト は オブジェクト と equal では オブジェクト オブジェクト は MetallicAlloy の instance では オブジェクト は オブジェクト と オブジェクト に connects
(=>     (and         (instance ?SEA Ocean)         (not             (equal ?SEA ArcticOcean)))     (smaller ArcticOcean ?SEA))	Geography.kif 4713-4717	オブジェクト は Ocean の instance では オブジェクト は ArcticOcean と equal では ArcticOcean は オブジェクト よりも smaller
(=>     (and         (instance ?SH1 Shaft)         (instance ?SH2 Shaft)         (not             (equal ?SH1 ?SH2))         (instance ?R1 Rotating)         (patient ?R1 ?SH1)         (instance ?R2 Rotating)         (patient ?R2 ?SH2)         (causes ?R1 ?R2)         (instance ?CV CVJoint)         (connectedEngineeringComponents ?R1 ?CV)         (connectedEngineeringComponents ?R2 ?CV)         (holdsDuring             (WhenFn ?R1)             (equal ?SH1                 (RotationFn ?N ?T))))     (holdsDuring         (WhenFn ?R2)         (equal ?SH2             (RotationFn ?N ?T))))	Cars.kif 2098-2117	エンティティー は Shaft の instance では エンティティー は Shaft の instance では エンティティー は エンティティー と equal では エンジニアリング部品 は Rotating の instance では エンティティー は エンジニアリング部品 の patient では エンジニアリング部品 は Rotating の instance では エンティティー は エンジニアリング部品 の patient では エンジニアリング部品 は エンジニアリング部品 を causes エンジニアリング部品 は CVJoint の instance では エンジニアリング部品 は エンジニアリング部品 に connected して エンジニアリング部品 は エンジニアリング部品 に connected して エンティティー は RotationFn エンティティー and エンティティー と equal では は エンジニアリング部品 の time の existence の during holds エンティティー は RotationFn エンティティー and エンティティー と equal では は エンジニアリング部品 の time の existence の during holds
(=>     (and         (instance ?SM StripMall)         (instance ?RS1 RetailStore)         (part ?RS1 ?SM)         (instance ?RS2 RetailStore)         (part ?RS2 ?SM)         (not             (equal ?RS1 ?RS2)))     (not         (exists (?H)             (and                 (instance ?H Hallway)                 (connects ?RS1 ?H ?RS2)))))	Medicine.kif 5140-5153	オブジェクト は StripMall の instance では オブジェクト は RetailStore の instance では オブジェクト は オブジェクト の part では オブジェクト は RetailStore の instance では オブジェクト は オブジェクト の part では オブジェクト は オブジェクト と equal では オブジェクト オブジェクト は Hallway の instance では オブジェクト は オブジェクト と オブジェクト に connects
(=>     (and         (instance ?STATE AmericanState)         (not             (equal ?STATE California)))     (greaterThan         (CardinalityFn             (ResidentFn California))         (CardinalityFn             (ResidentFn ?STATE))))	CountriesAndRegions.kif 897-901	地政学的地域 は AmericanState の instance では 地政学的地域 は California と equal では ResidentFn California の instances の数 は ResidentFn 地政学的地域 の instances の数 より greater では
(=>     (and         (instance ?SYSTEM InlandWaterSystem)         (instance ?WATER1 WaterArea)         (instance ?WATER2 WaterArea)         (not             (equal ?WATER1 ?WATER2))         (not             (connected ?WATER1 ?WATER2))         (geographicSubregion ?WATER1 ?SYSTEM)         (geographicSubregion ?WATER2 ?SYSTEM))     (exists (?WATER3)         (and             (instance ?WATER3 WaterArea)             (not                 (equal ?WATER3 ?WATER1))             (not                 (equal ?WATER3 ?WATER1))             (part ?WATER3 ?SYSTEM)             (connects ?WATER3 ?WATER1 ?WATER2))))	Geography.kif 5513-5528	地理的地域 は InlandWaterSystem の instance では 地理的地域 は 水域 の instance では 地理的地域 は 水域 の instance では 地理的地域 は 地理的地域 と equal では 地理的地域 は 地理的地域 と connected して geographicSubregion 地理的地域 and 地理的地域 geographicSubregion 地理的地域 and 地理的地域 オブジェクト オブジェクト は 水域 の instance では オブジェクト は 地理的地域 と equal では オブジェクト は 地理的地域 と equal では オブジェクト は 地理的地域 の part では オブジェクト は 地理的地域 と 地理的地域 に connects
(=>     (and         (instance ?T TimePeriod)         (duration ?T             (MeasureFn ?N MinuteDuration))         (greaterThan ?N 5.0)         (instance ?H Human)         (not             (exists (?B)                 (and                     (instance ?B Breathing)                     (during                         (WhenFn ?B) ?T)                     (patient ?B ?H)))))     (modalAttribute         (exists (?D)             (and                 (instance ?D Death)                 (experiencer ?D ?H)                 (meetsTemporally ?T                     (WhenFn ?D)))) Likely))	Medicine.kif 6014-6034	時間間隔 は TimePeriod の instance では 時間間隔 の duration は 実数 の MinuteDuration(s) では 実数 は 5.0 より greater では　 エンティティー は 人［人間］ の instance では 工程 工程 は 呼吸 の instance では 工程 の time の existence は 時間間隔 の during に takes エンティティー は 工程 の patient では ステートメント エンティティー エンティティー は 死 の instance では エンティティー が エンティティー を experiences 時間間隔 は エンティティー の time の existence に meets には Likely の modal force が ある
(=>     (and         (instance ?UNIT AreaMeasure)         (measure Alaska             (MeasureFn ?NUMBER1 ?UNIT))         (measure ?STATE             (MeasureFn ?NUMBER2 ?UNIT))         (instance ?STATE AmericanState)         (not             (equal Alaska ?STATE)))     (lessThan ?NUMBER2 ?NUMBER1))	CountriesAndRegions.kif 871-878	測定単位 は 面積測定 の instance では Alaska の measure は 実数 の 測定単位(s) では 物理 の measure は 実数 の 測定単位(s) では 物理 は AmericanState の instance では Alaska は 物理 と equal では 実数 は 実数 より less では
(=>     (and         (instance ?UNIT SingleFamilyResidence)         (home ?PERSON ?UNIT)         (possesses ?PERSON ?UNIT)         (not             (instance ?UNIT Building)))     (instance ?UNIT CondominiumUnit))	Mid-level-ontology.kif 8082-8088	PermanentResidence は SingleFamilyResidence の instance では 人［人間］ の homeは PermanentResidence では 人［人間］ は PermanentResidence を possesses PermanentResidence は 建物 の instance では PermanentResidence は CondominiumUnit の instance では
(=>     (and         (instance ?UW UnconventionalWarfare)         (agent ?UW ?AGENT)         (not             (equal ?AGENT ?POPULACE))         (not             (equal ?AGENT                 (GovernmentFn ?NATION)))         (patient ?UW ?POPULACE)         (or             (member ?POPULACE                 (ResidentFn ?NATION))             (subCollection ?POPULACE                 (ResidentFn ?NATION))))     (exists (?CONTEST)         (and             (instance ?CONTEST Contest)             (agent ?CONTEST ?POPULACE)             (agent ?CONTEST                 (GovernmentFn ?NATION)))))	MilitaryProcesses.kif 163-183	工程 は UnconventionalWarfare の instance では 政府 は 工程 の agent では 政府 は AutonomousAgent と equal では 政府 は 地政学的地域 の government と equal では AutonomousAgent は 工程 の patient では AutonomousAgent は ResidentFn 地政学的地域 の member では AutonomousAgent は ResidentFn 地政学的地域 の 適切な sub-collection では 工程 工程 は コンテスト の instance では AutonomousAgent は 工程 の agent では 地政学的地域 の government は 工程 の agent では
(=>     (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 2449-2458	移動 は Vending の instance では objectTransferred 移動 and オブジェクト オブジェクト は Currency の instance では ステートメント オブジェクト は FoodForFn 人［人間］ の instance では オブジェクト は 飲料 の instance では には 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 では 属性 は 病気または症候群 の instance では 属性 は オブジェクト の attribute では オブジェクト オブジェクト オブジェクト は VocalFold の instance では オブジェクト は VocalFold の instance では オブジェクト は オブジェクト と equal では オブジェクト は オブジェクト の part では オブジェクト は オブジェクト の part では
(=>     (and         (instance ?VO VitalOrgan)         (instance ?H Animal)         (not             (part ?VO ?H)))     (not         (attribute ?H Living)))	Mid-level-ontology.kif 13168-13175	オブジェクト は VitalOrgan の instance では オブジェクト は 動物 の instance では オブジェクト は オブジェクト の part では Living は オブジェクト の attribute では
(=>     (and         (instance ?WATER BodyOfWater)         (not             (instance ?WATER Ocean))         (instance ?OCEAN Ocean))     (larger ?OCEAN ?WATER))	Geography.kif 4593-4598	オブジェクト は BodyOfWater の instance では オブジェクト は Ocean の instance では オブジェクト は Ocean の instance では オブジェクト は オブジェクト よりも larger
(=>     (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 では GUIElement は GUIElement の instance では 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 では
(=>     (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 では エンティティー_P は InterfaceWindow の instance では 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 2629-2637	オブジェクト は Pasta の instance では オブジェクト オブジェクト は Pasta の instance では オブジェクト は オブジェクト の part では LongAndThin は オブジェクト の attribute では
(=>     (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 2770-2783	オブジェクト は Penne の instance では オブジェクト オブジェクト は Penne の instance では オブジェクト は オブジェクト の part では オブジェクト オブジェクト は HoleRegion の instance では オブジェクト は オブジェクト の part では Fillable は オブジェクト の attribute では
(=>     (and         (instance ?X Spaghetti)         (not             (exists (?Y)                 (and                     (instance ?Y Spaghetti)                     (part ?Y ?X)))))     (attribute ?X LongAndThin))	Food.kif 3471-3479	オブジェクト は Spaghetti の instance では オブジェクト オブジェクト は Spaghetti の instance では オブジェクト は オブジェクト の part では LongAndThin は オブジェクト の attribute では
(=>     (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 28874-28900	物理 は SurveillanceSystem の instance では 物理 は コレクション の member では 物理 は コレクション の member では コレクション は オブジェクト に located して コレクション は Camera の instance では コレクション は オブジェクト に located して オブジェクト は オブジェクト と equal では コレクション は VideoDisplay の instance では 物理 は エンティティー エンティティー, エンティティー and エンティティー エンティティー は 工程 の instance では eventLocated エンティティー and オブジェクト エンティティー は エンティティー を expresses Camera は エンティティー の instrument では エンティティー は エンティティー の result では エンティティー は 放射光 の instance では コレクション は エンティティー の instrument では エンティティー は エンティティー の patient では エンティティー の beginning は エンティティー の beginning の before に happens エンティティー の beginning は エンティティー の beginning の before に happens の 目的
(=>     (and         (lastStatement ?Account ?Statement)         (instance ?Transaction1 FinancialTransaction)         (realization ?Statement ?Transaction1)         (instance ?Transaction2 FinancialTransaction)         (not             (realization ?Statement ?Transaction2)))     (earlier         (WhenFn ?Transaction2)         (WhenFn ?Transaction1)))	FinancialOntology.kif 3925-3932	lastStatement FinancialAccount and BankStatement 物理 は 金融取引 の instance では BankStatement は 物理 の内容を expresses 物理 は 金融取引 の instance では BankStatement は 物理 の内容を express ない 物理 の time の existence は 物理 の time の existence より earlier happens
(=>     (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 3730-3751	オブジェクト の measure は 実数 の Lumen(s) では オブジェクト の measure は 実数 の Lumen(s) では オブジェクト は オブジェクト の part では オブジェクト は オブジェクト の part では オブジェクト は オブジェクト と equal では 実数 は 実数 より greater では　 実数 + 実数 は 実数 と equal では contrastRatio オブジェクト and 実数 オブジェクト オブジェクト, 実数 and 実数 オブジェクト の measure は 実数 の Lumen(s) では オブジェクト の measure は 実数 の Lumen(s) では オブジェクト は オブジェクト の part では オブジェクト は オブジェクト の part では オブジェクト は オブジェクト と equal では 実数 は 実数 より greater では　 実数 + 実数 は 実数 より greater では
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