Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  pin

 Sigma KEE - YearDuration
YearDuration(year duration)New_Year, Y2K, annum, anomalistic_year, financial_year, fiscal_year, sidereal_year, twelvemonth, year, yearlong, yr

appearance as argument number 1
-------------------------


(instance YearDuration UnitOfDuration) Merge.kif 7253-7253 Year duration is an instance of unit of duration
(instance YearDuration TimeDuration) Merge.kif 7254-7254 Year duration is an instance of time duration
(documentation YearDuration EnglishLanguage "Time unit. one calendar year. 1 year = 365 days = 31536000 seconds.") Merge.kif 7255-7256 Year duration is an instance of time duration

appearance as argument number 2
-------------------------


(relatedInternalConcept Year YearDuration) Merge.kif 8942-8942 Year is internally related to year duration
(termFormat EnglishLanguage YearDuration "year duration") domainEnglishFormat.kif 63752-63752 Year is internally related to year duration
(termFormat ChineseTraditionalLanguage YearDuration "年持續時間") domainEnglishFormat.kif 63753-63753 Year is internally related to year duration
(termFormat ChineseLanguage YearDuration "年持续时间") domainEnglishFormat.kif 63754-63754 Year is internally related to year duration

antecedent
-------------------------


(=>
    (holdsDuring ?TIME
        (and
            (instance ?ADULT HumanAdult)
            (age ?ADULT
                (MeasureFn ?NUMBER YearDuration))))
    (greaterThanOrEqualTo ?NUMBER 18))		 Mid-level-ontology.kif 176-182 If X is an instance of human adult and the age of X is Y year duration(s) holds during Z, then Y is greater than or equal to 18
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (greaterThanOrEqualTo ?N 18))
    (holdsDuring ?T1
        (instance ?H HumanAdult)))		 Mid-level-ontology.kif 202-208 If X is an instance of human, the age of X is Y year duration(s) holds during Z, and Y is greater than or equal to 18, then X is an instance of human adult holds during Z
(=>
    (holdsDuring ?TIME
        (and
            (instance ?YOUTH HumanYouth)
            (age ?YOUTH
                (MeasureFn ?NUMBER YearDuration))))
    (lessThan ?NUMBER 18))		 Mid-level-ontology.kif 235-240 If X is an instance of human youth and the age of X is Y year duration(s) holds during Z, then Y is less than 18
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThan ?N 18))
    (holdsDuring ?T1
        (instance ?H HumanYouth)))		 Mid-level-ontology.kif 252-257 If X is an instance of human, the age of X is Y year duration(s) holds during Z, and Y is less than 18, then X is an instance of human youth holds during Z
(=>
    (holdsDuring ?TIME
        (and
            (instance ?CHILD HumanChild)
            (age ?CHILD
                (MeasureFn ?NUMBER YearDuration))))
    (lessThanOrEqualTo ?NUMBER 14))		 Mid-level-ontology.kif 277-282 If X is an instance of human child and the age of X is Y year duration(s) holds during Z, then Y is less than or equal to 14
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThanOrEqualTo ?N 14))
    (holdsDuring ?T1
        (instance ?H HumanChild)))		 Mid-level-ontology.kif 294-301 If X is an instance of human, the age of X is Y year duration(s) holds during Z, and Y is less than or equal to 14, then X is an instance of human child holds during Z
(=>
    (holdsDuring ?TIME
        (and
            (instance ?TEEN Teenager)
            (age ?TEEN
                (MeasureFn ?NUMBER YearDuration))))
    (and
        (greaterThan ?NUMBER 12)
        (lessThan ?NUMBER 20)))		 Mid-level-ontology.kif 306-313 If X is an instance of teenager and the age of X is Y year duration(s) holds during Z, then Y is greater than 12 and Y is less than 20
(=>
    (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 325-331 If X is an instance of human, the age of X is Y year duration(s) holds during Z, Y is greater than 12, and Y is less than 20, then X is an instance of teenager holds during Z
(=>
    (holdsDuring ?TIME
        (and
            (instance ?BABY HumanBaby)
            (age ?BABY
                (MeasureFn ?NUMBER YearDuration))))
    (lessThanOrEqualTo ?NUMBER 1))		 Mid-level-ontology.kif 358-363 If X is an instance of human baby and the age of X is Y year duration(s) holds during Z, then Y is less than or equal to 1
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThanOrEqualTo ?N 1))
    (holdsDuring ?T1
        (instance ?H HumanBaby)))		 Mid-level-ontology.kif 375-380 If X is an instance of human, the age of X is Y year duration(s) holds during Z, and Y is less than or equal to 1, then X is an instance of human baby holds during Z
(=>
    (and
        (holdsDuring ?T1
            (attribute ?F Menopausal))
        (equal ?BEFORE
            (SubtractionFn
                (MeasureFn 1 YearDuration)
                (BeginFn ?T1)))
        (equal ?YBEFORE
            (TimeIntervalFn ?YBEFORE
                (BeginFn ?T1))))
    (not
        (exists (?M)
            (and
                (instance ?M Menstruation)
                (experiencer ?M ?F)))))		 Mid-level-ontology.kif 26174-26188 If menopause is an attribute of X holds during Y, equal Z and (1 year duration(s) and the beginning of Y), and equal W, interval between W, and the beginning of Y, then there doesn't exist V such that V is an instance of period and X experiences V
(=>
    (and
        (instance ?Loan BankTermLoan)
        (agreementPeriod ?Loan ?Period)
        (duration ?Period
            (MeasureFn ?Duration YearDuration)))
    (greaterThanOrEqualTo ?Duration 1))		 FinancialOntology.kif 1539-1544 If X is an instance of bank term loan, Y is an agreement period of X, and duration of Y is Z year duration(s), then Z is greater than or equal to 1
(=>
    (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 939-949 If X year duration(s) is a suffrage age minimum of Y, Z is an instance of the election of Y, and W is capable of doing the voting of Z as a agent, then there exists V such that the age of W is V year duration(s) and V is greater than or equal to X
(=>
    (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 951-959 If X year duration(s) is a suffrage age minimum of Y, Z is an instance of the election of Y, W is capable of doing the voting of Z as a agent, and the age of W is V year duration(s), then V is greater than or equal to X
(=>
    (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 961-972 If X is an instance of the election of Y, Z is an instance of the voting of X, W is an agent of Z, and V year duration(s) is a suffrage age minimum of Y, then there exists U such that the age of W is U year duration(s) and U is greater than or equal to V
(=>
    (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 974-983 If X is an instance of the election of Y, Z is an instance of the voting of X, W is an agent of Z, V year duration(s) is a suffrage age minimum of Y, and the age of W is U year duration(s), then U is greater than or equal to V
(=>
    (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 1011-1021 If X year duration(s) is a suffrage age maximum of Y, Z is an instance of the election of Y, and W is capable of doing the voting of Z as a agent, then there exists V such that the age of W is V year duration(s) and V is less than or equal to X
(=>
    (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 1023-1031 If X year duration(s) is a suffrage age maximum of Y, Z is an instance of the election of Y, W is capable of doing the voting of Z as a agent, and the age of W is V year duration(s), then V is less than or equal to X
(=>
    (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 1033-1044 If X is an instance of the election of Y, Z is an instance of the voting of X, W is an agent of Z, and V year duration(s) is a suffrage age maximum of Y, then there exists U such that the age of W is U year duration(s) and U is less than or equal to V
(=>
    (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 1046-1055 If X is an instance of the election of Y, Z is an instance of the voting of X, W is an agent of Z, V year duration(s) is a suffrage age maximum of Y, and the age of W is U year duration(s), then U is less than or equal to V
(=>
    (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 1091-1101 If All of the following hold: (1) universal suffrage law is a sub-proposition of the regional law of X (2) Y is a citizen of X (3) Z year duration(s) is a suffrage age minimum of X (4) the age of Y is W year duration(s) (5) W is greater than or equal to Z (6) V is an instance of the election of X, then Y is capable of doing the voting of V as a agent
(=>
    (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 535-552 If All of the following hold: (1) X is a party to agreement of Y (2) Z is an instance of intentional process (3) Z is located at W (4) W is an instance of nation (5) Z is located at V (6) V is an instance of geopolitical area (7) U year duration(s) is the age of majority for Z in W (8) T is a result of Z (9) T is the record of X (10) the age of Y is S year duration(s) and S is greater than U holds during the time of existence of Z, then legal is an attribute of X
(=>
    (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 554-569 If All of the following hold: (1) X is a party to agreement of Y (2) Z is an instance of intentional process (3) Z is located at W (4) W is an instance of geopolitical area (5) V year duration(s) is the age of majority for Z in W (6) U is a result of Z (7) U is the record of X (8) legal is an attribute of X, then the age of Y is T year duration(s) and T is greater than V holds during the time of existence of Z
(=>
    (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 1104-1114 If X year duration(s) is a military age of Y, Y is a military of area of Z, and W is a member of Z, then there exists V such that the age of W is V year duration(s) and V is greater than or equal to X
(=>
    (and
        (militaryAge ?AREA
            (MeasureFn ?MILITARYAGE YearDuration))
        (militaryOfArea ?MILITARY ?AREA)
        (member ?AGENT ?MILITARY)
        (age ?AGENT
            (MeasureFn ?AGE YearDuration)))
    (greaterThanOrEqualTo ?AGE ?MILITARYAGE))		 Military.kif 1116-1124 If X year duration(s) is a military age of Y, Y is a military of area of Z, W is a member of Z, and the age of W is V year duration(s), then V is greater than or equal to X

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (instance ?YEAR Year)
    (duration ?YEAR
        (MeasureFn 1 YearDuration)))		 Merge.kif 8946-8948 If X is an instance of year, then duration of X is 1 year duration(s)
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER DecadeDuration)
        (MeasureFn
            (MultiplicationFn ?NUMBER 10) YearDuration)))		 Merge.kif 8961-8965 If equal X, 1, and X, then equal X decade duration(s) and X and 10 year duration(s)
(=>
    (instance ?D Decade)
    (duration ?D
        (MeasureFn 10 YearDuration)))		 Merge.kif 8976-8978 If X is an instance of decade, then duration of X is 10 year duration(s)
(=>
    (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 184-192 If X is an instance of human adult holds during Y, then there exists Z such that the age of X is Z holds during Y and Z is an instance of the interval from 18 year duration(s) to 120 year duration(s)
(=>
    (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 242-250 If X is an instance of human youth holds during Y, then there exists Z such that the age of X is Z holds during Y and Z is an instance of the interval from 0 year duration(s) to 17 year duration(s)
(=>
    (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 284-292 If X is an instance of human child holds during Y, then there exists Z such that the age of X is Z holds during Y and Z is an instance of the interval from 0 year duration(s) to 14 year duration(s)
(=>
    (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 315-323 If X is an instance of teenager holds during Y, then there exists Z such that the age of X is Z holds during Y and Z is an instance of the interval from 13 year duration(s) to 19 year duration(s)
(=>
    (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 365-373 If X is an instance of human baby holds during Y, then there exists Z such that the age of X is Z holds during Y and Z is an instance of the interval from 0 year duration(s) to 1 year duration(s)
(=>
    (equal ?N
        (MultiplicationFn 1 ?N))
    (equal
        (MeasureFn ?N MillenniumDuration)
        (MeasureFn
            (MultiplicationFn ?N 1000) YearDuration)))		 Mid-level-ontology.kif 15278-15282 If equal X, 1, and X, then equal X millennium(s) and X and 1000 year duration(s)
(=>
    (and
        (attribute ?P CollegeFreshman)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring
                (MeasureFn ?T YearDuration)
                (student ?H ?ORG))
            (lessThan ?T 1))))		 Mid-level-ontology.kif 20650-20659 If college freshman is an attribute of X and Y holds the position of X in Z, then there exists W such that Y is a student of Z holds during W year duration(s) and W is less than 1
(=>
    (and
        (attribute ?P CollegeJunior)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring
                (MeasureFn ?T YearDuration)
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T 2)
            (lessThan ?T 3))))		 Mid-level-ontology.kif 20665-20675 If college junior is an attribute of X and Y holds the position of X in Z, then there exists W such that Y is a student of Z holds during W year duration(s) and W is greater than or equal to 2 and W is less than 3
(=>
    (and
        (attribute ?P CollegeSenior)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring
                (MeasureFn ?T YearDuration)
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T 3)
            (lessThan ?T 4))))		 Mid-level-ontology.kif 20681-20691 If college senior is an attribute of X and Y holds the position of X in Z, then there exists W such that Y is a student of Z holds during W year duration(s) and W is greater than or equal to 3 and W is less than 4
(=>
    (and
        (attribute ?P CollegeSophomore)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring
                (MeasureFn ?T YearDuration)
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T 1)
            (lessThan ?T 2))))		 Mid-level-ontology.kif 20697-20707 If college sophomore is an attribute of X and Y holds the position of X in Z, then there exists W such that Y is a student of Z holds during W year duration(s) and W is greater than or equal to 1 and W is less than 2
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER CenturyDuration)
        (MeasureFn
            (MultiplicationFn ?NUMBER 100) YearDuration)))		 Mid-level-ontology.kif 21001-21005 If equal X, 1, and X, then equal X century duration(s) and X and 100 year duration(s)
(=>
    (instance ?FY
        (FiscalYearFn ?PLACE))
    (duration ?FY
        (MeasureFn 1 YearDuration)))		 Economy.kif 4048-4050 If X is an instance of the fiscal year of Y, then duration of X is 1 year duration(s)
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (duration ?FY
        (MeasureFn 1 YearDuration)))		 Economy.kif 4076-4078 If equal X, the fiscal year starting of Y, and Z, then duration of X is 1 year duration(s)
(=>
    (and
        (instance ?FBACCOUNT FacebookAccount)
        (hasAccount ?USER ?FBACCOUNT))
    (and
        (age ?USER
            (MeasureFn ?NUMBER YearDuration))
        (modalAttribute
            (not
                (greaterThanOrEqualTo ?NUMBER 13)) Prohibition)))		 Facebook.kif 143-151 If X is an instance of Facebook account and Y has account X, then the age of Y is Z year duration(s) and the statement Z is not greater than or equal to 13 has the modal force of prohibition
(=>
    (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)))))))		 Geography.kif 6008-6038 If X is an instance of argument, Y is an instance of reasoning, Z is an instance of archeology, X is a sub-proposition of Z, and Y expresses the content of X, then there exist W, V,, , U,, , T,, , S and R such that W is an instance of discovering and U is an instance of object and U is a patient of W and Y includes a reference to W and the time of existence of W happens earlier than the time of existence of Y and the age of U is T year duration(s) and T is greater than 50 and V is a surface of S and S is an instance of body of water and U is below to V or V is a surface of R and R is an instance of land area and U is below to V holds during immediately before the time of existence of W
(=>
    (and
        (sheddingLeaves ?T ?L)
        (instance ?T DeciduousTree)
        (instance ?L PlantLeaf))
    (exists (?SHED ?S)
        (and
            (subclass ?SHED Removing)
            (frequency ?SHED YearDuration)
            (instance ?S ?SHED)
            (origin ?S ?T)
            (patient ?S ?L))))		 Geography.kif 8018-8029 If X is a Removing Y from its stems, X is an instance of deciduous tree, and Y is an instance of plant leaf, then there exist Z, W such that Z is a subclass of removing, Z occurs every year duration, W is an instance of Z, W originates at X, and Y is a patient of W
(=>
    (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 939-949 If X year duration(s) is a suffrage age minimum of Y, Z is an instance of the election of Y, and W is capable of doing the voting of Z as a agent, then there exists V such that the age of W is V year duration(s) and V is greater than or equal to X
(=>
    (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 961-972 If X is an instance of the election of Y, Z is an instance of the voting of X, W is an agent of Z, and V year duration(s) is a suffrage age minimum of Y, then there exists U such that the age of W is U year duration(s) and U is greater than or equal to V
(=>
    (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 1011-1021 If X year duration(s) is a suffrage age maximum of Y, Z is an instance of the election of Y, and W is capable of doing the voting of Z as a agent, then there exists V such that the age of W is V year duration(s) and V is less than or equal to X
(=>
    (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 1033-1044 If X is an instance of the election of Y, Z is an instance of the voting of X, W is an agent of Z, and V year duration(s) is a suffrage age maximum of Y, then there exists U such that the age of W is U year duration(s) and U is less than or equal to V
(=>
    (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 1077-1089 If universal suffrage law is a sub-proposition of the regional law of X, then For all Human Y, Election Z, and RealNumbers W and V: if Y is a citizen of X, W year duration(s) is a suffrage age minimum of X, the age of Y is V year duration(s), V is greater than or equal to W, and Z is an instance of the election of X, then Y is capable of doing the voting of Z as a agent
(=>
    (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 2943-2958 If X is for Y seniors and Z fulfills X, then there exist W and V such that W is an instance of group of people and U U is a member of WU is an instance of human adult and the age of U is V year duration(s) and V is greater than or equal to 60 and Y is a member count of W and W is a potential customer for Z

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25