(=>     (and         (instance ?X Kidnapping)         (instance ?G GroupOfPeople)         (memberCount ?G ?N)         (patient ?X ?G))     (lessThan ?N 3))	Mid-level-ontology.kif 21952-21958	工程 は Kidnapping の instance では %n コレクション は GroupOfPeople の instance では %n memberCount コレクション and 整数 コレクション は 工程 の patient では %n 整数 は 3 より less では %n
(=>     (and         (instance ?YEAR TimeInterval)         (holdsDuring ?YEAR             (economyType ?AREA LowIncomeCountry)))     (exists (?AMOUNT)         (and             (perCapitaGDPInPeriod ?AREA                 (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)             (lessThan ?AMOUNT 756.0))))	Economy.kif 440-447	時間間隔 は 時間間隔 の instance では %n economyType 地政学的地域 and LowIncomeCountry は 時間間隔 の during holds %n{ない} 実数 perCapitaGDPInPeriod 地政学的地域, 実数 の UnitedStatesDollar(s) and 時間間隔 実数 は 756.0 より less では %n
(=>     (and         (instance ?YEAR TimeInterval)         (holdsDuring ?YEAR             (economyType ?AREA LowerMiddleIncomeCountry)))     (exists (?AMOUNT)         (and             (perCapitaGDPInPeriod ?AREA                 (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)             (lessThan ?AMOUNT 2996.0))))	Economy.kif 465-472	時間間隔 は 時間間隔 の instance では %n economyType 地政学的地域 and LowerMiddleIncomeCountry は 時間間隔 の during holds %n{ない} 実数 perCapitaGDPInPeriod 地政学的地域, 実数 の UnitedStatesDollar(s) and 時間間隔 実数 は 2996.0 より less では %n
(=>     (and         (instance ?YEAR TimeInterval)         (holdsDuring ?YEAR             (economyType ?AREA UpperMiddleIncomeCountry)))     (exists (?AMOUNT)         (and             (perCapitaGDPInPeriod ?AREA                 (MeasureFn ?AMOUNT UnitedStatesDollar) ?YEAR)             (lessThan ?AMOUNT 9267.0))))	Economy.kif 490-497	時間間隔 は 時間間隔 の instance では %n economyType 地政学的地域 and UpperMiddleIncomeCountry は 時間間隔 の during holds %n{ない} 実数 perCapitaGDPInPeriod 地政学的地域, 実数 の UnitedStatesDollar(s) and 時間間隔 実数 は 9267.0 より less では %n
(=>     (attribute ?F LongAndThin)     (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)         (and             (side ?S1 ?F)             (side ?S2 ?F)             (meetsSpatially ?S1 ?S2)             (not                 (equal ?S1 ?S2))             (instance ?U UnitOfLength)             (length ?F                 (MeasureFn ?HF ?U))             (length ?S1                 (MeasureFn ?H1 ?U))             (length ?S2                 (MeasureFn ?H2 ?U))             (lessThan ?H1                 (MultiplicationFn 3.0 ?HF))             (lessThan ?H2                 (MultiplicationFn 3.0 ?HF)))))	Mid-level-ontology.kif 2803-2816	LongAndThin は 自己接続オブジェクト の attribute では %n 自己接続オブジェクト 自己接続オブジェクト, 実数, 実数, 実数 and 測定単位 自己接続オブジェクト の side は 自己接続オブジェクト では 自己接続オブジェクト の side は 自己接続オブジェクト では 自己接続オブジェクト は 自己接続オブジェクト と meets %n{ない} 自己接続オブジェクト は 自己接続オブジェクト と equal では 測定単位 は UnitOfLength の instance では %n 自己接続オブジェクト の length は 実数 の 測定単位(s) では 自己接続オブジェクト の length は 実数 の 測定単位(s) では 自己接続オブジェクト の length は 実数 の 測定単位(s) では 実数 は 3.0 + 実数 より less では %n 実数 は 3.0 + 実数 より less では %n
(=>     (climateTypeInArea ?AREA ColdClimateZone)     (exists (?MO ?AMOUNT)         (and             (instance ?MO Month)             (temporalPart ?MO WinterSeason)             (averageTemperatureForPeriod ?AREA ?MO                 (MeasureFn ?AMOUNT CelsiusDegree))             (lessThan ?AMOUNT -3.0))))	Geography.kif 1533-1541	climateTypeInArea 地理的地域 and ColdClimateZone 時間間隔 実数 時間間隔 は 月 の instance では %n 時間間隔 は WinterSeason の part では %n averageTemperatureForPeriod 地理的地域, 時間間隔 and 実数 の CelsiusDegree(s) 実数 は -3.0 より less では %n
(=>     (climateTypeInArea ?AREA TemperateClimateZone)     (exists (?MO ?AMOUNT)         (and             (instance ?MO Month)             (averageTemperatureForPeriod ?AREA ?MO                 (MeasureFn ?AMOUNT CelsiusDegree))             (greaterThanOrEqualTo ?AMOUNT -3.0)             (lessThanOrEqualTo ?AMOUNT 18.0)             (not                 (exists (?M2 ?MT2)                     (and                         (instance ?M2 Month)                         (averageTemperatureForPeriod ?AREA ?M2                             (MeasureFn ?MT2 CelsiusDegree))                         (lessThan ?MT2 ?AMOUNT)))))))	Geography.kif 1428-1443	climateTypeInArea 地理的地域 and TemperateClimateZone 時間間隔 実数 時間間隔 は 月 の instance では %n averageTemperatureForPeriod 地理的地域, 時間間隔 and 実数 の CelsiusDegree(s) 実数 は -3.0 greater では　%n 実数 は 18.0 より less または同等 では %n 時間間隔 実数 時間間隔 は 月 の instance では %n averageTemperatureForPeriod 地理的地域, 時間間隔 and 実数 の CelsiusDegree(s) 実数 は 実数 より less では %n
(=>     (climateTypeInArea ?AREA TropicalClimateZone)     (exists (?MO ?TEMP)         (and             (instance ?MO Month)             (averageTemperatureForPeriod ?AREA ?MO                 (MeasureFn ?TEMP CelsiusDegree))             (greaterThan ?TEMP 18.0)             (not                 (exists (?M2 ?MT2)                     (and                         (averageTemperatureForPeriod ?AREA ?M2                             (MeasureFn ?MT2 CelsiusDegree))                         (lessThan ?MT2 ?TEMP)))))))	Geography.kif 1285-1298	climateTypeInArea 地理的地域 and TropicalClimateZone 時間間隔 実数 時間間隔 は 月 の instance では %n averageTemperatureForPeriod 地理的地域, 時間間隔 and 実数 の CelsiusDegree(s) 実数 は 18.0 より greater では　%n 時間間隔 実数 averageTemperatureForPeriod 地理的地域, 時間間隔 and 実数 の CelsiusDegree(s) 実数 は 実数 より less では %n
(=>     (dayPhone ?Number ?Agent)     (exists (?Phone ?Hour ?Num)         (and             (phoneNumber ?Number ?Phone)             (greaterThan ?Num 6)             (lessThan ?Num 18)             (holdsDuring                 (instance ?Hour                     (HourFn ?Num Day))                 (exists (?T)                     (and                         (instance ?T Telephoning)                         (destination ?T ?Agent)                         (patient ?T ?Phone)                         (possesses ?Agent ?Phone)                         (modalAttribute                             (exists (?A)                                 (and                                     (instance ?A Answering)                                     (subProcess ?A ?T)                                     (agent ?A ?Agent))) Likely)))))))	FinancialOntology.kif 3691-3711	dayPhone 記号文字列 and AutonomousAgent Telephone エンティティー and 実数 phoneNumber 記号文字列 and Telephone 実数 は 6 より greater では　%n 実数 は 18 より less では %n エンティティー エンティティー は Telephoning の instance では %n エンティティー は AutonomousAgent に ends %n{ない} Telephone は エンティティー の patient では %n AutonomousAgent は Telephone を possesses %n{ない} ステートメント エンティティー エンティティー は Answering の instance では %n エンティティー は エンティティー% の subprocess では %n AutonomousAgent は エンティティー の agent では %n には Likely の modal force が ある は エンティティー は 実数 hour 目 の instance では %n の during holds %n{ない}
(=>     (defaultMinimumHeight ?OBJECT         (MeasureFn ?H ?U))     (modalAttribute         (exists (?INST ?HEIGHT)             (and                 (instance ?INST ?OBJECT)                 (height ?INST                     (MeasureFn ?HEIGHT ?U))                 (lessThan ?HEIGHT ?H))) Unlikely))	Mid-level-ontology.kif 13349-13357	defaultMinimumHeight オブジェクト and 実数 の 測定単位(s) ステートメント エンティティー 実数EIGHT エンティティー は オブジェクト の instance では %n エンティティー の height は 実数EIGHT の 測定単位(s) では %n 実数EIGHT は 実数 より less では %n には Unlikely の modal force が ある
(=>     (defaultMinimumLength ?OBJECT         (MeasureFn ?L ?U))     (modalAttribute         (exists (?INST ?LENGTH)             (and                 (instance ?INST ?OBJECT)                 (length ?INST                     (MeasureFn ?LENGTH ?U))                 (lessThan ?LENGTH ?L))) Unlikely))	Mid-level-ontology.kif 13415-13423	defaultMinimumLength オブジェクト and 実数 の 測定単位(s) ステートメント エンティティー 実数ENGTH エンティティー は オブジェクト の instance では %n エンティティー の length は 実数ENGTH の 測定単位(s) では 実数ENGTH は 実数 より less では %n には Unlikely の modal force が ある
(=>     (defaultMinimumWidth ?OBJECT         (MeasureFn ?W ?U))     (modalAttribute         (exists (?INST ?WIDTH)             (and                 (instance ?INST ?OBJECT)                 (width ?INST                     (MeasureFn ?WIDTH ?U))                 (lessThan ?WIDTH ?W))) Unlikely))	Mid-level-ontology.kif 13382-13390	defaultMinimumWidth オブジェクト and 実数 の 測定単位(s) ステートメント エンティティー 実数IDTH エンティティー は オブジェクト の instance では %n エンティティー の width は 実数IDTH の 測定単位(s) では %n 実数IDTH は 実数 より less では %n には Unlikely の modal force が ある
(=>     (diseaseMortality ?DISEASE ?RATE)     (and         (greaterThan ?RATE 0.0)         (lessThan ?RATE 1.0)))	WMD.kif 902-906	diseaseMortality 病気または症候群 and 実数 実数 は 0.0 より greater では　%n 実数 は 1.0 より less では %n
(=>     (equal         (MinFn ?NUMBER1 ?NUMBER2) ?NUMBER)     (or         (and             (equal ?NUMBER ?NUMBER1)             (lessThan ?NUMBER1 ?NUMBER2))         (and             (equal ?NUMBER ?NUMBER2)             (lessThan ?NUMBER2 ?NUMBER1))         (and             (equal ?NUMBER ?NUMBER1)             (equal ?NUMBER ?NUMBER2))))	Merge.kif 5021-5032	実数 と 実数 の smaller 方 は 数 と equal では %n 数 は 実数 と equal では %n 実数 は 実数 より less では %n 数 は 実数 と equal では %n 実数 は 実数 より less では %n 数 は 実数 と equal では %n 数 は 実数 と equal では %n
(=>     (eveningPhone ?Number ?Agent)     (exists (?Phone ?Hour ?Num)         (and             (phoneNumber ?Number ?Phone)             (greaterThan ?Num 18)             (lessThan ?Num 6)             (holdsDuring                 (instance ?Hour                     (HourFn ?Num Day))                 (exists (?T)                     (and                         (instance ?T Telephoning)                         (destination ?T ?Agent)                         (patient ?T ?Phone)                         (possesses ?Agent ?Phone)                         (modalAttribute                             (exists (?A)                                 (and                                     (instance ?A Answering)                                     (subProcess ?A ?T)                                     (agent ?A ?Agent))) Likely)))))))	FinancialOntology.kif 3735-3755	eveningPhone 記号文字列 and AutonomousAgent Telephone エンティティー and 実数 phoneNumber 記号文字列 and Telephone 実数 は 18 より greater では　%n 実数 は 6 より less では %n エンティティー エンティティー は Telephoning の instance では %n エンティティー は AutonomousAgent に ends %n{ない} Telephone は エンティティー の patient では %n AutonomousAgent は Telephone を possesses %n{ない} ステートメント エンティティー エンティティー は Answering の instance では %n エンティティー は エンティティー% の subprocess では %n AutonomousAgent は エンティティー の agent では %n には Likely の modal force が ある は エンティティー は 実数 hour 目 の instance では %n の during holds %n{ない}
(=>     (holdsDuring ?T         (attribute ?H LowBodyTemperature))     (holdsDuring ?T         (and             (measure ?H                 (MeasureFn ?N FahrenheitDegree))             (lessThan ?N 97))))	Medicine.kif 5645-5652	LowBodyTemperature は エンティティー の attribute では %n は 時間位置 の during holds %n{ない} エンティティー の measure は エンティティー の FahrenheitDegree(s) では %n エンティティー は 97 より less では %n は 時間位置 の during holds %n{ない}
(=>     (holdsDuring ?TIME         (and             (instance ?TEEN Teenager)             (age ?TEEN                 (MeasureFn ?NUMBER YearDuration))))     (and         (greaterThan ?NUMBER 12)         (lessThan ?NUMBER 20)))	Mid-level-ontology.kif 323-330	エンティティー は Teenager の instance では %n エンティティー の age は 実数 の YearDuration(s) では は 時間位置 の during holds %n{ない} 実数 は 12 より greater では　%n 実数 は 20 より less では %n
(=>     (holdsDuring ?TIME         (and             (instance ?YOUTH HumanYouth)             (age ?YOUTH                 (MeasureFn ?NUMBER YearDuration))))     (lessThan ?NUMBER 18))	Mid-level-ontology.kif 252-257	エンティティー は HumanYouth の instance では %n エンティティー の age は 実数 の YearDuration(s) では は 時間位置 の during holds %n{ない} 実数 は 18 より less では %n
(=>     (instance ?AR AcidRainfall)     (exists (?RAIN ?PH)         (and             (instance ?RAIN Water)             (patient ?AR ?RAIN)             (measure ?RAIN                 (MeasureFn ?PH PHValue))             (lessThan ?PH 5.0))))	Geography.kif 2509-2517	工程 は AcidRainfall の instance では %n 物理 実数 物理 は 水 の instance では %n 物理 は 工程 の patient では %n 物理 の measure は 実数 の PHValue(s) では %n 実数 は 5.0 より less では %n
(=>     (instance ?FLOOD FlashFlooding)     (exists (?WATER ?HOUR)         (and             (instance ?WATER WaterMotion)             (causes ?WATER ?FLOOD)             (meetsTemporally                 (WhenFn ?WATER)                 (WhenFn ?FLOOD))             (duration                 (WhenFn ?WATER)                 (MeasureFn ?HOUR HourDuration))             (lessThan ?HOUR 6.0))))	Weather.kif 1630-1642	工程 は FlashFlooding の instance では %n 工程 実数 工程 は WaterMotion の instance では %n 工程 は 工程 を causes %n{ない} 工程 の time の existence は 工程 の time の existence に meets %n{ない} 工程 の time の existence の duration は 実数 の HourDuration(s) では %n 実数 は 6.0 より less では %n
(=>     (instance ?HOUR         (HourFn ?NUMBER ?DAY))     (lessThan ?NUMBER 24))	Merge.kif 8625-8627	エンティティー は 非負整数 hour 目 の instance では %n 非負整数 は 24 より less では %n
(=>     (instance ?INT Integer)     (lessThan ?INT         (SuccessorFn ?INT)))	Merge.kif 5311-5313	整数 は 整数 の instance では %n 整数 は ( 整数+1) より less では %n
(=>     (instance ?IV IVBolusTherapy)     (and         (duration             (WhenFn ?IV)             (MeasureFn ?N MinuteDuration))         (lessThan ?N 5.0)))	Medicine.kif 6162-6168	物理 は IVBolusTherapy の instance では %n 物理 の time の existence の duration は 実数 の MinuteDuration(s) では %n 実数 は 5.0 より less では %n
(=>     (instance ?MINUTE         (MinuteFn ?NUMBER ?HOUR))     (lessThan ?NUMBER 60))	Merge.kif 8652-8654	エンティティー は 非負整数 minute 目 の instance では %n 非負整数 は 60 より less では %n
(=>     (instance ?PROCESS Blizzard)     (exists (?AREA ?DIST)         (and             (instance ?AREA GeographicArea)             (eventLocated ?PROCESS ?AREA)             (visibilityInMeteorology ?AREA                 (WhenFn ?PROCESS)                 (MeasureFn ?DIST Meter))             (lessThan ?DIST 400.0))))	Weather.kif 2642-2651	工程 は Blizzard の instance では %n 地域 実数 地域 は 地理的地域 の instance では %n eventLocated 工程 and 地域 visibilityInMeteorology 地域, 工程 の time の existence and 実数 の Meter(s) 実数 は 400.0 より less では %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