Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  YearDuration

Sigma KEE - YearDuration
YearDurationسنة, سنة حضِيْضِيّة, سنة مالِيّة, سنة ضرِيبِيّة, عام, حوْل, سنة, سنة فلكِيّة, سنة نجْمِيّة,

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


(documentation YearDuration ChineseLanguage "这是时间单位,一个日历年,1年=365日=31536000秒。") Merge.kif 7361-7361
(documentation YearDuration EnglishLanguage "Time unit. one calendar year. 1 year = 365 days = 31536000 seconds.") Merge.kif 7359-7360
(instance YearDuration UnitOfDuration) Merge.kif 7358-7358

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


(relatedInternalConcept Year YearDuration) Merge.kif 8777-8777
(termFormat EnglishLanguage YearDuration "year duration") domainEnglishFormat.kif 11056-11056

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


(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (greaterThan ?N 12)
        (lessThan ?N 20))
    (holdsDuring ?T1
        (instance ?H Teenager)))
Mid-level-ontology.kif 492-498
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (greaterThanOrEqualTo ?N 18))
    (holdsDuring ?T1
        (instance ?H HumanAdult)))
Mid-level-ontology.kif 358-364
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThan ?N 18))
    (holdsDuring ?T1
        (instance ?H HumanYouth)))
Mid-level-ontology.kif 419-424
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThanOrEqualTo ?N 1))
    (holdsDuring ?T1
        (instance ?H HumanBaby)))
Mid-level-ontology.kif 554-559
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T1
            (age ?H
                (MeasureFn ?N YearDuration)))
        (lessThanOrEqualTo ?N 14))
    (holdsDuring ?T1
        (instance ?H HumanChild)))
Mid-level-ontology.kif 463-468
(=>
    (and
        (instance ?Loan BankTermLoan)
        (agreementPeriod ?Loan ?Period)
        (duration ?Period
            (MeasureFn ?Duration YearDuration)))
    (greaterThanOrEqualTo ?Duration 1))
FinancialOntology.kif 1440-1445
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (located ?PROC ?LOC)
        (instance ?LOC GeopoliticalArea)
        (ageOfMajorityForProcess
            (MeasureFn ?N YearDuration) ?LOC ?PROC)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (holdsDuring
        (WhenFn ?PROC)
        (and
            (age ?A1
                (MeasureFn ?N2 YearDuration))
            (greaterThan ?N2 ?N))))
Law.kif 617-632
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (located ?PROC ?LOC)
        (instance ?LOC Nation)
        (located ?PROC ?LOC2)
        (instance ?LOC2 GeopoliticalArea)
        (ageOfMajorityForProcess
            (MeasureFn ?N2 YearDuration) ?LOC ?PROC)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (holdsDuring
            (WhenFn ?PROC)
            (and
                (age ?A1
                    (MeasureFn ?N3 YearDuration))
                (greaterThan ?N3 ?N2))))
    (attribute ?AG Legal))
Law.kif 598-615
(=>
    (holdsDuring ?TIME
        (and
            (instance ?ADULT HumanAdult)
            (age ?ADULT
                (MeasureFn ?NUMBER YearDuration))))
    (greaterThanOrEqualTo ?NUMBER 18))
Mid-level-ontology.kif 334-339
(=>
    (holdsDuring ?TIME
        (and
            (instance ?BABY HumanBaby)
            (age ?BABY
                (MeasureFn ?NUMBER YearDuration))))
    (lessThanOrEqualTo ?NUMBER 1))
Mid-level-ontology.kif 528-533
(=>
    (holdsDuring ?TIME
        (and
            (instance ?CHILD HumanChild)
            (age ?CHILD
                (MeasureFn ?NUMBER YearDuration))))
    (lessThanOrEqualTo ?NUMBER 14))
Mid-level-ontology.kif 447-452
(=>
    (holdsDuring ?TIME
        (and
            (instance ?TEEN Teenager)
            (age ?TEEN
                (MeasureFn ?NUMBER YearDuration))))
    (and
        (greaterThan ?NUMBER 12)
        (lessThan ?NUMBER 20)))
Mid-level-ontology.kif 474-481
(=>
    (holdsDuring ?TIME
        (and
            (instance ?YOUTH HumanYouth)
            (age ?YOUTH
                (MeasureFn ?NUMBER YearDuration))))
    (lessThan ?NUMBER 18))
Mid-level-ontology.kif 403-408

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
        (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
        (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
        (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
(=>
    (and
        (attribute ?P CollegeFreshman)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring ?T
                (student ?H ?ORG))
            (lessThan ?T
                (MeasureFn 1 YearDuration)))))
Mid-level-ontology.kif 15980-15988
(=>
    (and
        (attribute ?P CollegeJunior)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring ?T
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T
                (MeasureFn 2 YearDuration))
            (lessThan ?T
                (MeasureFn 3 YearDuration)))))
Mid-level-ontology.kif 15994-16005
(=>
    (and
        (attribute ?P CollegeSenior)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring ?T
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T
                (MeasureFn 3 YearDuration))
            (lessThan ?T
                (MeasureFn 4 YearDuration)))))
Mid-level-ontology.kif 16011-16022
(=>
    (and
        (attribute ?P CollegeSophomore)
        (occupiesPosition ?H ?P ?ORG))
    (exists (?T)
        (and
            (holdsDuring ?T
                (student ?H ?ORG))
            (greaterThanOrEqualTo ?T
                (MeasureFn 1 YearDuration))
            (lessThan ?T
                (MeasureFn 2 YearDuration)))))
Mid-level-ontology.kif 16028-16039
(=>
    (and
        (instance ?FBACCOUNT FacebookAccount)
        (hasAccount ?USER ?FBACCOUNT))
    (and
        (age ?USER
            (MeasureFn ?NUMBER YearDuration))
        (modalAttribute
            (not
                (greaterThanOrEqualTo ?NUMBER 13)) Prohibition)))
Facebook.kif 132-140
(=>
    (and
        (instance ?LIACCOUNT LinkedInAccount)
        (hasAccount ?USER ?LIACCOUNT))
    (and
        (age ?USER
            (MeasureFn ?NUMBER YearDuration))
        (modalAttribute
            (not
                (greaterThanOrEqualTo ?NUMBER 18)) Prohibition)))
LinkedInDegrees.kif 503-511
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (AssociateDegreeFn ?FIELDOFSTUDY ?JC))
        (agent ?A ?JC)
        (exists (?INTERVAL)
            (and
                (instance ?INTERVAL TimeInterval)
                (holdsDuring ?INTERVAL
                    (attends ?S ?JC)))))
    (modalAttribute
        (equal ?INTERVAL
            (MeasureFn 2 YearDuration)) Likely))
LinkedInDegrees.kif 263-274
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (BachelorDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (agent ?A ?SCHOOL)
        (exists (?INTERVAL)
            (and
                (instance ?INTERVAL TimeInterval)
                (holdsDuring ?INTERVAL
                    (attends ?S ?SCHOOL)))))
    (modalAttribute
        (equal ?INTERVAL
            (MeasureFn 4 YearDuration)) Likely))
LinkedInDegrees.kif 291-303
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (DoctorateDegreeFn ?FIELDOFSTUDY ?GRADSCHOOL))
        (agent ?A ?GRADSCHOOL)
        (exists (?INTERVAL)
            (and
                (instance ?INTERVAL TimeInterval)
                (holdsDuring ?INTERVAL
                    (attends ?S ?SCHOOL)))))
    (and
        (greaterThan
            (MeasureFn 9 YearDuration) ?INTERVAL)
        (greaterThan ?INTERVAL
            (MeasureFn 1 YearDuration))))
LinkedInDegrees.kif 390-404
(=>
    (and
        (instance ?S Student)
        (instance ?A AwardingADegree)
        (destination ?A ?S)
        (patient ?A
            (MasterDegreeFn ?FIELDOFSTUDY ?GRADSCHOOL))
        (agent ?A ?GRADSCHOOL)
        (exists (?INTERVAL)
            (and
                (instance ?INTERVAL TimeInterval)
                (holdsDuring ?INTERVAL
                    (attends ?S ?SCHOOL)))))
    (modalAttribute
        (equal ?INTERVAL
            (MeasureFn 2 YearDuration)) Likely))
LinkedInDegrees.kif 335-347
(=>
    (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 18418-18447
(=>
    (and
        (numberSeniorOccupant ?RESERVE ?NUM)
        (fulfillingEntity ?RESERVE ?HOTEL))
    (exists (?COL)
        (and
            (instance ?COL GroupOfPeople)
            (forall (?X)
                (=>
                    (member ?X ?COL)
                    (and
                        (instance ?X HumanAdult)
                        (age ?X
                            (MeasureFn ?AGE YearDuration))
                        (greaterThanOrEqualTo ?AGE 60))))
            (memberCount ?COL ?NUM)
            (potentialCustomer ?COL ?HOTEL))))
Hotel.kif 2861-2876
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (located ?PROC ?LOC)
        (instance ?LOC GeopoliticalArea)
        (ageOfMajorityForProcess
            (MeasureFn ?N YearDuration) ?LOC ?PROC)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (holdsDuring
        (WhenFn ?PROC)
        (and
            (age ?A1
                (MeasureFn ?N2 YearDuration))
            (greaterThan ?N2 ?N))))
Law.kif 617-632
(=>
    (and
        (underageUser ?HUMAN ?SITE)
        (age ?HUMAN ?AGE))
    (greaterThanOrEqualTo ?AGE
        (MeasureFn 18 YearDuration)))
UXExperimentalTerms.kif 1275-1279
(=>
    (equal ?FY
        (FiscalYearStartingFn ?PLACE ?YEAR))
    (duration ?FY
        (MeasureFn 1 YearDuration)))
Economy.kif 3745-3747
(=>
    (equal ?N
        (MultiplicationFn 1 ?N))
    (equal
        (MeasureFn ?N MillenniumDuration)
        (MeasureFn
            (MultiplicationFn ?N 1000) YearDuration)))
Mid-level-ontology.kif 11006-11010
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER CenturyDuration)
        (MeasureFn
            (MultiplicationFn ?NUMBER 100) YearDuration)))
Mid-level-ontology.kif 16432-16436
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER DecadeDuration)
        (MeasureFn
            (MultiplicationFn ?NUMBER 10) YearDuration)))
Mid-level-ontology.kif 16441-16445
(=>
    (holdsDuring ?TIME
        (instance ?BABY HumanBaby))
    (exists (?AGE)
        (and
            (holdsDuring ?TIME
                (age ?BABY ?AGE))
            (instance ?AGE
                (IntervalFn
                    (MeasureFn 0 YearDuration)
                    (MeasureFn 1 YearDuration))))))
Mid-level-ontology.kif 539-544
(=>
    (holdsDuring ?TIME
        (instance ?H HumanAdult))
    (exists (?AGE)
        (and
            (holdsDuring ?TIME
                (age ?H ?AGE))
            (instance ?AGE
                (IntervalFn
                    (MeasureFn 18 YearDuration)
                    (MeasureFn 120 YearDuration))))))
Mid-level-ontology.kif 342-347
(=>
    (holdsDuring ?TIME
        (instance ?H HumanChild))
    (exists (?AGE)
        (and
            (holdsDuring ?TIME
                (age ?H ?AGE))
            (instance ?AGE
                (IntervalFn
                    (MeasureFn 0 YearDuration)
                    (MeasureFn 14 YearDuration))))))
Mid-level-ontology.kif 455-460

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(equal
    (MeasureFn ?NUMBER YearDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 365) DayDuration))
Merge.kif 7363-7365


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

Show without tree


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