(=>     (and         (instance ?MONTH             (MonthFn February ?YEAR))         (instance ?Y ?YEAR)         (not             (instance ?Y LeapYear)))     (duration ?MONTH         (MeasureFn 28 DayDuration)))	Merge.kif 9088-9093	時間間隔 は 2月 month 目 の instance では %n エンティティー は エンティティーEAR の instance では %n エンティティー は うるう年 の instance では 時間間隔 の duration は 28 の DayDuration(s) では %n
(=>     (and         (instance ?NUMBER Integer)         (not             (equal ?NUMBER 0)))     (equal 1         (MultiplicationFn ?NUMBER             (ReciprocalFn ?NUMBER))))	Merge.kif 5086-5091	実数 は 整数 の instance では %n 実数 は 0 と equal では 1 は 実数 + 実数 の reciprocal と equal では %n
(=>     (and         (instance ?P PerniciousAnemia)         (experiencer ?P ?H1)         (amount VitaminB12 ?H1             (MeasureFn ?N1 ?U))         (amount VitaminB12 ?H2             (MeasureFn ?N2 ?U))         (attribute ?H2 Healthy)         (not             (equal ?H1 ?H2)))     (greaterThan ?N2 ?N1))	Medicine.kif 2695-2704	工程 は PerniciousAnemia の instance では %n AutonomousAgent が 工程 を experiences %n{ない} amount VitaminB12, AutonomousAgent and 実数 の 測定単位(s) amount VitaminB12, 微粒子オブジェクト and 実数 の 測定単位(s) Healthy は 微粒子オブジェクト の attribute では %n AutonomousAgent は 微粒子オブジェクト と equal では 実数 は 実数 より greater では　%n
(=>     (and         (instance ?POINT TimePoint)         (not             (equal ?POINT NegativeInfinity)))     (before NegativeInfinity ?POINT))	Merge.kif 7909-7913	時点 は 時点 の instance では %n 時点 は NegativeInfinity と equal では NegativeInfinity は 時点 の before に happens %n{ない}
(=>     (and         (instance ?POINT TimePoint)         (not             (equal ?POINT NegativeInfinity)))     (exists (?OTHERPOINT)         (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))	Merge.kif 7915-7920	時点 は 時点 の instance では %n 時点 は NegativeInfinity と equal では 時点 時点 は NegativeInfinity と 時点 の between に　%n
(=>     (and         (instance ?POINT TimePoint)         (not             (equal ?POINT PositiveInfinity)))     (before ?POINT PositiveInfinity))	Merge.kif 7891-7895	時点 は 時点 の instance では %n 時点 は PositiveInfinity と equal では 時点 は PositiveInfinity の before に happens %n{ない}
(=>     (and         (instance ?POINT TimePoint)         (not             (equal ?POINT PositiveInfinity)))     (exists (?OTHERPOINT)         (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))	Merge.kif 7897-7902	時点 は 時点 の instance では %n 時点 は PositiveInfinity と equal では 時点 時点 は 時点 と PositiveInfinity の between に　%n
(=>     (and         (instance ?PROCESS ?PROCESS_CLASS)         (subclass ?PROCESS_CLASS Process)         (instance ?ACCESSING AccessingWebPage)         (instance ?AGENT AutonomousAgent)         (agent ?PROCESS ?AGENT)         (agent ?ACCESSING ?AGENT)         (during ?PROCESS ?ACCESSING)         (instance ?TIMETOFIRST TimeInterval)         (not             (exists (?PROCESS2)                 (and                     (instance ?PROCESS2 ?PROCESS_CLASS)                     (agent ?PROCESS2 ?AGENT)                     (during ?PROCESS2 ?ACCESSING)                     (before                         (BeginFn                             (WhenFn ?PROCESS2))                         (BeginFn                             (WhenFn ?PROCESS))))))         (equal             (BeginFn                 (WhenFn ?ACCESSING))             (BeginFn                 (WhenFn ?TIMETOFIRST)))         (equal             (BeginFn                 (WhenFn ?PROCESS))             (EndFn                 (WhenFn ?TIMETOFIRST))))     (equal         (TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))	UXExperimentalTerms.kif 1496-1518	時間間隔 は 時間間隔_CLASS の instance では %n 時間間隔_CLASS は 工程 の subclass では %n AccessingWebPage は AccessingWebPage の instance では %n AutonomousAgent は AutonomousAgent の instance では %n AutonomousAgent は 時間間隔 の agent では %n AutonomousAgent は AccessingWebPage の agent では %n 時間間隔 は AccessingWebPage の during に takes %n{ない} 物理 は 時間間隔 の instance では %n 時間間隔2 時間間隔2 は 時間間隔_CLASS の instance では %n AutonomousAgent は 時間間隔2 の agent では %n 時間間隔2 は AccessingWebPage の during に takes %n{ない} 時間間隔2 の time の existence の beginning は 時間間隔 の time の existence の beginning の before に happens %n{ない} AccessingWebPage の time の existence の beginning は 物理 の time の existence の beginning と equal では %n 時間間隔 の time の existence の beginning は 物理 の time の existence の end と equal では %n TTFxFn 時間間隔_CLASS and AccessingWebPage は 物理 と equal では %n
(=>     (and         (instance ?PROCESS TakingOff)         (patient ?PROCESS ?DUD)         (not             (exists (?EXPLOSION)                 (and                     (instance ?EXPLOSION Explosion)                     (patient ?EXPLOSION ?DUD)))))     (instance ?DUD AbsoluteDud))	MilitaryDevices.kif 1409-1418	工程 は TakingOff の instance では %n エンティティー は 工程 の patient では %n 工程 工程 は Explosion の instance では %n エンティティー は 工程 の patient では %n エンティティー は AbsoluteDud の instance では %n
(=>     (and         (instance ?R CervicalVertebraBone)         (part ?R ?H)         (instance ?H Human)         (not             (attribute ?H DiseaseOrSyndrome)))     (exists (?S)         (and             (instance ?S CervicalVertebraBone)             (not                 (equal ?S ?R))             (part ?S ?H)             (connectedBodyPart ?S ?R))))	Anatomy.kif 561-574	体の部分 は CervicalVertebraBone の instance では %n 体の部分 は オブジェクト の part では %n オブジェクト は 人［人間］ の instance では %n 病気または症候群 は オブジェクト の attribute では 体の部分 体の部分 は CervicalVertebraBone の instance では %n 体の部分 は 体の部分 と equal では 体の部分 は オブジェクト の part では %n connectedBodyPart 体の部分 and 体の部分
(=>     (and         (instance ?R FalseRibBone)         (part ?R ?H)         (instance ?H Human)         (not             (attribute ?H DiseaseOrSyndrome)))     (not         (exists (?S)             (and                 (instance ?S Sternum)                 (part ?S ?H)                 (connectedBodyPart ?S ?R)))))	Anatomy.kif 505-517	体の部分 は FalseRibBone の instance では %n 体の部分 は オブジェクト の part では %n オブジェクト は 人［人間］ の instance では %n 病気または症候群 は オブジェクト の attribute では 体の部分 体の部分 は Sternum の instance では %n 体の部分 は オブジェクト の part では %n connectedBodyPart 体の部分 and 体の部分
(=>     (and         (instance ?R LumbarVertebraBone)         (part ?R ?H)         (instance ?H Human)         (not             (attribute ?H DiseaseOrSyndrome)))     (exists (?S)         (and             (instance ?S LumbarVertebraBone)             (not                 (equal ?S ?R))             (part ?S ?H)             (connectedBodyPart ?S ?R))))	Anatomy.kif 601-614	体の部分 は LumbarVertebraBone の instance では %n 体の部分 は オブジェクト の part では %n オブジェクト は 人［人間］ の instance では %n 病気または症候群 は オブジェクト の attribute では 体の部分 体の部分 は LumbarVertebraBone の instance では %n 体の部分 は 体の部分 と equal では 体の部分 は オブジェクト の part では %n connectedBodyPart 体の部分 and 体の部分
(=>     (and         (instance ?R Ratchet)         (instance ?A AttachingDevice)         (instance ?RO1 Rotating)         (attribute ?RO1 ?DIR1)         (instance ?RO2 Rotating)         (attribute ?RO2 ?DIR2)         (instance ?DIR1 RotationalAttribute)         (instance ?DIR2 RotationalAttribute)         (not             (equal ?RO1 ?RO2))         (causes ?RO1 ?RO2)         (patient ?RO1 Ratchet)         (patient ?RO2 ?A))     (equal ?DIR1 ?DIR2))	Cars.kif 4935-4950	エンティティー は Ratchet の instance では %n エンティティー は AttachingDevice の instance では %n エンティティーO1 は Rotating の instance では %n 属性 は エンティティーO1 の attribute では %n エンティティーO2 は Rotating の instance では %n 属性 は エンティティーO2 の attribute では %n 属性 は RotationalAttribute の instance では %n 属性 は RotationalAttribute の instance では %n エンティティーO1 は エンティティーO2 と equal では エンティティーO1 は エンティティーO2 を causes %n{ない} Ratchet は エンティティーO1 の patient では %n エンティティー は エンティティーO2 の patient では %n 属性 は 属性 と equal では %n
(=>     (and         (instance ?R ThoracicVertebraBone)         (part ?R ?H)         (instance ?H Human)         (not             (attribute ?H DiseaseOrSyndrome)))     (exists (?S)         (and             (instance ?S ThoracicVertebraBone)             (not                 (equal ?S ?R))             (part ?S ?H)             (connectedBodyPart ?S ?R))))	Anatomy.kif 669-682	体の部分 は ThoracicVertebraBone の instance では %n 体の部分 は オブジェクト の part では %n オブジェクト は 人［人間］ の instance では %n 病気または症候群 は オブジェクト の attribute では 体の部分 体の部分 は ThoracicVertebraBone の instance では %n 体の部分 は 体の部分 と equal では 体の部分 は オブジェクト の part では %n connectedBodyPart 体の部分 and 体の部分
(=>     (and         (instance ?R TrueRibBone)         (part ?R ?H)         (instance ?H Human)         (not             (attribute ?H DiseaseOrSyndrome)))     (exists (?S)         (and             (instance ?S Sternum)             (part ?S ?H)             (connectedBodyPart ?S ?R))))	Anatomy.kif 492-503	体の部分 は TrueRibBone の instance では %n 体の部分 は オブジェクト の part では %n オブジェクト は 人［人間］ の instance では %n 病気または症候群 は オブジェクト の attribute では 体の部分 体の部分 は Sternum の instance では %n 体の部分 は オブジェクト の part では %n connectedBodyPart 体の部分 and 体の部分
(=>     (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 11246-11261	自己接続オブジェクト は RibCage の instance では %n 自己接続オブジェクト は オブジェクト の part では %n オブジェクト は 人［人間］ の instance では %n Living は オブジェクト の attribute では %n ~{ 物理 は 病理学的プロセス の instance では %n } ~{ 物理 は オブジェクト に located して %n } オブジェクトT オブジェクト オブジェクトT は Heart の instance では %n オブジェクトT は Lung の instance では %n 自己接続オブジェクト は オブジェクト を contains %n{ない} 自己接続オブジェクト は オブジェクトT を contains %n{ない}
(=>     (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 5629-5638	工程 は Soldering の instance では %n オブジェクト は 工程 の patient では %n オブジェクト は 工程 の patient では %n オブジェクト は オブジェクト と equal では オブジェクト オブジェクト は MetallicAlloy の instance では %n オブジェクト は オブジェクト と オブジェクト に connects %n{ない}
(=>     (and         (instance ?SEA Ocean)         (not             (equal ?SEA ArcticOcean)))     (smaller ArcticOcean ?SEA))	Geography.kif 4643-4647	オブジェクト は Ocean の instance では %n オブジェクト は ArcticOcean と equal では ArcticOcean は オブジェクト よりも smaller %n
(=>     (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 2120-2139	エンティティー は Shaft の instance では %n エンティティー は Shaft の instance では %n エンティティー は エンティティー と equal では エンジニアリング部品 は Rotating の instance では %n エンティティー は エンジニアリング部品 の patient では %n エンジニアリング部品 は Rotating の instance では %n エンティティー は エンジニアリング部品 の patient では %n エンジニアリング部品 は エンジニアリング部品 を causes %n{ない} エンジニアリング部品 は CVJoint の instance では %n エンジニアリング部品 は エンジニアリング部品 に connected して %n エンジニアリング部品 は エンジニアリング部品 に connected して %n エンティティー は RotationFn エンティティー and エンティティー と equal では %n は エンジニアリング部品 の time の existence の during holds %n{ない} エンティティー は RotationFn エンティティー and エンティティー と equal では %n は エンジニアリング部品 の time の existence の during holds %n{ない}
(=>     (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 5132-5145	オブジェクト は StripMall の instance では %n オブジェクト は RetailStore の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は RetailStore の instance では %n オブジェクト は オブジェクト の part では %n オブジェクト は オブジェクト と equal では オブジェクト オブジェクト は Hallway の instance では %n オブジェクト は オブジェクト と オブジェクト に connects %n{ない}
(=>     (and         (instance ?STATE AmericanState)         (not             (equal ?STATE California)))     (greaterThan         (CardinalityFn             (ResidentFn California))         (CardinalityFn             (ResidentFn ?STATE))))	CountriesAndRegions.kif 897-901	地政学的地域 は AmericanState の instance では %n 地政学的地域 は California と equal では ResidentFn California の instances の数 は ResidentFn 地政学的地域 の instances の数 より greater では　%n
(=>     (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 5380-5395	地理的地域 は InlandWaterSystem の instance では %n 地理的地域 は 水域 の instance では %n 地理的地域 は 水域 の instance では %n 地理的地域 は 地理的地域 と equal では 地理的地域 は 地理的地域 と connected して geographicSubregion 地理的地域 and 地理的地域 geographicSubregion 地理的地域 and 地理的地域 オブジェクト オブジェクト は 水域 の instance では %n オブジェクト は 地理的地域 と equal では オブジェクト は 地理的地域 と equal では オブジェクト は 地理的地域 の part では %n オブジェクト は 地理的地域 と 地理的地域 に connects %n{ない}
(=>     (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 5997-6017	時間間隔 は TimePeriod の instance では %n 時間間隔 の duration は 実数 の MinuteDuration(s) では %n 実数 は 5.0 より greater では　%n エンティティー は 人［人間］ の instance では %n 工程 工程 は 呼吸 の instance では %n 工程 の time の existence は 時間間隔 の during に takes %n{ない} エンティティー は 工程 の patient では %n ステートメント エンティティー エンティティー は 死 の instance では %n エンティティー が エンティティー を experiences %n{ない} 時間間隔 は エンティティー の time の existence に meets %n{ない} には 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 では %n Alaska の measure は 実数 の 測定単位(s) では %n 物理 の measure は 実数 の 測定単位(s) では %n 物理 は AmericanState の instance では %n Alaska は 物理 と equal では 実数 は 実数 より less では %n
(=>     (and         (instance ?UNIT SingleFamilyResidence)         (home ?PERSON ?UNIT)         (possesses ?PERSON ?UNIT)         (not             (instance ?UNIT Building)))     (instance ?UNIT CondominiumUnit))	Mid-level-ontology.kif 6920-6926	PermanentResidence は SingleFamilyResidence の instance では %n 人［人間］ の homeは PermanentResidence では %n 人［人間］ は PermanentResidence を possesses %n{ない} PermanentResidence は 建物 の instance では PermanentResidence は CondominiumUnit の 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