(=>     (and         (holdsDuring ?T             (attribute ?A ?ES))         (actionTendency ?ES ?PI))     (modalAttribute         (exists (?P)             (and                 (instance ?P ?PI)                 (during                     (WhenFn ?P) ?T)                 (experiencer ?P ?A))) Likely))	emotion.kif 161-172	感情状態 は エンティティー の attribute では %n は 時間位置 の during holds %n{ない} actionTendency 感情状態 and EmotionalBehavioralProcess ステートメント エンティティー エンティティー は EmotionalBehavioralProcess の instance では %n エンティティー の time の existence は 時間位置 の during に takes %n{ない} エンティティー が エンティティー を experiences %n{ない} には Likely の modal force が ある
(=>     (and         (holdsDuring ?T             (attribute ?F Menopausal))         (birthdate ?F ?B)         (instance ?B             (DayFn ?D                 (MonthFn ?M                     (YearFn ?Y))))         (equal ?A1             (AdditionFn 49 ?Y))         (equal ?A2             (AdditionFn 52 ?Y))         (equal ?START             (BeginFn ?T)))     (modalAttribute         (and             (greaterThan ?START ?A1)             (greaterThan ?A2 ?START)) Likely))	Mid-level-ontology.kif 23915-23931	Menopausal は 人［人間］ の attribute では %n は 時間間隔 の during holds %n{ない} birthdate 人［人間］ and 日 日 は 正の整数 day 目 の instance では %n 実数 は (49 + 整数) と equal では %n 実数 は (52 + 整数) と equal では %n 時点 は 時間間隔 の beginning と equal では %n ステートメント 時点 は 実数 より greater では　%n 実数 は 時点 より greater では　%n には Likely の modal force が ある
(=>     (and         (holdsDuring ?T             (attribute ?H                 (DeadOrMissingBodyPartFn ?P)))         (instance ?PI ?P)         (part ?PI ?H)         (hasPurpose ?PI ?F))     (not ?F))	Merge.kif 18268-18276	DeadOrMissingBodyPartFn クラス は オブジェクト の attribute では %n は 時間位置 の during holds %n{ない} クラスI は クラス の instance では %n クラスI は オブジェクト の part では %n クラスI は 公式 の 目的 %n{ない} 公式
(=>     (and         (holdsDuring ?T             (attribute ?H                 (ImpairedBodyPartFn ?P)))         (instance ?PI ?P)         (part ?PI ?H)         (hasPurpose ?PI ?F))     (modalAttribute         (not ?F) Likely))	Merge.kif 18247-18257	ImpairedBodyPartFn クラス は オブジェクト の attribute では %n は 時間位置 の during holds %n{ない} クラスI は クラス の instance では %n クラスI は オブジェクト の part では %n クラスI は 公式 の 目的 %n{ない} ステートメント 公式 には Likely の modal force が ある
(=>     (and         (holdsDuring ?T             (attribute ?H ?C))         (instance ?H ChronicDisease)         (duration ?T ?D))     (greaterThan ?D         (MeasureFn 3 MonthDuration)))	Mid-level-ontology.kif 5918-5925	エンティティー は エンティティー の attribute では %n は 時間間隔 の during holds %n{ない} エンティティー は ChronicDisease の instance では %n 時間間隔 の duration は 実数 では %n 実数 は 3 の MonthDuration(s) より greater では　%n
(=>     (and         (holdsDuring ?T             (attribute ?H AVPUPainStatus))         (instance ?P Pain)         (during             (WhenFn ?P) ?T)         (experiencer ?P ?H))     (exists (?BM)         (and             (instance ?BM BodyMotion)             (experiencer ?BM ?H)             (during                 (WhenFn ?BM) ?T)             (causes ?P ?BM))))	Medicine.kif 6470-6482	AVPUPainStatus は AutonomousAgent の attribute では %n は 時間間隔 の during holds %n{ない} 工程 は Pain の instance では %n 工程 の time の existence は 時間間隔 の during に takes %n{ない} AutonomousAgent が 工程 を experiences %n{ない} 工程 工程 は 動作 の instance では %n AutonomousAgent が 工程 を experiences %n{ない} 工程 の time の existence は 時間間隔 の during に takes %n{ない} 工程 は 工程 を causes %n{ない}
(=>     (and         (holdsDuring ?T             (attribute ?H AVPUVerbalStatus))         (instance ?S Speaking)         (destination ?S ?H)         (during             (WhenFn ?S) ?T))     (exists (?IA)         (and             (instance ?IA IntentionalProcess)             (agent ?IA ?H)             (during                 (WhenFn ?IA) ?T)             (causes ?S ?IA))))	Medicine.kif 6447-6459	AVPUVerbalStatus は AutonomousAgent の attribute では %n は 時間間隔 の during holds %n{ない} 工程 は Speaking の instance では %n 工程 は AutonomousAgent に ends %n{ない} 工程 の time の existence は 時間間隔 の during に takes %n{ない} 工程 工程 は 意図的なプロセス の instance では %n AutonomousAgent は 工程 の agent では %n 工程 の time の existence は 時間間隔 の during に takes %n{ない} 工程 は 工程 を causes %n{ない}
(=>     (and         (holdsDuring ?T             (attribute ?H ChronicFatigueSyndrome))         (instance ?R RecreationOrExercise)         (agent ?R ?H)         (during             (WhenFn ?R) ?T))     (modalAttribute         (and             (holdsDuring ?T2                 (attribute ?H PostExertionalMalaise))             (earlier                 (WhenFn ?R) ?T2)) Likely))	Medicine.kif 1500-1512	ChronicFatigueSyndrome は AutonomousAgent の attribute では %n は 時間間隔 の during holds %n{ない} 工程 は レクリエーションまたは運動 の instance では %n AutonomousAgent は 工程 の agent では %n 工程 の time の existence は 時間間隔 の during に takes %n{ない} ステートメント PostExertionalMalaise は AutonomousAgent の attribute では %n は 時間間隔2 の during holds %n{ない} 工程 の time の existence は 時間間隔2 より earlier happens %n{ない} には Likely の modal force が ある
(=>     (and         (holdsDuring ?T             (attribute ?X Booting))         (holdsDuring ?T2             (attribute ?X HostReady))         (equal ?T2             (ImmediateFutureFn                 (WhenFn ?T)))         (instance ?DIS ComputerDisplay)         (connectedEngineeringComponents ?DIS ?X))     (modalAttribute         (exists (?HS)             (and                 (instance ?HS HomeScreen)                 (displayedUpon ?HS ?DIS))) Likely))	ComputingBrands.kif 3231-3245	起動 は エンジニアリング部品 の attribute では %n は 物理 の during holds %n{ない} HostReady は エンジニアリング部品 の attribute では %n は 物理2 の during holds %n{ない} 物理2 は 物理 の time の existence の すぐ after と equal では %n エンジニアリング部品 は ComputerDisplay の instance では %n エンジニアリング部品 は エンジニアリング部品 に connected して %n ステートメント エンティティー エンティティー は ホームスクリーン の instance では %n displayedUpon エンティティー and エンジニアリング部品 には Likely の modal force が ある
(=>     (and         (holdsDuring ?T             (desires ?M                 (attribute ?V Dead)))         (instance ?MURDER Murder)         (agent ?MURDER ?M)         (patient ?MURDER ?V)         (earlier ?T             (WhenFn ?MURDER)))     (attribute ?MURDER Premeditated))	Law.kif 480-489	AutonomousAgent が Dead は エンティティー の attribute では %n を desires %n{ない} は 時間間隔 の during holds %n{ない} AutonomousAgentURDER は Murder の instance では %n AutonomousAgent は AutonomousAgentURDER の agent では %n エンティティー は AutonomousAgentURDER の patient では %n 時間間隔 は AutonomousAgentURDER の time の existence より earlier happens %n{ない} Premeditated は AutonomousAgentURDER の attribute では %n
(=>     (and         (holdsDuring ?T1             (and                 (attribute ?P Expellee)                 (citizen ?P ?HOME-NATION)))         (instance ?T1 TimeInterval))     (exists (?TRANS ?NATION)         (and             (instance ?NATION Nation)             (not                 (equal ?NATION ?HOME-NATION))             (instance ?TRANS Translocation)             (origin ?TRANS ?NATION)             (patient ?TRANS ?P)             (destination ?TRANS ?HOME-NATION)             (temporalPart ?T1                 (WhenFn ?TRANS)))))	MilitaryPersons.kif 151-167	Expellee は エンティティー の attribute では %n エンティティー は エンティティー-NATION% の citizen では %n は 時間位置 の during holds %n{ない} 時間位置 は 時間間隔 の instance では %n 工程 オブジェクト オブジェクト は 国民 の instance では %n オブジェクト は エンティティー-NATION と equal では 工程 は Translocation の instance では %n 工程 は オブジェクト から originates %n{ない} エンティティー は 工程 の patient では %n 工程 は エンティティー-NATION に ends %n{ない} 時間位置 は 工程 の time の existence の part では %n
(=>     (and         (holdsDuring ?T1             (and                 (attribute ?PERSON DislocatedCivilian)                 (inhabits ?PERSON ?RESIDENCE)                 (located ?RESIDENCE ?PLACE)))         (instance ?PLACE GeographicArea)         (instance ?T1 TimeInterval))     (exists (?T0 ?PRIOR-PLACE ?PRIOR-RES)         (and             (instance ?T0 TimeInterval)             (earlier ?T0 ?T1)             (instance ?PRIOR-RES Object)             (instance ?PRIOR-PLACE GeopoliticalArea)             (located ?PRIOR-RES ?PRIOR-PLACE)             (not                 (equal ?PLACE ?PRIOR-PLACE))             (not                 (equal ?RESIDENCE ?PRIOR-RES))             (not                 (geographicSubregion ?PLACE ?PRIOR-PLACE))             (not                 (geographicSubregion ?PRIOR-PLACE ?PLACE))             (holdsDuring ?T0                 (inhabits ?PERSON ?PRIOR-RES)))))	MilitaryPersons.kif 26-47	DislocatedCivilian は エンティティー の attribute では %n エンティティー は エンティティー に lives %n{ない} エンティティー は 地理的地域 に located して %n は 時間間隔 の during holds %n{ない} 地理的地域 は 地理的地域 の instance では %n 時間間隔 は 時間間隔 の instance では %n 時間間隔 エンティティー-PLACE and エンティティー-RES 時間間隔 は 時間間隔 の instance では %n 時間間隔 は 時間間隔 より earlier happens %n{ない} エンティティー-RES は オブジェクト の instance では %n エンティティー-PLACE は 地政学的地域 の instance では %n エンティティー-RES は エンティティー-PLACE に located して %n 地理的地域 は エンティティー-PLACE と equal では エンティティー は エンティティー-RES と equal では geographicSubregion 地理的地域 and エンティティー-PLACE geographicSubregion エンティティー-PLACE and 地理的地域 エンティティー は エンティティー-RES に lives %n{ない} は 時間間隔 の during holds %n{ない}
(=>     (and         (holdsDuring ?T1             (attribute ?F Menopausal))         (equal ?BEFORE             (SubtractionFn                 (MeasureFn 1 YearDuration)                 (BeginFn ?T1)))         (equal ?YBEFORE             (TimeIntervalFn ?YBEFORE                 (BeginFn ?T1))))     (not         (exists (?M)             (and                 (instance ?M Menstruation)                 (experiencer ?M ?F)))))	Mid-level-ontology.kif 23888-23902	Menopausal は AutonomousAgent の attribute では %n は 時間間隔 の during holds %n{ない} 実数 は (1 の YearDuration(s) + 時間間隔 の beginning) と equal では %n 時間間隔 は 時間間隔 と 時間間隔 の beginning の interval と equal では %n 工程 工程 は Menstruation の instance では %n AutonomousAgent が 工程 を experiences %n{ない}
(=>     (and         (holdsDuring ?T1             (attribute ?H Dieting))         (holdsDuring ?T2             (not                 (attribute ?H Dieting)))         (instance ?M1 Meal)         (instance ?E1 Eating)         (agent ?E1 ?H)         (resource ?E1 ?M1)         (during             (WhenFn ?E1) ?T1)         (measure ?M1             (MeasureFn ?C1 Calorie))         (instance ?M2 Meal)         (instance ?E2 Eating)         (agent ?E2 ?H)         (resource ?E2 ?M2)         (during             (WhenFn ?E2) ?T2)         (measure ?M2             (MeasureFn ?C2 Calorie)))     (modalAttribute         (greaterThan ?C2 ?C1) Likely))	Mid-level-ontology.kif 30650-30671	Dieting は AutonomousAgent の attribute では %n は 時間間隔 の during holds %n{ない} Dieting は AutonomousAgent の attribute では は 時間間隔 の during holds %n{ない} オブジェクト は Meal の instance では %n 工程 は 摂食 の instance では %n AutonomousAgent は 工程 の agent では %n オブジェクト は 工程 の resource では %n 工程 の time の existence は 時間間隔 の during に takes %n{ない} オブジェクト の measure は 実数 の Calorie(s) では %n オブジェクト は Meal の instance では %n 工程 は 摂食 の instance では %n AutonomousAgent は 工程 の agent では %n オブジェクト は 工程 の resource では %n 工程 の time の existence は 時間間隔 の during に takes %n{ない} オブジェクト の measure は 実数 の Calorie(s) では %n ステートメント 実数 は 実数 より greater では　%n には Likely の modal force が ある
(=>     (and         (holdsDuring ?T1             (attribute ?P Evacuee))         (instance ?T1 TimeInterval))     (exists (?EV ?MIL)         (and             (instance ?EV Evacuation)             (agent ?EV ?MIL)             (instance ?MIL MilitaryOrganization)             (experiencer ?EV ?P)             (earlier                 (WhenFn ?EV) ?T1))))	MilitaryPersons.kif 120-131	Evacuee は AutonomousAgent の attribute では %n は 時間間隔 の during holds %n{ない} 時間間隔 は 時間間隔 の instance では %n 工程 AutonomousAgent 工程 は Evacuation の instance では %n AutonomousAgent は 工程 の agent では %n AutonomousAgent は MilitaryOrganization の instance では %n AutonomousAgent が 工程 を experiences %n{ない} 工程 の time の existence は 時間間隔 より earlier happens %n{ない}
(=>     (and         (holdsDuring ?T1             (attribute ?P InternallyDisplacedPerson))         (instance ?T1 TimeInterval))     (exists (?SITUATION ?T0)         (and             (earlier ?T0 ?T1)             (causesProposition                 (holdsDuring ?T0                     (fears ?P ?SITUATION))                 (holdsDuring ?T1                     (attribute ?P InternallyDisplacedPerson))))))	MilitaryPersons.kif 101-111	InternallyDisplacedPerson は エンティティー の attribute では %n は 時間間隔 の during holds %n{ない} 時間間隔 は 時間間隔 の instance では %n エンティティー 時間間隔 時間間隔 は 時間間隔 より earlier happens %n{ない} causesProposition fears エンティティー and エンティティー は 時間間隔 の during holds %n{ない} and InternallyDisplacedPerson は エンティティー の attribute では %n は 時間間隔 の during holds %n{ない}
(=>     (and         (holdsDuring ?T1             (attribute ?P StatelessPerson))         (instance ?NAT Nation))     (holdsDuring ?T1         (not             (citizen ?P ?NAT))))	MilitaryPersons.kif 195-201	StatelessPerson は エンティティー の attribute では %n は 時間位置 の during holds %n{ない} エンティティー は 国民 の instance では %n エンティティー は エンティティー% の citizen では は 時間位置 の during holds %n{ない}
(=>     (and         (holdsDuring ?TIME             (attribute ?ORG Embryonic))         (instance ?BIRTH Birth)         (equal ?BW             (WhenFn ?BIRTH))         (experiencer ?BIRTH ?ORG))     (not         (overlapsTemporally ?TIME ?BW)))	Merge.kif 18225-18231	Embryonic は AutonomousAgent の attribute では %n は 時間間隔 の during holds %n{ない} 工程 は 出生 の instance では %n 時間間隔 は 工程 の time の existence と equal では %n AutonomousAgent が 工程 を experiences %n{ない} 時間間隔 は 時間間隔 と overlap dない
(=>     (and         (holdsDuring ?TIME             (attribute ?ORG Larval))         (instance ?BIRTH Birth)         (equal ?BW             (WhenFn ?BIRTH))         (experiencer ?BIRTH ?ORG))     (meetsTemporally ?BW ?TIME))	Merge.kif 18203-18209	Larval は AutonomousAgent の attribute では %n は 時間間隔 の during holds %n{ない} 工程 は 出生 の instance では %n 時間間隔 は 工程 の time の existence と equal では %n AutonomousAgent が 工程 を experiences %n{ない} 時間間隔 は 時間間隔 に meets %n{ない}
(=>     (and         (immediateInstance ?BIG ?CLASS)         (immediateInstance ?NORMAL ?CLASS)         (attribute ?BIG Oversized))     (exists (?BIGSIZE ?NORMALSIZE ?U)         (and             (instance ?U UnitOfMeasure)             (measure ?BIG                 (MeasureFn ?BIGSIZE ?U))             (measure ?NORMAL                 (MeasureFn ?NORMALSIZE ?U))             (greaterThan ?BIGSIZE ?NORMALSIZE))))	Hotel.kif 1172-1184	オブジェクト は クラス の immediate の インスタンス では %n 物理 は クラス の immediate の インスタンス では %n Oversized は オブジェクト の attribute では %n オブジェクトSIZE 物理SIZE and 測定単位 測定単位 は 測定単位 の instance では %n オブジェクト の measure は オブジェクトSIZE の 測定単位(s) では %n 物理 の measure は 物理SIZE の 測定単位(s) では %n オブジェクトSIZE は 物理SIZE より greater では　%n
(=>     (and         (immediateInstance ?X ?CLASS)         (immediateInstance ?Y ?CLASS)         (attribute ?X ColdTemperature)         (attribute ?Y HotTemperature))     (exists (?TEMPX ?TEMPY ?UNIT)         (and             (measure ?X                 (MeasureFn ?TEMPX ?UNIT))             (instance ?UNIT UnitOfTemperature)             (instance ?TEMPX TemperatureMeasure)             (measure ?Y                 (MeasureFn ?TEMPY ?UNIT))             (instance ?TEMPY TemperatureMeasure)             (greaterThan ?TEMPY ?TEMPX))))	Mid-level-ontology.kif 25710-25725	オブジェクト は クラス の immediate の インスタンス では %n オブジェクト は クラス の immediate の インスタンス では %n ColdTemperature は オブジェクト の attribute では %n HotTemperature は オブジェクト の attribute では %n 実数 実数 and 測定単位 オブジェクト の measure は 実数 の 測定単位(s) では %n 測定単位 は UnitOfTemperature の instance では %n 実数 は 温度測定 の instance では %n オブジェクト の measure は 実数 の 測定単位(s) では %n 実数 は 温度測定 の instance では %n 実数 は 実数 より greater では　%n
(=>     (and         (industryProductType ?INDUSTRY ?TYPE)         (instance ?INDUSTRY IndustryAttribute)         (instance ?BUSINESS Organization)         (attribute ?BUSINESS ?INDUSTRY))     (organizationProductType ?BUSINESS ?TYPE))	Economy.kif 1633-1639	industryProductType IndustryAttribute and オブジェクト IndustryAttribute は IndustryAttribute の instance では %n 組織 は 組織 の instance では %n IndustryAttribute は 組織 の attribute では %n organizationProductType 組織 and オブジェクト
(=>     (and         (industryServiceType ?INDUSTRY ?TYPE)         (instance ?INDUSTRY IndustryAttribute)         (instance ?BUSINESS Organization)         (attribute ?BUSINESS ?INDUSTRY))     (organizationServiceType ?BUSINESS ?TYPE))	Economy.kif 1673-1679	industryServiceType IndustryAttribute and 意図的なプロセス IndustryAttribute は IndustryAttribute の instance では %n 組織 は 組織 の instance では %n IndustryAttribute は 組織 の attribute では %n organizationServiceType 組織 and 意図的なプロセス
(=>     (and         (instance ?A Animal)         (instance ?P             (BodySideFn ?S ?BPC))         (contraryAttribute ?S ?SO)         (attribute ?A Healthy))     (exists (?PO)         (and             (instance ?PO                 (BodySideFn ?SO ?BPC))             (orientation ?P ?PO ?S))))	Merge.kif 15001-15012	オブジェクト は 動物 の instance では %n オブジェクト は BodySideFn AntiSymmetricPositionalAttribute and 体の部分 の instance では %n AntiSymmetricPositionalAttribute は AntiSymmetricPositionalAttributeO の disjoint では %n Healthy は オブジェクト の attribute では %n オブジェクトO オブジェクトO は BodySideFn AntiSymmetricPositionalAttributeO and 体の部分 の instance では %n オブジェクト は AntiSymmetricPositionalAttribute 対 オブジェクトO では %n
(=>     (and         (instance ?A AutonomousAgent)         (holdsDuring ?T             (attribute ?A Motionless)))     (not         (exists (?P)             (and                 (instance ?P BodyMotion)                 (instance ?P IntentionalProcess)                 (agent ?P ?A)                 (during                     (WhenFn ?P) ?T)))))	Mid-level-ontology.kif 30230-30241	AutonomousAgent は AutonomousAgent の instance では %n Motionless は AutonomousAgent の attribute では %n は 時間間隔 の during holds %n{ない} 工程 工程 は 動作 の instance では %n 工程 は 意図的なプロセス の instance では %n AutonomousAgent は 工程 の agent では %n 工程 の time の existence は 時間間隔 の during に takes %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