age - Sigma Knowledge base Browser

appearance as argument number 1

(documentation age ChineseLanguage "这只是把一个 Object 和一个用来指定这个 Object 的岁数的 ConstantQuantity 联系起来。")	chinese_format.kif 2635-2636
(documentation age EnglishLanguage "Simply relates an Object to a ConstantQuantity specifying the age of the Object.")	Merge.kif 7522-7523
(documentation age JapaneseLanguage "単に Object の年齢を指定する ConstantQuantity に Object を関連付ける。")	japanese_format.kif 1350-1351
(domain age 2 TimeDuration)	Merge.kif 7520-7520	age の数値 2 引数は時間分の instance では %n
(instance age BinaryPredicate)	Merge.kif 7519-7519	age は 2進述語の instance では %n
(instance age SingleValuedRelation)	Merge.kif 7517-7517	age は一価関係の instance では %n
(subrelation age measure)	Merge.kif 7518-7518	age は measure の subrelation では %n

appearance as argument number 2

(format ChineseLanguage age "%1 的 age %n 是 %2")	chinese_format.kif 611-611
(format EnglishLanguage age "the age of %1 is %n %2")	english_format.kif 614-614
(format FrenchLanguage age "l' �ge de %1 est %n %2")	french_format.kif 370-370
(format ItalianLanguage age "il età di %1 è%n %2")	relations-it.txt 21-21
(format JapaneseLanguage age "%1 の age は %2 では %n ")	japanese_format.kif 2104-2104
(format PortugueseLanguage age "a idade de %1 e' %n %2")	portuguese_format.kif 322-322
(format cb age "ang idad sa %1 %n{dili} %2")	relations-cb.txt 55-55
(format de age "das alter von %1 ist %2 %n{nicht}")	relations-de.txt 800-800
(format hi age "%1 kii aayu %2 %n hai")	relations-hindi.txt 66-66
(format ro age "age%t{vârsta} lui %1 %n{nu} este %2")	relations-ro.kif 392-392
(format sv age "åldern på %1 är %n{inte} %2")	relations-sv.txt 411-411
(format tg age "ang gulang ng %1 %n{hindi} %2")	relations-tg.txt 58-58
(termFormat ChineseLanguage age "年龄")	chinese_format.kif 612-612
(termFormat ChineseTraditionalLanguage age "年齡")	domainEnglishFormat.kif 5795-5795
(termFormat EnglishLanguage age "age")	domainEnglishFormat.kif 5794-5794
(termFormat tg age "gulang")	relations-tg.txt 59-59

antecedent

(=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration))) (lessThanOrEqualTo ?AGE ?VOTINGAGE))	Government.kif 1039-1048	Election は ElectionFn AutonomousAgent の instance では %n 工程は VotingFn Election の instance では %n AutonomousAgent は工程の agent では %n suffrageAgeMaximum AutonomousAgent and 実数の YearDuration(s) AutonomousAgent の age は実数の YearDuration(s) では実数は実数より less または同等では %n
(=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration))) (greaterThanOrEqualTo ?AGE ?VOTINGAGE))	Government.kif 967-976	Election は ElectionFn AutonomousAgent の instance では %n 工程は VotingFn Election の instance では %n AutonomousAgent は工程の agent では %n suffrageAgeMinimum AutonomousAgent and 実数の YearDuration(s) AutonomousAgent の age は実数の YearDuration(s) では実数は実数 greater では　%n
(=> (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 335-341	エンティティーは人［人間］の 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 212-218	エンティティーは人［人間］の 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 262-267	エンティティーは人［人間］の 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 385-390	エンティティーは人［人間］の 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 304-311	エンティティーは人［人間］の instance では %n エンティティーの age は実数の YearDuration(s) ではは時間位置の during holds %n{ない} 実数は 14 より less または同等では %n エンティティーは HumanChild の instance では %n は時間位置の during holds %n{ない}
(=> (and (instance ?M Mutton) (part ?M ?S) (instance ?S Sheep) (age ?S (MeasureFn ?A MonthDuration))) (greaterThanOrEqualTo ?A 12))	Economy.kif 4962-4968	オブジェクトは Mutton の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトは Sheep の instance では %n オブジェクトの age は実数の MonthDuration(s) では実数は 12 greater では　%n
(=> (and (instance ?TIME TimePoint) (holdsDuring ?TIME (age ?OBJ ?DURATION))) (duration (TimeIntervalFn (BeginFn (WhenFn ?OBJ)) ?TIME) ?DURATION))	Merge.kif 7525-7529	時点は時点の instance では %n 物理の age は時間分ではは時点の during holds %n{ない} 物理の time の existence の beginning と時点の interval の duration は時間分では %n
(=> (and (militaryAge ?AREA (MeasureFn ?MILITARYAGE YearDuration)) (militaryOfArea ?MILITARY ?AREA) (member ?AGENT ?MILITARY) (age ?AGENT (MeasureFn ?AGE YearDuration))) (greaterThanOrEqualTo ?AGE ?MILITARYAGE))	Military.kif 843-851	militaryAge 地政学的地域 and 実数の YearDuration(s) militaryOfArea MilitaryOrganization and 地政学的地域物理は MilitaryOrganization の member では %n 物理の age は実数の YearDuration(s) では実数は実数 greater では　%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 554-571	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
(=> (and (subProposition CompulsorySuffrageLaw (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))	Government.kif 1140-1153	CompulsorySuffrageLaw は RegionalLawFn 国民の sub-proposition では %n 人［人間］は国民% の citizen では %n suffrageAgeMinimum 国民 and 実数の YearDuration(s) 人［人間］の age は実数の YearDuration(s) では実数は実数 greater では　%n Election は ElectionFn 国民の instance では %n 工程工程は VotingFn Election の instance では %n 人［人間］は工程の agent では %n
(=> (and (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))	Government.kif 1084-1094	UniversalSuffrageLaw は RegionalLawFn 国民の sub-proposition では %n 人［人間］は国民% の citizen では %n suffrageAgeMinimum 国民 and 実数の YearDuration(s) 人［人間］の age は実数の YearDuration(s) では実数は実数 greater では　%n Election は ElectionFn 国民の instance では %n 人［人間］は VotingFn Election を agent として行う capable では %n
(=> (and (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT) (age ?AGENT (MeasureFn ?AGE YearDuration))) (lessThanOrEqualTo ?AGE ?VOTINGAGE))	Government.kif 1016-1024	suffrageAgeMaximum AutonomousAgent and 実数の YearDuration(s) Election は ElectionFn AutonomousAgent の instance では %n オブジェクトは VotingFn Election を agent として行う capable では %n オブジェクトの age は実数の YearDuration(s) では実数は実数より less または同等では %n
(=> (and (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT) (age ?AGENT (MeasureFn ?AGE YearDuration))) (greaterThanOrEqualTo ?AGE ?VOTINGAGE))	Government.kif 944-952	suffrageAgeMinimum AutonomousAgent and 実数の YearDuration(s) Election は ElectionFn AutonomousAgent の instance では %n オブジェクトは VotingFn Election を agent として行う capable では %n オブジェクトの age は実数の YearDuration(s) では実数は実数 greater では　%n
(=> (and (underageUser ?HUMAN ?SITE) (age ?HUMAN (MeasureFn ?AGE YearDuration))) (greaterThanOrEqualTo ?AGE 18))	UXExperimentalTerms.kif 1078-1082	underageUser 人［人間］ and WebSite 人［人間］の age は実数の YearDuration(s) では実数は 18 greater では　%n
(=> (holdsDuring ?TIME (and (instance ?ADULT HumanAdult) (age ?ADULT (MeasureFn ?NUMBER YearDuration)))) (greaterThanOrEqualTo ?NUMBER 18))	Mid-level-ontology.kif 186-192	エンティティーは 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 368-373	エンティティーは 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 287-292	エンティティーは 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 316-323	エンティティーは 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 245-250	エンティティーは HumanYouth の instance では %n エンティティーの age は実数の YearDuration(s) ではは時間位置の during holds %n{ない} 実数は 18 より less では %n

consequent

(<=> (and (instance ?Y (YearFn ?YEAR)) (equal (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (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) ?Y) (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 357-390	年は年EAR year 目の instance では %n MaleLifeExpectancyAtBirthFn 地政学的地域 and 年は実数と equal では %n リスト整数, 記号文字列, エンティティー, エンティティー and エンティティーリストはリストの instance では %n リストの length は整数の instance では %n リストITEM リストITEM はリストの member では %n リストITEM は記号文字列の instance では %n エンティティーエンティティーは記号文字列の instance では %n エンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では %n average リスト and 実数
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (DeathsPerThousandLiveBirthsFn ?AREA ?YEAR) ?REALNUMBER)) (and (equal ?BIRTHCOUNT (CardinalityFn (KappaFn ?BIRTH (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (instance ?INFANT Human) (during (WhenFn ?BIRTH) ?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) ?YEAR) (equal (WhereFn ?DEATH (WhenFn ?DEATH)) ?AREA))))) (equal (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))	People.kif 238-264	年は整数 year 目の instance では %n DeathsPerThousandLiveBirthsFn 地政学的地域 and 年は実数と equal では %n 整数はエンティティー class の instances の数と equal では %n 整数 + 1000 は実数と equal では %n 整数はエンティティー class の instances の数と equal では %n 整数 + 実数は実数と equal では %n
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (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) ?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 403-436	年は整数 year 目の instance では %n FemaleLifeExpectancyAtBirthFn 地政学的地域 and 年は実数と equal では %n リスト整数, 記号文字列, エンティティー, エンティティー and エンティティーリストはリストの instance では %n リストの length は整数の instance では %n リストITEM リストITEM はリストの member では %n リストITEM は記号文字列の instance では %n エンティティーエンティティーは記号文字列の instance では %n エンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では %n average リスト and 実数
(<=> (and (instance ?YEAR (YearFn ?Y)) (equal (LifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (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) ?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 310-342	年は整数 year 目の instance では %n LifeExpectancyAtBirthFn 地政学的地域 and 年は実数と equal では %n リスト整数, 記号文字列, エンティティー, エンティティー and エンティティーリストはリストの instance では %n リストの length は整数の instance では %n リストITEM リストITEM はリストの member では %n リストITEM は記号文字列の instance では %n エンティティーエンティティーは記号文字列の instance では %n エンティティーはリストの member では整数は記号文字列で記述される class の instances の数と equal では %n average リスト and 実数
(=> (and (citizen ?AGENT ?POLITY) (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY))) (confersRight (forall (?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?AGENT))	Government.kif 1096-1116	人［人間］は国民% の citizen では %n UniversalSuffrageLaw は RegionalLawFn 国民の sub-proposition では %n RegionalLawFn 国民は人［人間］がエンティティーエンティティー and エンティティー人［人間］は国民% の citizen では %n suffrageAgeMinimum 国民 and エンティティーの YearDuration(s) 人［人間］の age はエンティティーの YearDuration(s) ではエンティティーはエンティティー greater では　%n エンティティーは ElectionFn 国民の instance では %n エンティティーエンティティーは VotingFn エンティティーの instance では %n 人［人間］はエンティティーの agent では %n のタスクを実行することはを allows %n{ない}
(=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration))) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (lessThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 1026-1037	Election は ElectionFn AutonomousAgent の instance では %n 工程は VotingFn Election の instance では %n AutonomousAgent は工程の agent では %n suffrageAgeMaximum AutonomousAgent and 実数の YearDuration(s) 実数 AutonomousAgent の age は実数の YearDuration(s) では実数は実数より less または同等では %n
(=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration))) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 954-965	Election は ElectionFn AutonomousAgent の instance では %n 工程は VotingFn Election の instance では %n AutonomousAgent は工程の agent では %n suffrageAgeMinimum AutonomousAgent and 実数の YearDuration(s) 実数 AutonomousAgent の age は実数の YearDuration(s) では実数は実数 greater では　%n
(=> (and (instance ?X Argument) (instance ?R Reasoning) (instance ?A Archeology) (subProposition ?X ?A) (realization ?R ?X)) (exists (?D ?S ?O ?T ?W ?L) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O (MeasureFn ?T YearDuration)) (greaterThan ?T 50) (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 21174-21204	命題は Argument の instance では %n 工程は推理の instance では %n 命題は Archeology の instance では %n 命題は命題の sub-proposition では %n 工程は命題の内容を expresses %n{ない} 工程エンティティー, 物理, 実数, エンティティー and エンティティー工程は Discovering の instance では %n 物理はオブジェクトの instance では %n 物理は工程の patient では %n 工程は工程への reference を includes %n{ない} 工程の time の existence は工程の time の existence より earlier happens %n{ない} 物理の age は実数の YearDuration(s) では実数は 50 より greater では　%n エンティティーはエンティティーの surface では %n エンティティーは BodyOfWater の instance では %n 物理は Below 対エンティティーでは %n エンティティーはエンティティーの surface では %n エンティティーは土地面積の instance では %n 物理は Below 対エンティティーでは %n は工程の time の existence の immediately before の during holds %n{ない}
(=> (and (militaryAge ?AREA (MeasureFn ?MILITARYAGE YearDuration)) (militaryOfArea ?MILITARY ?AREA) (member ?AGENT ?MILITARY)) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?MILITARYAGE))))	Military.kif 831-841	militaryAge 地政学的地域 and 実数の YearDuration(s) militaryOfArea MilitaryOrganization and 地政学的地域物理は MilitaryOrganization の member では %n 実数物理の age は実数の YearDuration(s) では実数は実数 greater では　%n
(=> (and (numberSeniorOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL ?AGE) (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 2925-2940	numberSeniorOccupant HotelReservation and 整数 fulfillingEntity AutonomousAgent and HotelReservation コレクション実数コレクションは GroupOfPeople の instance では %n 物理物理はコレクションの member では %n 物理は HumanAdult の instance では %n 物理の age は実数の YearDuration(s) では実数は 60 greater では　%n memberCount コレクション and 整数 potentialCustomer コレクション and AutonomousAgent
(=> (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 573-588	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 (subProposition CompulsorySuffrageLaw (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY)) (confersObligation (forall (?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?AGENT))	Government.kif 1175-1195	CompulsorySuffrageLaw は RegionalLawFn 国民の sub-proposition では %n 人［人間］は国民% の citizen では %n RegionalLawFn 国民は人［人間］にタイプエンティティーエンティティー and エンティティー人［人間］は国民% の citizen では %n suffrageAgeMinimum 国民 and エンティティーの YearDuration(s) 人［人間］の age はエンティティーの YearDuration(s) ではエンティティーはエンティティー greater では　%n エンティティーは ElectionFn 国民の instance では %n エンティティーエンティティーは VotingFn エンティティーの instance では %n 人［人間］はエンティティーの agent では %n のタスクを実行する obligates %n{ない}
(=> (and (suffrageAgeMaximum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (lessThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 1004-1014	suffrageAgeMaximum AutonomousAgent and 実数の YearDuration(s) Election は ElectionFn AutonomousAgent の instance では %n オブジェクトは VotingFn Election を agent として行う capable では %n 実数オブジェクトの age は実数の YearDuration(s) では実数は実数より less または同等では %n
(=> (and (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 932-942	suffrageAgeMinimum AutonomousAgent and 実数の YearDuration(s) Election は ElectionFn AutonomousAgent の instance では %n オブジェクトは VotingFn Election を agent として行う capable では %n 実数オブジェクトの age は実数の YearDuration(s) では実数は実数 greater では　%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 375-383	エンティティーは 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 194-202	エンティティーは 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 294-302	エンティティーは 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 252-260	エンティティーは 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 325-333	エンティティーは Teenager の instance では %n は時間位置の during holds %n{ない} エンティティーエンティティーの age はエンティティーではは時間位置の during holds %n{ない} エンティティーは 13 の YearDuration(s) から 19 の YearDuration(s) までの interval の instance では %n
(=> (instance ?GROUP AgeGroup) (forall (?MEMB1 ?MEMB2 ?AGE1 ?AGE2) (=> (and (member ?MEMB1 ?GROUP) (member ?MEMB2 ?GROUP) (age ?MEMB1 ?AGE1) (age ?MEMB2 ?AGE2)) (equal ?AGE1 ?AGE2))))	Merge.kif 16319-16328	コレクションは年齢層の instance では %n 物理物理, 時間分 and 時間分物理はコレクションの member では %n 物理はコレクションの member では %n 物理の age は時間分では物理の age は時間分では時間分は時間分と equal では %n
(=> (older ?O1 ?O2) (exists (?N1 ?N2 ?U) (and (age ?O1 (MeasureFn ?N1 ?U)) (age ?O2 (MeasureFn ?N2 ?U)) (greaterThan ?N1 ?N2))))	Mid-level-ontology.kif 398-404	older オブジェクト and オブジェクト実数実数 and 測定単位オブジェクトの age は実数の測定単位(s) ではオブジェクトの age は実数の測定単位(s) では実数は実数より greater では　%n
(=> (subProposition CompulsorySuffrageLaw (RegionalLawFn ?POLITY)) (confersObligation (forall (?AGENT ?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?POLITY))	Government.kif 1155-1173	CompulsorySuffrageLaw は RegionalLawFn 地政学的地域の sub-proposition では %n RegionalLawFn 地政学的地域は地政学的地域にタイプエンティティーエンティティー, エンティティー and エンティティーエンティティーは地政学的地域% の citizen では %n suffrageAgeMinimum 地政学的地域 and エンティティーの YearDuration(s) エンティティーの age はエンティティーの YearDuration(s) ではエンティティーはエンティティー greater では　%n エンティティーは ElectionFn 地政学的地域の instance では %n エンティティーエンティティーは VotingFn エンティティーの instance では %n エンティティーはエンティティーの agent では %n のタスクを実行する obligates %n{ない}
(=> (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY)) (forall (?AGENT ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))))	Government.kif 1070-1082	UniversalSuffrageLaw は RegionalLawFn 国民の sub-proposition では %n 人［人間］ Election, 実数 and 実数人［人間］は国民% の citizen では %n suffrageAgeMinimum 国民 and 実数の YearDuration(s) 人［人間］の age は実数の YearDuration(s) では実数は実数 greater では　%n Election は ElectionFn 国民の instance では %n 人［人間］は VotingFn Election を agent として行う capable では %n

statement

(containsInformation (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw)	Government.kif 1056-1067	?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE ?AGENT は ?POLITY% の citizen では %n suffrageAgeMinimum ?POLITY and ?VOTINGAGE の YearDuration(s) ?AGENT の age は ?AGE の YearDuration(s) では ?AGE は ?VOTINGAGE greater では　%n ?ELECTION は ElectionFn ?POLITY の instance では %n ?AGENT は VotingFn ?ELECTION を agent として行う capable では %n は UniversalSuffrageLaw の情報を contains %n{ない}
(containsInformation (forall (?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?VOTER ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?VOTER (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER))))) CompulsorySuffrageLaw)	Government.kif 1124-1138	?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE ?VOTER は ?POLITY% の citizen では %n suffrageAgeMinimum ?POLITY and ?VOTINGAGE の YearDuration(s) ?VOTER の age は ?AGE の YearDuration(s) では ?AGE は ?VOTINGAGE greater では　%n ?ELECTION は ElectionFn ?POLITY の instance では %n ?VOTING ?VOTING は VotingFn ?ELECTION の instance では %n ?VOTER は ?VOTING の agent では %n は CompulsorySuffrageLaw の情報を contains %n{ない}
(equal (AvailableForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	Military.kif 863-872	AvailableForMilitaryServiceMaleFn 地政学的地域はエンティティー class の instances の数と equal では %n
(equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (subclass ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	Military.kif 886-897	FitForMilitaryServiceMaleFn 地政学的地域はエンティティー class の instances の数と equal では %n
(equal (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (equal ?AGEMINUSONE (SubtractionFn ?AGE 1)) (holdsDuring ?YEAR (or (age ?PERSON ?AGEMINUSONE) (age ?PERSON ?AGE))) (equal ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	Military.kif 924-937	ReachingMilitaryAgeAnnuallyMaleFn 地政学的地域 and 年はエンティティー class の instances の数と 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: