YearDuration - Sigma Knowledge base Browser

appearance as argument number 1

(documentation YearDuration ChineseLanguage "这是时间单位，一个日历年，1年=365日=31536000秒。")	Merge.kif 10405-10405
(documentation YearDuration EnglishLanguage "Time unit. one calendar year. 1 year = 365 days = 31536000 seconds.")	Merge.kif 10402-10403
(documentation YearDuration JapaneseLanguage "時間単位。1 暦年。1 年 = 365 日 = 31536000 秒。")	Merge.kif 10407-10407
(instance YearDuration UnitOfDuration)	Merge.kif 10401-10401	YearDuration は UnitOfDuration の instance では %n

appearance as argument number 2

(relatedInternalConcept Year YearDuration)	Merge.kif 12356-12356	年は YearDuration に internally 関連して %n
(termFormat ChineseLanguage YearDuration "年持续时间")	domainEnglishFormat.kif 63709-63709	termFormat ChineseLanguage, YearDuration and "年持续时间"
(termFormat ChineseTraditionalLanguage YearDuration "年持續時間")	domainEnglishFormat.kif 63708-63708	termFormat ChineseTraditionalLanguage, YearDuration and "年持續時間"
(termFormat EnglishLanguage YearDuration "year duration")	domainEnglishFormat.kif 63707-63707	termFormat EnglishLanguage, YearDuration and "year duration"

antecedent

(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (greaterThan ?N 12) (lessThan ?N 20)) (holdsDuring ?T1 (instance ?H Teenager)))	Mid-level-ontology.kif 492-498	エンティティーは人［人間］の instance では %n エンティティーの age は量の YearDuration(s) ではは時間位置の during holds %n{ない} 量は 12 より greater では　%n 量は 20 より less では %n エンティティーは Teenager の instance では %n は時間位置の during holds %n{ない}
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (greaterThanOrEqualTo ?N 18)) (holdsDuring ?T1 (instance ?H HumanAdult)))	Mid-level-ontology.kif 358-364	エンティティーは人［人間］の instance では %n エンティティーの age は量の YearDuration(s) ではは時間位置の during holds %n{ない} 量は 18 greater では　%n エンティティーは HumanAdult の instance では %n は時間位置の during holds %n{ない}
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThan ?N 18)) (holdsDuring ?T1 (instance ?H HumanYouth)))	Mid-level-ontology.kif 419-424	エンティティーは人［人間］の instance では %n エンティティーの age は量の YearDuration(s) ではは時間位置の during holds %n{ない} 量は 18 より less では %n エンティティーは HumanYouth の instance では %n は時間位置の during holds %n{ない}
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThanOrEqualTo ?N 1)) (holdsDuring ?T1 (instance ?H HumanBaby)))	Mid-level-ontology.kif 554-559	エンティティーは人［人間］の instance では %n エンティティーの age は量の YearDuration(s) ではは時間位置の during holds %n{ない} 量は 1 より less または同等では %n エンティティーは HumanBaby の instance では %n は時間位置の during holds %n{ない}
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThanOrEqualTo ?N 14)) (holdsDuring ?T1 (instance ?H HumanChild)))	Mid-level-ontology.kif 463-468	エンティティーは人［人間］の instance では %n エンティティーの age は量の YearDuration(s) ではは時間位置の during holds %n{ない} 量は 14 より less または同等では %n エンティティーは HumanChild の instance では %n は時間位置の during holds %n{ない}
(=> (and (instance ?Loan BankTermLoan) (agreementPeriod ?Loan ?Period) (duration ?Period (MeasureFn ?Duration YearDuration))) (greaterThanOrEqualTo ?Duration 1))	FinancialOntology.kif 1440-1445	Agreement は BankTermLoan の instance では %n agreementPeriod Agreement and 時間間隔時間間隔の duration は実数の YearDuration(s) では %n 実数は 1 greater では　%n
(=> (and (instance ?YEAR1 Year) (instance ?YEAR2 Year) (equal (SubtractionFn ?YEAR2 ?YEAR1) (MeasureFn 1 YearDuration))) (meetsTemporally ?YEAR1 ?YEAR2))	Merge.kif 12368-12373	時間間隔は年の instance では %n 時間間隔は年の instance では %n ( 時間間隔 + 時間間隔) は 1 の YearDuration(s) と equal では %n 時間間隔は時間間隔に meets %n{ない}
(=> (and (partyToAgreement ?A1 ?AG) (instance ?PROC IntentionalProcess) (located ?PROC ?LOC) (instance ?LOC GeopoliticalArea) (ageOfMajorityForProcess (MeasureFn ?N YearDuration) ?LOC ?PROC) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (holdsDuring (WhenFn ?PROC) (and (age ?A1 (MeasureFn ?N2 YearDuration)) (greaterThan ?N2 ?N))))	Law.kif 617-632	partyToAgreement 認識エージェント and Agreement 工程は意図的なプロセスの instance では %n 工程は地政学的地域に located して %n 地政学的地域は地政学的地域の instance では %n ageOfMajorityForProcess 実数の YearDuration(s), 地政学的地域 and 工程 ContentBearingPhysical は工程の result では %n recordForAgreement ContentBearingPhysical and Agreement Legal は Agreement の attribute では %n 認識エージェントの age は実数2 の YearDuration(s) では実数2 は実数より greater では　%n は工程の time の existence の during holds %n{ない}
(=> (and (partyToAgreement ?A1 ?AG) (instance ?PROC IntentionalProcess) (located ?PROC ?LOC) (instance ?LOC Nation) (located ?PROC ?LOC2) (instance ?LOC2 GeopoliticalArea) (ageOfMajorityForProcess (MeasureFn ?N2 YearDuration) ?LOC ?PROC) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (holdsDuring (WhenFn ?PROC) (and (age ?A1 (MeasureFn ?N3 YearDuration)) (greaterThan ?N3 ?N2)))) (attribute ?AG Legal))	Law.kif 598-615	partyToAgreement 認識エージェント and Agreement 工程は意図的なプロセスの instance では %n 工程は地政学的地域に located して %n 地政学的地域は国民の instance では %n 工程は地政学的地域2 に located して %n 地政学的地域2 は地政学的地域の instance では %n ageOfMajorityForProcess 実数の YearDuration(s), 地政学的地域 and 工程 ContentBearingPhysical は工程の result では %n recordForAgreement ContentBearingPhysical and Agreement 認識エージェントの age はエンティティーの YearDuration(s) ではエンティティーは実数より greater では　%n は工程の time の existence の during holds %n{ない} Legal は Agreement の attribute では %n
(=> (holdsDuring ?TIME (and (instance ?ADULT HumanAdult) (age ?ADULT (MeasureFn ?NUMBER YearDuration)))) (greaterThanOrEqualTo ?NUMBER 18))	Mid-level-ontology.kif 334-339	エンティティーは HumanAdult の instance では %n エンティティーの age は量の YearDuration(s) ではは時間位置の during holds %n{ない} 量は 18 greater では　%n
(=> (holdsDuring ?TIME (and (instance ?BABY HumanBaby) (age ?BABY (MeasureFn ?NUMBER YearDuration)))) (lessThanOrEqualTo ?NUMBER 1))	Mid-level-ontology.kif 528-533	エンティティーは HumanBaby の instance では %n エンティティーの age は量の YearDuration(s) ではは時間位置の during holds %n{ない} 量は 1 より less または同等では %n
(=> (holdsDuring ?TIME (and (instance ?CHILD HumanChild) (age ?CHILD (MeasureFn ?NUMBER YearDuration)))) (lessThanOrEqualTo ?NUMBER 14))	Mid-level-ontology.kif 447-452	エンティティーは HumanChild の instance では %n エンティティーの age は量の YearDuration(s) ではは時間位置の during holds %n{ない} 量は 14 より less または同等では %n
(=> (holdsDuring ?TIME (and (instance ?TEEN Teenager) (age ?TEEN (MeasureFn ?NUMBER YearDuration)))) (and (greaterThan ?NUMBER 12) (lessThan ?NUMBER 20)))	Mid-level-ontology.kif 474-481	エンティティーは 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 403-408	エンティティーは HumanYouth の instance では %n エンティティーの age は量の YearDuration(s) ではは時間位置の during holds %n{ない} 量は 18 より less では %n

consequent

(<=> (equal (DeathsPerThousandLiveBirthsFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA))))) (equal (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS) (equal ?INFANTDEATHCOUNT (CardinalityFn (KappaFn ?DEATH (and (instance ?DEATH Death) (experiencer ?DEATH ?INFANT) (instance ?INFANT Human) (age ?INFANT (MeasureFn ?AGE YearDuration)) (lessThan ?AGE 1) (during (WhenFn ?DEATH) (YearFn ?YEAR)) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))	People.kif 253-277	DeathsPerThousandLiveBirthsFn 地政学的地域 and 整数 year 目は実数と equal では %n 整数はエンティティー class の instances の数と equal では %n 整数 + 1000 は量と equal では %n 整数はエンティティー class の instances の数と equal では %n 整数 + 量は実数と equal では %n
(<=> (equal (FemaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 411-442	FemaleLifeExpectancyAtBirthFn 地政学的地域 and 整数 year 目は実数と equal では %n リストリストはリストの instance では %n リストの length は整数の instance では %n リストITEM リストITEM はリストの member では %n リストITEM は記号文字列の instance では %n エンティティーエンティティーは記号文字列の instance では %n エンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では %n average リスト and 実数
(<=> (equal (LifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 323-353	LifeExpectancyAtBirthFn 地政学的地域 and 整数 year 目は実数と equal では %n リストリストはリストの instance では %n リストの length は整数の instance では %n リストITEM リストITEM はリストの member では %n リストITEM は記号文字列の instance では %n エンティティーエンティティーは記号文字列の instance では %n エンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では %n average リスト and 実数
(<=> (equal (MaleLifeExpectancyAtBirthFn ?AREA (YearFn ?YEAR)) ?REALNUMBER) (exists (?LIST) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) (YearFn ?YEAR)) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER))))	People.kif 367-398	MaleLifeExpectancyAtBirthFn 地政学的地域 and 整数 year 目は実数と equal では %n リストリストはリストの instance では %n リストの length は整数の instance では %n リストITEM リストITEM はリストの member では %n リストITEM は記号文字列の instance では %n エンティティーエンティティーは記号文字列の instance では %n エンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では %n average リスト and 実数
(=> (and (attribute ?P CollegeFreshman) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring ?T (student ?H ?ORG)) (lessThan ?T (MeasureFn 1 YearDuration)))))	Mid-level-ontology.kif 16312-16320	CollegeFreshman はポジションの attribute では %n occupiesPosition 人［人間］, ポジション and 組織時間位置 student 人［人間］ and 組織は時間位置の during holds %n{ない} 時間位置は 1 の YearDuration(s) より less では %n
(=> (and (attribute ?P CollegeJunior) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring ?T (student ?H ?ORG)) (greaterThanOrEqualTo ?T (MeasureFn 2 YearDuration)) (lessThan ?T (MeasureFn 3 YearDuration)))))	Mid-level-ontology.kif 16326-16337	CollegeJunior はポジションの attribute では %n occupiesPosition 人［人間］, ポジション and 組織時間位置 student 人［人間］ and 組織は時間位置の during holds %n{ない} 時間位置は 2 の YearDuration(s) greater では　%n 時間位置は 3 の YearDuration(s) より less では %n
(=> (and (attribute ?P CollegeSenior) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring ?T (student ?H ?ORG)) (greaterThanOrEqualTo ?T (MeasureFn 3 YearDuration)) (lessThan ?T (MeasureFn 4 YearDuration)))))	Mid-level-ontology.kif 16343-16354	CollegeSenior はポジションの attribute では %n occupiesPosition 人［人間］, ポジション and 組織時間位置 student 人［人間］ and 組織は時間位置の during holds %n{ない} 時間位置は 3 の YearDuration(s) greater では　%n 時間位置は 4 の YearDuration(s) より less では %n
(=> (and (attribute ?P CollegeSophomore) (occupiesPosition ?H ?P ?ORG)) (exists (?T) (and (holdsDuring ?T (student ?H ?ORG)) (greaterThanOrEqualTo ?T (MeasureFn 1 YearDuration)) (lessThan ?T (MeasureFn 2 YearDuration)))))	Mid-level-ontology.kif 16360-16371	CollegeSophomore はポジションの attribute では %n occupiesPosition 人［人間］, ポジション and 組織時間位置 student 人［人間］ and 組織は時間位置の during holds %n{ない} 時間位置は 1 の YearDuration(s) greater では　%n 時間位置は 2 の YearDuration(s) より less では %n
(=> (and (instance ?X Argument) (instance ?R Reasoning) (subProposition ?X Archeology) (realization ?R ?X)) (exists (?D ?S ?O ?T) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O ?T) (greaterThan ?T (MeasureFn 50 YearDuration)) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (or (and (surface ?S ?W) (instance ?W BodyOfWater) (orientation ?O ?S Below)) (and (surface ?S ?L) (instance ?L LandArea) (orientation ?O ?S Below)))))))	Mid-level-ontology.kif 18838-18867	命題は Argument の instance では %n 工程は推理の instance では %n 命題は Archeology の sub-proposition では %n 工程は命題の内容を expresses %n{ない} 工程エンティティー, オブジェクト and 時間分工程は Discovering の instance では %n オブジェクトはオブジェクトの instance では %n オブジェクトは工程の patient では %n 工程は工程への reference を includes %n{ない} 工程の time の existence は工程の time の existence より earlier happens %n{ない} オブジェクトの age は時間分では時間分は 50 の YearDuration(s) より greater では　%n エンティティーはエンティティーの surface では %n エンティティーは BodyOfWater の instance では %n オブジェクトは Below 対エンティティーでは %n エンティティーはエンティティーの surface では %n エンティティーは土地面積の instance では %n オブジェクトは Below 対エンティティーでは %n は工程の time の existence の immediately before の during holds %n{ない}
(=> (and (numberSeniorOccupant ?RESERVE ?NUM) (fulfillingEntity ?RESERVE ?HOTEL)) (exists (?COL) (and (instance ?COL GroupOfPeople) (forall (?X) (=> (member ?X ?COL) (and (instance ?X HumanAdult) (age ?X (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE 60)))) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2861-2876	numberSeniorOccupant 代理(人) and 整数 fulfillingEntity 代理(人) and 代理(人) コレクションコレクションは GroupOfPeople の instance では %n オブジェクトオブジェクトはコレクションの member では %n オブジェクトは HumanAdult の instance では %n オブジェクトの age は実数の YearDuration(s) では実数は 60 greater では　%n memberCount コレクション and 整数 potentialCustomer コレクション and 代理(人)
(=> (and (partyToAgreement ?A1 ?AG) (instance ?PROC IntentionalProcess) (located ?PROC ?LOC) (instance ?LOC GeopoliticalArea) (ageOfMajorityForProcess (MeasureFn ?N YearDuration) ?LOC ?PROC) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (holdsDuring (WhenFn ?PROC) (and (age ?A1 (MeasureFn ?N2 YearDuration)) (greaterThan ?N2 ?N))))	Law.kif 617-632	partyToAgreement 認識エージェント and Agreement 工程は意図的なプロセスの instance では %n 工程は地政学的地域に located して %n 地政学的地域は地政学的地域の instance では %n ageOfMajorityForProcess 実数の YearDuration(s), 地政学的地域 and 工程 ContentBearingPhysical は工程の result では %n recordForAgreement ContentBearingPhysical and Agreement Legal は Agreement の attribute では %n 認識エージェントの age は実数2 の YearDuration(s) では実数2 は実数より greater では　%n は工程の time の existence の during holds %n{ない}
(=> (and (underageUser ?HUMAN ?SITE) (age ?HUMAN ?AGE)) (greaterThanOrEqualTo ?AGE (MeasureFn 18 YearDuration)))	UXExperimentalTerms.kif 1274-1278	underageUser 人［人間］ and WebSite 人［人間］の age は時間分では時間分は 18 の YearDuration(s) greater では　%n
(=> (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (duration ?FY (MeasureFn 1 YearDuration)))	Economy.kif 3745-3747	時間間隔は FiscalYearStartingFn 代理(人) and 年と equal では %n 時間間隔の duration は 1 の YearDuration(s) では %n
(=> (equal ?N (MultiplicationFn 1 ?N)) (equal (MeasureFn ?N MillenniumDuration) (MeasureFn (MultiplicationFn ?N 1000) YearDuration)))	Mid-level-ontology.kif 11267-11271	実数は 1 + 実数と equal では %n 実数の MillenniumDuration(s) は実数 + 1000 の YearDuration(s) と equal では %n
(=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER CenturyDuration) (MeasureFn (MultiplicationFn ?NUMBER 100) YearDuration)))	Mid-level-ontology.kif 16764-16768	実数は 1 + 実数と equal では %n 実数の CenturyDuration(s) は実数 + 100 の YearDuration(s) と equal では %n
(=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER DecadeDuration) (MeasureFn (MultiplicationFn ?NUMBER 10) YearDuration)))	Mid-level-ontology.kif 16773-16777	実数は 1 + 実数と equal では %n 実数の DecadeDuration(s) は実数 + 10 の YearDuration(s) と equal では %n
(=> (holdsDuring ?TIME (instance ?BABY HumanBaby)) (exists (?AGE) (and (holdsDuring ?TIME (age ?BABY ?AGE)) (instance ?AGE (IntervalFn (MeasureFn 0 YearDuration) (MeasureFn 1 YearDuration))))))	Mid-level-ontology.kif 539-544	エンティティーは HumanBaby の instance では %n は時間位置の during holds %n{ない} エンティティーエンティティーの age はエンティティーではは時間位置の during holds %n{ない} エンティティーは 0 の YearDuration(s) から 1 の YearDuration(s) までの interval の instance では %n
(=> (holdsDuring ?TIME (instance ?H HumanAdult)) (exists (?AGE) (and (holdsDuring ?TIME (age ?H ?AGE)) (instance ?AGE (IntervalFn (MeasureFn 18 YearDuration) (MeasureFn 120 YearDuration))))))	Mid-level-ontology.kif 342-347	エンティティーは HumanAdult の instance では %n は時間位置の during holds %n{ない} エンティティーエンティティーの age はエンティティーではは時間位置の during holds %n{ない} エンティティーは 18 の YearDuration(s) から 120 の YearDuration(s) までの interval の instance では %n
(=> (holdsDuring ?TIME (instance ?H HumanChild)) (exists (?AGE) (and (holdsDuring ?TIME (age ?H ?AGE)) (instance ?AGE (IntervalFn (MeasureFn 0 YearDuration) (MeasureFn 14 YearDuration))))))	Mid-level-ontology.kif 455-460	エンティティーは HumanChild の instance では %n は時間位置の during holds %n{ない} エンティティーエンティティーの age はエンティティーではは時間位置の during holds %n{ない} エンティティーは 0 の YearDuration(s) から 14 の YearDuration(s) までの interval の instance では %n
(=> (holdsDuring ?TIME (instance ?H HumanYouth)) (exists (?AGE) (and (holdsDuring ?TIME (age ?H ?AGE)) (instance ?AGE (IntervalFn (MeasureFn 0 YearDuration) (MeasureFn 17 YearDuration))))))	Mid-level-ontology.kif 411-416	エンティティーは HumanYouth の instance では %n は時間位置の during holds %n{ない} エンティティーエンティティーの age はエンティティーではは時間位置の during holds %n{ない} エンティティーは 0 の YearDuration(s) から 17 の YearDuration(s) までの interval の instance では %n
(=> (holdsDuring ?TIME (instance ?H Teenager)) (exists (?AGE) (and (holdsDuring ?TIME (age ?H ?AGE)) (instance ?AGE (IntervalFn (MeasureFn 13 YearDuration) (MeasureFn 19 YearDuration))))))	Mid-level-ontology.kif 484-489	エンティティーは Teenager の instance では %n は時間位置の during holds %n{ない} エンティティーエンティティーの age はエンティティーではは時間位置の during holds %n{ない} エンティティーは 13 の YearDuration(s) から 19 の YearDuration(s) までの interval の instance では %n
(=> (inflationRateInCountry ?N ?R) (exists (?I) (and (instance ?I Inflation) (duration (WhenFn ?I) YearDuration) (experiencer ?I ?N) (inflationRate ?I ?R))))	FinancialOntology.kif 1631-1638	inflationRateInCountry 国民 and 実数 Inflation Inflation は Inflation の instance では %n Inflation の time の existence の duration は YearDuration では %n 国民が Inflation を experiences %n{ない} inflationRate Inflation and 実数
(=> (instance ?D Decade) (duration ?D (MeasureFn 10 YearDuration)))	Merge.kif 12387-12389	時間間隔は Decade の instance では %n 時間間隔の duration は 10 の YearDuration(s) では %n
(=> (instance ?FY (FiscalYearFn ?PLACE)) (duration ?FY (MeasureFn 1 YearDuration)))	Economy.kif 3719-3721	時間間隔は FiscalYearFn 代理(人) の instance では %n 時間間隔の duration は 1 の YearDuration(s) では %n
(=> (instance ?YEAR Year) (duration ?YEAR (MeasureFn 1 YearDuration)))	Merge.kif 12364-12366	時間間隔は年の instance では %n 時間間隔の duration は 1 の YearDuration(s) では %n

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(equal
    (MeasureFn ?NUMBER YearDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 365) DayDuration))

Merge.kif 10409-10411

実数の YearDuration(s) は実数 + 365 の DayDuration(s) と equal では %n

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: