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 7507-7508
(documentation age JapaneseLanguage "単に Object の年齢を指定する ConstantQuantity に Object を関連付ける。")	japanese_format.kif 1350-1351
(domain age 2 TimeDuration)	Merge.kif 7505-7505	age の数値 2 引数は時間分の instance では %n
(instance age BinaryPredicate)	Merge.kif 7504-7504	age は 2進述語の instance では %n
(instance age SingleValuedRelation)	Merge.kif 7502-7502	age は一価関係の instance では %n
(subrelation age measure)	Merge.kif 7503-7503	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 5800-5800
(termFormat EnglishLanguage age "age")	domainEnglishFormat.kif 5799-5799
(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 1075-1084	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 1003-1012	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 342-348	エンティティーは人［人間］の 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 219-225	エンティティーは人［人間］の 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 269-274	エンティティーは人［人間］の 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 392-397	エンティティーは人［人間］の 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 311-318	エンティティーは人［人間］の instance では %n エンティティーの age は実数の YearDuration(s) ではは時間位置の during holds %n{ない} 実数は 14 より less または同等では %n エンティティーは HumanChild の instance では %n は時間位置の during holds %n{ない}
(=> (and (instance ?TIME TimePoint) (holdsDuring ?TIME (age ?OBJ ?DURATION))) (duration (TimeIntervalFn (BeginFn (WhenFn ?OBJ)) ?TIME) ?DURATION))	Merge.kif 7510-7514	時点は時点の 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 852-860	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 577-594	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 1176-1189	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 1120-1130	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 1052-1060	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 980-988	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 1275-1279	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 193-199	エンティティーは 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 375-380	エンティティーは 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 294-299	エンティティーは 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 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

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 383-416	年は年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 264-290	年は整数 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 429-462	年は整数 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 336-368	年は整数 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 1132-1152	人［人間］は国民% の 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 1062-1073	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 990-1001	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) (subProposition ?X Archeology) (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 20980-21009	命題は 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 は実数の 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 840-850	militaryAge 地政学的地域 and 実数の YearDuration(s) militaryOfArea MilitaryOrganization and 地政学的地域物理は MilitaryOrganization の member では %n 実数物理の age は実数の YearDuration(s) では実数は実数 greater では　%n
(=> (and (numberSeniorOccupant ?RESERVE ?NUM) (fulfillingEntity ?RESERVE ?HOTEL)) (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 HotelReservation and Reservation コレクション実数コレクションは GroupOfPeople の instance では %n 物理物理はコレクションの member では %n 物理は HumanAdult の instance では %n 物理の age は実数の YearDuration(s) では実数は 60 greater では　%n memberCount コレクション and 整数 potentialCustomer コレクション and Reservation
(=> (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 596-611	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 1211-1231	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 1040-1050	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 968-978	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 382-390	エンティティーは 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 201-209	エンティティーは 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 301-309	エンティティーは 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 259-267	エンティティーは 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 332-340	エンティティーは 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 16132-16141	コレクションは年齢層の 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 405-411	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 1191-1209	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 1106-1118	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 1092-1103	?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 1160-1174	?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 872-881	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 895-906	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 933-946	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: