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 7130-7131
(domain age 2 TimeDuration)	Merge.kif 7128-7128	domain age, 2 and TimeDuration
(instance age BinaryPredicate)	Merge.kif 7127-7127	instance age and BinaryPredicate
(instance age SingleValuedRelation)	Merge.kif 7125-7125	instance age and SingleValuedRelation
(subrelation age measure)	Merge.kif 7126-7126	subrelation age and measure

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 617-617
(termFormat ChineseLanguage age "年龄")	chinese_format.kif 612-612
(termFormat ChineseTraditionalLanguage age "年齡")	domainEnglishFormat.kif 5802-5802
(termFormat EnglishLanguage age "age")	domainEnglishFormat.kif 5801-5801

antecedent

(=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMaximum ?POLITY ?VOTINGAGE) (age ?AGENT ?AGE)) (lessThanOrEqualTo ?AGE ?VOTINGAGE))	Government.kif 1047-1054	instance Election and ElectionFn Agent instance Process and VotingFn Election agent Process and Agent suffrageAgeMaximum Agent and TimeDuration age Agent and TimeDuration lessThanOrEqualTo TimeDuration and TimeDuration
(=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (age ?AGENT ?AGE)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE))	Government.kif 983-990	instance Election and ElectionFn Agent instance Process and VotingFn Election agent Process and Agent suffrageAgeMinimum Agent and TimeDuration age Agent and TimeDuration greaterThanOrEqualTo TimeDuration and TimeDuration
(=> (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 491-497	instance Entity and Human holdsDuring TimePosition and age Entity and MeasureFn Quantity and YearDuration greaterThan Quantity and 12 lessThan Quantity and 20 holdsDuring TimePosition and instance Entity and Teenager
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (greaterThanOrEqualTo ?N 18)) (holdsDuring ?T1 (instance ?H HumanAdult)))	Mid-level-ontology.kif 357-363	instance Entity and Human holdsDuring TimePosition and age Entity and MeasureFn Quantity and YearDuration greaterThanOrEqualTo Quantity and 18 holdsDuring TimePosition and instance Entity and HumanAdult
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThan ?N 18)) (holdsDuring ?T1 (instance ?H HumanYouth)))	Mid-level-ontology.kif 418-423	instance Entity and Human holdsDuring TimePosition and age Entity and MeasureFn Quantity and YearDuration lessThan Quantity and 18 holdsDuring TimePosition and instance Entity and HumanYouth
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThanOrEqualTo ?N 1)) (holdsDuring ?T1 (instance ?H HumanBaby)))	Mid-level-ontology.kif 553-558	instance Entity and Human holdsDuring TimePosition and age Entity and MeasureFn Quantity and YearDuration lessThanOrEqualTo Quantity and 1 holdsDuring TimePosition and instance Entity and HumanBaby
(=> (and (instance ?H Human) (holdsDuring ?T1 (age ?H (MeasureFn ?N YearDuration))) (lessThanOrEqualTo ?N 14)) (holdsDuring ?T1 (instance ?H HumanChild)))	Mid-level-ontology.kif 462-467	instance Entity and Human holdsDuring TimePosition and age Entity and MeasureFn Quantity and YearDuration lessThanOrEqualTo Quantity and 14 holdsDuring TimePosition and instance Entity and HumanChild
(=> (and (instance ?TIME TimePoint) (holdsDuring ?TIME (age ?OBJ ?DURATION))) (duration (TimeIntervalFn (BeginFn (WhenFn ?OBJ)) ?TIME) ?DURATION))	Merge.kif 7133-7137	instance TimePoint and TimePoint holdsDuring TimePoint and age Physical and TimeDuration duration TimeIntervalFn BeginFn WhenFn Physical and TimePoint and TimeDuration
(=> (and (militaryAge ?AREA ?MILITARYAGE) (militaryOfArea ?MILITARY ?AREA) (member ?AGENT ?MILITARY) (age ?AGENT ?AGE)) (greaterThanOrEqualTo ?AGE ?MILITARYAGE))	Military.kif 849-855	militaryAge GeopoliticalArea and TimeDuration militaryOfArea MilitaryOrganization and GeopoliticalArea member Object and MilitaryOrganization age Object and TimeDuration greaterThanOrEqualTo TimeDuration and TimeDuration
(=> (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 602-619	partyToAgreement CognitiveAgent and Agreement instance Process and IntentionalProcess located Process and GeopoliticalArea instance GeopoliticalArea and Nation located Process and GeopoliticalArea instance GeopoliticalArea and GeopoliticalArea ageOfMajorityForProcess MeasureFn RealNumber and YearDuration, GeopoliticalArea and Process result Process and ContentBearingPhysical recordForAgreement ContentBearingPhysical and Agreement holdsDuring WhenFn Process and age CognitiveAgent and MeasureFn entity and YearDuration greaterThan entity and RealNumber attribute Agreement and Legal
(=> (and (subProposition CompulsorySuffrageLaw (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (age ?AGENT ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))	Government.kif 1136-1147	subProposition CompulsorySuffrageLaw and RegionalLawFn Nation citizen Human and Nation suffrageAgeMinimum Nation and TimeDuration age Human and TimeDuration greaterThanOrEqualTo TimeDuration and TimeDuration instance Election and ElectionFn Nation Process instance Process and VotingFn Election agent Process and Human
(=> (and (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (age ?AGENT ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))	Government.kif 1086-1094	subProposition UniversalSuffrageLaw and RegionalLawFn Nation citizen Human and Nation suffrageAgeMinimum Nation and TimeDuration age Human and TimeDuration greaterThanOrEqualTo TimeDuration and TimeDuration instance Election and ElectionFn Nation capability VotingFn Election, agent and Human
(=> (and (suffrageAgeMaximum ?POLITY ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT) (age ?AGENT ?AGE)) (lessThanOrEqualTo ?AGE ?VOTINGAGE))	Government.kif 1028-1034	suffrageAgeMaximum Agent and TimeDuration instance Election and ElectionFn Agent capability VotingFn Election, agent and Object age Object and TimeDuration lessThanOrEqualTo TimeDuration and TimeDuration
(=> (and (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT) (age ?AGENT ?AGE)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE))	Government.kif 964-970	suffrageAgeMinimum Agent and TimeDuration instance Election and ElectionFn Agent capability VotingFn Election, agent and Object age Object and TimeDuration greaterThanOrEqualTo TimeDuration and TimeDuration
(=> (and (underageUser ?HUMAN ?SITE) (age ?HUMAN ?AGE)) (greaterThanOrEqualTo ?AGE (MeasureFn 18 YearDuration)))	UXExperimentalTerms.kif 1271-1275	underageUser Human and WebSite age Human and TimeDuration greaterThanOrEqualTo TimeDuration and MeasureFn 18 and YearDuration
(=> (holdsDuring ?TIME (and (instance ?ADULT HumanAdult) (age ?ADULT (MeasureFn ?NUMBER YearDuration)))) (greaterThanOrEqualTo ?NUMBER 18))	Mid-level-ontology.kif 333-338	holdsDuring TimePosition and instance entity and HumanAdult age entity and MeasureFn Quantity and YearDuration greaterThanOrEqualTo Quantity and 18
(=> (holdsDuring ?TIME (and (instance ?BABY HumanBaby) (age ?BABY (MeasureFn ?NUMBER YearDuration)))) (lessThanOrEqualTo ?NUMBER 1))	Mid-level-ontology.kif 527-532	holdsDuring TimePosition and instance entity and HumanBaby age entity and MeasureFn Quantity and YearDuration lessThanOrEqualTo Quantity and 1
(=> (holdsDuring ?TIME (and (instance ?CHILD HumanChild) (age ?CHILD (MeasureFn ?NUMBER YearDuration)))) (lessThanOrEqualTo ?NUMBER 14))	Mid-level-ontology.kif 446-451	holdsDuring TimePosition and instance entity and HumanChild age entity and MeasureFn Quantity and YearDuration lessThanOrEqualTo Quantity and 14
(=> (holdsDuring ?TIME (and (instance ?TEEN Teenager) (age ?TEEN (MeasureFn ?NUMBER YearDuration)))) (and (greaterThan ?NUMBER 12) (lessThan ?NUMBER 20)))	Mid-level-ontology.kif 473-480	holdsDuring TimePosition and instance entity and Teenager age entity and MeasureFn Quantity and YearDuration greaterThan Quantity and 12 lessThan Quantity and 20
(=> (holdsDuring ?TIME (and (instance ?YOUTH HumanYouth) (age ?YOUTH (MeasureFn ?NUMBER YearDuration)))) (lessThan ?NUMBER 18))	Mid-level-ontology.kif 402-407	holdsDuring TimePosition and instance entity and HumanYouth age entity and MeasureFn Quantity and YearDuration lessThan Quantity and 18

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	equal DeathsPerThousandLiveBirthsFn GeopoliticalArea and YearFn Integer and RealNumber equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Birth experiencer SymbolicString and entity instance entity and Human during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn Integer and 1000 and Quantity equal entityDEATHCOUNT and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Death experiencer SymbolicString and entity instance entity and Human age entity and MeasureFn entity and YearDuration lessThan entity and 1 during WhenFn SymbolicString and YearFn Integer equal WhereFn SymbolicString and WhenFn SymbolicString and GeopoliticalArea equal DivisionFn entityDEATHCOUNT and Quantity and RealNumber
(<=> (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	equal FemaleLifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human attribute entity and Female during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (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	equal LifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(<=> (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	equal MaleLifeExpectancyAtBirthFn GeopoliticalArea and YearFn Integer and RealNumber List instance List and List instance ListLengthFn List and Integer ListITEM inList ListITEM and List instance ListITEM and SymbolicString Entity instance Entity and SymbolicString inList Entity and List equal Integer and CardinalityFn KappaFn SymbolicString and instance entity and Birth experiencer entity and entity instance entity and Human attribute entity and Male during WhenFn entity and YearFn Integer equal WhereFn entity and WhenFn entity and GeopoliticalArea instance entity and Death experiencer entity and entity holdsDuring WhenFn entity and age entity and MeasureFn SymbolicString and YearDuration average List and RealNumber
(=> (and (citizen ?AGENT ?POLITY) (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY))) (confersRight (forall (?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (age ?AGENT ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?AGENT))	Government.kif 1096-1114	citizen Human and Nation subProposition UniversalSuffrageLaw and RegionalLawFn Nation confersRight entity entity and entity citizen Human and Nation suffrageAgeMinimum Nation and entity age Human and entity greaterThanOrEqualTo entity and entity instance entity and ElectionFn Nation entity instance entity and VotingFn entity agent entity and Human , RegionalLawFn Nation and Human
(=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMaximum ?POLITY ?VOTINGAGE)) (exists (?AGE) (and (age ?AGENT ?AGE) (lessThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 1036-1045	instance Election and ElectionFn Agent instance Process and VotingFn Election agent Process and Agent suffrageAgeMaximum Agent and TimeDuration TimeDuration age Agent and TimeDuration lessThanOrEqualTo TimeDuration and TimeDuration
(=> (and (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT) (suffrageAgeMinimum ?POLITY ?VOTINGAGE)) (exists (?AGE) (and (age ?AGENT ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 972-981	instance Election and ElectionFn Agent instance Process and VotingFn Election agent Process and Agent suffrageAgeMinimum Agent and TimeDuration TimeDuration age Agent and TimeDuration greaterThanOrEqualTo TimeDuration and TimeDuration
(=> (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 18839-18868	instance Proposition and Argument instance Process and Reasoning subProposition Proposition and Archeology realization Process and Proposition Process entity, Object and TimeDuration instance Process and Discovering instance Object and Object patient Process and Object refers Process and Process earlier WhenFn Process and WhenFn Process age Object and TimeDuration greaterThan TimeDuration and MeasureFn 50 and YearDuration holdsDuring ImmediatePastFn WhenFn Process and surface entity and entity instance entity and BodyOfWater orientation Object, entity and Below surface entity and entity instance entity and LandArea orientation Object, entity and Below
(=> (and (militaryAge ?AREA ?MILITARYAGE) (militaryOfArea ?MILITARY ?AREA) (member ?AGENT ?MILITARY)) (exists (?AGE) (and (age ?AGENT ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE))))	Military.kif 839-847	militaryAge GeopoliticalArea and TimeDuration militaryOfArea MilitaryOrganization and GeopoliticalArea member Object and MilitaryOrganization TimeDuration age Object and TimeDuration greaterThanOrEqualTo TimeDuration and TimeDuration
(=> (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 2867-2882	numberSeniorOccupant Agent and Integer fulfillingEntity Agent and Agent Collection instance Collection and GroupOfPeople Object member Object and Collection instance Object and HumanAdult age Object and MeasureFn RealNumber and YearDuration greaterThanOrEqualTo RealNumber and 60 memberCount Collection and Integer potentialCustomer Collection and Agent
(=> (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 621-636	partyToAgreement CognitiveAgent and Agreement instance Process and IntentionalProcess located Process and GeopoliticalArea instance GeopoliticalArea and GeopoliticalArea ageOfMajorityForProcess MeasureFn RealNumber and YearDuration, GeopoliticalArea and Process result Process and ContentBearingPhysical recordForAgreement ContentBearingPhysical and Agreement attribute Agreement and Legal holdsDuring WhenFn Process and age CognitiveAgent and MeasureFn RealNumber and YearDuration greaterThan RealNumber and RealNumber
(=> (and (subProposition CompulsorySuffrageLaw (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY)) (confersObligation (forall (?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (age ?AGENT ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?AGENT))	Government.kif 1167-1185	subProposition CompulsorySuffrageLaw and RegionalLawFn Nation citizen Human and Nation confersObligation entity entity and entity citizen Human and Nation suffrageAgeMinimum Nation and entity age Human and entity greaterThanOrEqualTo entity and entity instance entity and ElectionFn Nation entity instance entity and VotingFn entity agent entity and Human , RegionalLawFn Nation and Human
(=> (and (suffrageAgeMaximum ?POLITY ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (exists (?AGE) (and (age ?AGENT ?AGE) (lessThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 1018-1026	suffrageAgeMaximum Agent and TimeDuration instance Election and ElectionFn Agent capability VotingFn Election, agent and Object TimeDuration age Object and TimeDuration lessThanOrEqualTo TimeDuration and TimeDuration
(=> (and (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (exists (?AGE) (and (age ?AGENT ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE))))	Government.kif 954-962	suffrageAgeMinimum Agent and TimeDuration instance Election and ElectionFn Agent capability VotingFn Election, agent and Object TimeDuration age Object and TimeDuration greaterThanOrEqualTo TimeDuration and TimeDuration
(=> (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 538-543	holdsDuring TimePosition and instance entity and HumanBaby Entity holdsDuring TimePosition and age entity and Entity instance Entity and IntervalFn MeasureFn 0 and YearDuration and MeasureFn 1 and YearDuration
(=> (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 341-346	holdsDuring TimePosition and instance entity and HumanAdult Entity holdsDuring TimePosition and age entity and Entity instance Entity and IntervalFn MeasureFn 18 and YearDuration and MeasureFn 120 and YearDuration
(=> (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 454-459	holdsDuring TimePosition and instance entity and HumanChild Entity holdsDuring TimePosition and age entity and Entity instance Entity and IntervalFn MeasureFn 0 and YearDuration and MeasureFn 14 and YearDuration
(=> (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 410-415	holdsDuring TimePosition and instance entity and HumanYouth Entity holdsDuring TimePosition and age entity and Entity instance Entity and IntervalFn MeasureFn 0 and YearDuration and MeasureFn 17 and YearDuration
(=> (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 483-488	holdsDuring TimePosition and instance entity and Teenager Entity holdsDuring TimePosition and age entity and Entity instance Entity and IntervalFn MeasureFn 13 and YearDuration and MeasureFn 19 and YearDuration
(=> (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 15051-15060	instance Collection and AgeGroup Object Object, TimeDuration and TimeDuration member Object and Collection member Object and Collection age Object and TimeDuration age Object and TimeDuration equal TimeDuration and TimeDuration
(=> (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 567-573	older Object and Object RealNumber RealNumber and UnitOfMeasure age Object and MeasureFn RealNumber and UnitOfMeasure age Object and MeasureFn RealNumber and UnitOfMeasure greaterThan RealNumber and RealNumber
(=> (subProposition CompulsorySuffrageLaw (RegionalLawFn ?POLITY)) (confersObligation (forall (?AGENT ?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (age ?AGENT ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?POLITY))	Government.kif 1149-1165	subProposition CompulsorySuffrageLaw and RegionalLawFn GeopoliticalArea confersObligation entity entity, entity and entity citizen entity and GeopoliticalArea suffrageAgeMinimum GeopoliticalArea and entity age entity and entity greaterThanOrEqualTo entity and entity instance entity and ElectionFn GeopoliticalArea entity instance entity and VotingFn entity agent entity and entity , RegionalLawFn GeopoliticalArea and GeopoliticalArea
(=> (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY)) (forall (?AGENT ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (age ?AGENT ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))))	Government.kif 1074-1084	subProposition UniversalSuffrageLaw and RegionalLawFn Nation Human Election, TimeDuration and TimeDuration citizen Human and Nation suffrageAgeMinimum Nation and TimeDuration age Human and TimeDuration greaterThanOrEqualTo TimeDuration and TimeDuration instance Election and ElectionFn Nation capability VotingFn Election, agent and Human

statement

(containsInformation (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (age ?AGENT ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw)	Government.kif 1062-1071	containsInformation ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE citizen ?AGENT and ?POLITY suffrageAgeMinimum ?POLITY and ?VOTINGAGE age ?AGENT and ?AGE greaterThanOrEqualTo ?AGE and ?VOTINGAGE instance ?ELECTION and ElectionFn ?POLITY capability VotingFn ?ELECTION, agent and ?AGENT and UniversalSuffrageLaw
(containsInformation (forall (?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?VOTER ?POLITY) (suffrageAgeMinimum ?POLITY ?VOTINGAGE) (age ?VOTER ?AGE) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER))))) CompulsorySuffrageLaw)	Government.kif 1122-1134	containsInformation ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE citizen ?VOTER and ?POLITY suffrageAgeMinimum ?POLITY and ?VOTINGAGE age ?VOTER and ?AGE greaterThanOrEqualTo ?AGE and ?VOTINGAGE instance ?ELECTION and ElectionFn ?POLITY ?VOTING instance ?VOTING and VotingFn ?ELECTION agent ?VOTING and ?VOTER and CompulsorySuffrageLaw
(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 867-876	equal AvailableForMilitaryServiceMaleFn GeopoliticalArea and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Male militaryAge GeopoliticalArea and entity age SymbolicString and entity greaterThanOrEqualTo entity and entity inhabits SymbolicString and GeopoliticalArea
(equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (instance ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	Military.kif 890-901	equal FitForMilitaryServiceMaleFn GeopoliticalArea and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Male instance entity and MilitaryProcess fitForMilitaryService SymbolicString and entity militaryAge GeopoliticalArea and entity age SymbolicString and entity greaterThanOrEqualTo entity and entity inhabits SymbolicString and GeopoliticalArea
(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 928-941	equal ReachingMilitaryAgeAnnuallyMaleFn GeopoliticalArea and Year and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Male militaryAge GeopoliticalArea and entity equal entity and SubtractionFn entity and 1 holdsDuring Year and age SymbolicString and entity age SymbolicString and entity equal entity and entity inhabits SymbolicString and GeopoliticalArea

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: