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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
-------------------------


s__documentation(s__YearDuration,s__ChineseLanguage,'"这是时间单位,一个日历年,1年=365日=31536000秒。"')

chinese_format.kif 2585-2585
s__documentation(s__YearDuration,s__EnglishLanguage,'"Time unit. one calendar year. 1 year = 365 days = 31536000 seconds."')

Merge.kif 6889-6890
s__instance(s__TimeDuration,s__SetOrClass)

s__instance(s__YearDuration,s__TimeDuration)

Merge.kif 6888-6888 Year duration is an instance of time duration
s__instance(s__YearDuration,s__UnitOfDuration)

s__instance(s__UnitOfDuration,s__SetOrClass)

Merge.kif 6887-6887 Year duration is an instance of UnitOfDuration

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


s__relatedInternalConcept(s__Year,s__YearDuration)

Merge.kif 8350-8350 Year is internally related to year duration
s__termFormat(s__ChineseLanguage,s__YearDuration,'"年持续时间"')

domainEnglishFormat.kif 63726-63726
s__termFormat(s__ChineseTraditionalLanguage,s__YearDuration,'"年持續時間"')

domainEnglishFormat.kif 63725-63725
s__termFormat(s__EnglishLanguage,s__YearDuration,'"year duration"')

domainEnglishFormat.kif 63724-63724

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22404-22421
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22378-22392
( ! [V__AGENT,V__POLITY,V__AGE,V__ACT,V__ELECTION,V__VOTINGAGE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__AGE,s__RealNumber) &
         s__instance(V__ACT,s__Process) &
         s__instance(V__ELECTION,s__Election) &
         s__instance(V__VOTINGAGE,s__RealNumber))
       =>
       (((s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
         &
         s__instance(V__ACT,s__VotingFn(V__ELECTION))
     &
     s__agent(V__ACT,V__AGENT)
   &
   s__suffrageAgeMaximum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
&
s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration)))
=>
(s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE)))))
)
)

Government.kif 1061-1070
( ! [V__AGENT,V__POLITY,V__ACT,V__ELECTION,V__VOTINGAGE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__ACT,s__Process) &
         s__instance(V__ELECTION,s__Election) &
         s__instance(V__VOTINGAGE,s__RealNumber))
       =>
       (((s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
         &
         s__instance(V__ACT,s__VotingFn(V__ELECTION))
     &
     s__agent(V__ACT,V__AGENT)
   &
   s__suffrageAgeMaximum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration)))
=>
(( ? [V__AGE] :
   ((s__instance(V__AGE,s__RealNumber) &
       (s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))
       &
       s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE)))))))))
)
)

Government.kif 1048-1059
( ! [V__AGENT,V__POLITY,V__AGE,V__ACT,V__ELECTION,V__VOTINGAGE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__AGE,s__RealNumber) &
         s__instance(V__ACT,s__Process) &
         s__instance(V__ELECTION,s__Election) &
         s__instance(V__VOTINGAGE,s__RealNumber))
       =>
       (((s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
         &
         s__instance(V__ACT,s__VotingFn(V__ELECTION))
     &
     s__agent(V__ACT,V__AGENT)
   &
   s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
&
s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration)))
=>
(s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)))))
)
)

Government.kif 989-998
( ! [V__AGENT,V__POLITY,V__ACT,V__ELECTION,V__VOTINGAGE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__ACT,s__Process) &
         s__instance(V__ELECTION,s__Election) &
         s__instance(V__VOTINGAGE,s__RealNumber))
       =>
       (((s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
         &
         s__instance(V__ACT,s__VotingFn(V__ELECTION))
     &
     s__agent(V__ACT,V__AGENT)
   &
   s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration)))
=>
(( ? [V__AGE] :
   ((s__instance(V__AGE,s__RealNumber) &
       (s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))
       &
       s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)))))))))
)
)

Government.kif 976-987
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 320-326
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 208-214
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 255-260
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 367-372
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 294-299
( ! [V__Period,V__Loan,V__Duration] :
   (((s__instance(V__Period,s__TimeInterval) &
         s__instance(V__Duration,s__RealNumber))
       =>
       (((s__instance(V__Loan,s__BankTermLoan) &
             s__agreementPeriod(V__Loan,V__Period)
           &
           s__duration(V__Period,s__MeasureFn(V__Duration,s__YearDuration)))
       =>
       (s__greaterThanOrEqualTo(V__Duration,n__1)))))
)
)

FinancialOntology.kif 1451-1456
( ! [V__YEAR2,V__YEAR1] :
   (((s__instance(V__YEAR1,s__Year) &
         s__instance(V__YEAR2,s__Year) &
         (s__SubtractionFn(V__YEAR2,V__YEAR1)
         = s__MeasureFn(n__1,s__YearDuration)))
     =>
     (s__meetsTemporally(V__YEAR1,V__YEAR2)))
)
)

Merge.kif 8358-8363
No TPTP formula. May not be expressible in strict first order. Law.kif 621-636
No TPTP formula. May not be expressible in strict first order. Law.kif 602-619
( ! [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION] :
   (((s__instance(V__AGENT,s__Human) &
         s__instance(V__POLITY,s__Nation) &
         s__instance(V__AGE,s__RealNumber) &
         s__instance(V__VOTINGAGE,s__RealNumber) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__subProposition(s__CompulsorySuffrageLaw,s__RegionalLawFn(V__POLITY))
         &
         s__citizen(V__AGENT,V__POLITY)
       &
       s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
     &
     s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))
   &
   s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)
&
s__instance(V__ELECTION,s__ElectionFn(V__POLITY)))
=>
(( ? [V__VOTING] :
((s__instance(V__VOTING,s__Process) &
   (s__instance(V__VOTING,s__VotingFn(V__ELECTION))
&
s__agent(V__VOTING,V__AGENT)))))))))
)
)

Government.kif 1162-1175
( ! [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION] :
   (((s__instance(V__AGENT,s__Human) &
         s__instance(V__POLITY,s__Nation) &
         s__instance(V__AGE,s__RealNumber) &
         s__instance(V__VOTINGAGE,s__RealNumber) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__subProposition(s__UniversalSuffrageLaw,s__RegionalLawFn(V__POLITY))
         &
         s__citizen(V__AGENT,V__POLITY)
       &
       s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
     &
     s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))
   &
   s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)
&
s__instance(V__ELECTION,s__ElectionFn(V__POLITY)))
=>
(s__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT)))))
)
)

Government.kif 1106-1116
( ! [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION] :
   (((s__instance(V__AGENT,s__Object) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__AGE,s__RealNumber) &
         s__instance(V__VOTINGAGE,s__RealNumber) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__suffrageAgeMaximum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
           &
           s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
       &
       s__capability(s__VotingFn(V__ELECTION)
    ,s__agent__m,V__AGENT)
   &
   s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration)))
=>
(s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE)))))
)
)

Government.kif 1038-1046
( ! [V__AGENT,V__POLITY,V__VOTINGAGE,V__ELECTION] :
   (((s__instance(V__AGENT,s__Object) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__VOTINGAGE,s__RealNumber) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__suffrageAgeMaximum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
           &
           s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
       &
       s__capability(s__VotingFn(V__ELECTION)
    ,s__agent__m,V__AGENT))
=>
(( ? [V__AGE] :
     ((s__instance(V__AGE,s__RealNumber) &
         (s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))
         &
         s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE)))))))))
)
)

Government.kif 1026-1036
( ! [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION] :
   (((s__instance(V__AGENT,s__Object) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__AGE,s__RealNumber) &
         s__instance(V__VOTINGAGE,s__RealNumber) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
           &
           s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
       &
       s__capability(s__VotingFn(V__ELECTION)
    ,s__agent__m,V__AGENT)
   &
   s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration)))
=>
(s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)))))
)
)

Government.kif 966-974
( ! [V__AGENT,V__POLITY,V__VOTINGAGE,V__ELECTION] :
   (((s__instance(V__AGENT,s__Object) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__VOTINGAGE,s__RealNumber) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
           &
           s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
       &
       s__capability(s__VotingFn(V__ELECTION)
    ,s__agent__m,V__AGENT))
=>
(( ? [V__AGE] :
     ((s__instance(V__AGE,s__RealNumber) &
         (s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))
         &
         s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)))))))))
)
)

Government.kif 954-964
( ! [V__HUMAN,V__SITE,V__AGE] :
   (((s__instance(V__HUMAN,s__Human) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__AGE,s__RealNumber))
       =>
       (((s__underageUser(V__HUMAN,V__SITE)
           &
           s__age(V__HUMAN,s__MeasureFn(V__AGE,s__YearDuration)))
       =>
       (s__greaterThanOrEqualTo(V__AGE,n__18)))))
)
)

UXExperimentalTerms.kif 1275-1279
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 186-191
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 353-358
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 280-285

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. People.kif 253-277 The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to a number and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the number is equal to the real number
No TPTP formula. May not be expressible in strict first order. People.kif 411-442 The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 323-353 The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 367-398 The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17143-17152
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17158-17168
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17174-17184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17190-17200
No TPTP formula. May not be expressible in strict first order. Government.kif 1118-1138
( ! [V__AGENT,V__POLITY,V__ACT,V__ELECTION,V__VOTINGAGE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__ACT,s__Process) &
         s__instance(V__ELECTION,s__Election) &
         s__instance(V__VOTINGAGE,s__RealNumber))
       =>
       (((s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
         &
         s__instance(V__ACT,s__VotingFn(V__ELECTION))
     &
     s__agent(V__ACT,V__AGENT)
   &
   s__suffrageAgeMaximum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration)))
=>
(( ? [V__AGE] :
   ((s__instance(V__AGE,s__RealNumber) &
       (s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))
       &
       s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE)))))))))
)
)

Government.kif 1048-1059
( ! [V__AGENT,V__POLITY,V__ACT,V__ELECTION,V__VOTINGAGE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__ACT,s__Process) &
         s__instance(V__ELECTION,s__Election) &
         s__instance(V__VOTINGAGE,s__RealNumber))
       =>
       (((s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
         &
         s__instance(V__ACT,s__VotingFn(V__ELECTION))
     &
     s__agent(V__ACT,V__AGENT)
   &
   s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration)))
=>
(( ? [V__AGE] :
   ((s__instance(V__AGE,s__RealNumber) &
       (s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))
       &
       s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)))))))))
)
)

Government.kif 976-987
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19510-19539
( ! [V__RESERVE,V__HOTEL,V__NUM,V__AGE] :
   (((s__instance(V__RESERVE,s__Agent) &
         s__instance(V__RESERVE,s__HotelReservation) &
         s__instance(V__HOTEL,s__Agent) &
         s__instance(V__HOTEL,s__Reservation) &
         s__instance(V__NUM,s__Integer) &
         s__instance(V__AGE,s__RealNumber))
       =>
       (((s__numberSeniorOccupant(V__RESERVE,V__NUM)
           &
           s__fulfillingEntity(V__RESERVE,V__HOTEL))
       =>
       (( ? [V__COL] :
           ((s__instance(V__COL,s__GroupOfPeople) &
               ( ! [V__X] :
                 ((s__member(V__X,V__COL)
                   =>
                   ((s__instance(V__X,s__HumanAdult) &
                       s__age(V__X,s__MeasureFn(V__AGE,s__YearDuration))
                     &
                     s__greaterThanOrEqualTo(V__AGE,n__60))))))
         &
         s__memberCount(V__COL,V__NUM)
       &
       s__potentialCustomer(V__COL,V__HOTEL))))))))
)
)

Hotel.kif 2881-2896
No TPTP formula. May not be expressible in strict first order. Law.kif 621-636
No TPTP formula. May not be expressible in strict first order. Government.kif 1197-1217
( ! [V__AGENT,V__POLITY,V__VOTINGAGE,V__ELECTION] :
   (((s__instance(V__AGENT,s__Object) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__VOTINGAGE,s__RealNumber) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__suffrageAgeMaximum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
           &
           s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
       &
       s__capability(s__VotingFn(V__ELECTION)
    ,s__agent__m,V__AGENT))
=>
(( ? [V__AGE] :
     ((s__instance(V__AGE,s__RealNumber) &
         (s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))
         &
         s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE)))))))))
)
)

Government.kif 1026-1036
( ! [V__AGENT,V__POLITY,V__VOTINGAGE,V__ELECTION] :
   (((s__instance(V__AGENT,s__Object) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__VOTINGAGE,s__RealNumber) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
           &
           s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
       &
       s__capability(s__VotingFn(V__ELECTION)
    ,s__agent__m,V__AGENT))
=>
(( ? [V__AGE] :
     ((s__instance(V__AGE,s__RealNumber) &
         (s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))
         &
         s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)))))))))
)
)

Government.kif 954-964
( ! [V__FY,V__PLACE,V__YEAR] :
   (((s__instance(V__FY,s__TimeInterval) &
         s__instance(V__PLACE,s__Agent) &
         s__subclass(V__YEAR,s__Year))
       =>
       (((V__FY = s__FiscalYearStartingFn(V__PLACE,V__YEAR))
         =>
         (s__duration(V__FY,s__MeasureFn(n__1,s__YearDuration))))))
)
)

Economy.kif 3745-3747
( ! [V__N] :
   ((s__instance(V__N,s__RealNumber) =>
       (((V__N = s__MultiplicationFn(n__1,V__N))
         =>
         ((s__MeasureFn(V__N,s__MillenniumDuration) = s__MeasureFn(s__MultiplicationFn(V__N,n__1000)
          ,s__YearDuration))))))
)
)

Mid-level-ontology.kif 12264-12268
( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__RealNumber) =>
       (((V__NUMBER = s__MultiplicationFn(n__1,V__NUMBER))
         =>
         ((s__MeasureFn(V__NUMBER,s__CenturyDuration) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__100)
          ,s__YearDuration))))))
)
)

Mid-level-ontology.kif 17479-17483
( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__RealNumber) =>
       (((V__NUMBER = s__MultiplicationFn(n__1,V__NUMBER))
         =>
         ((s__MeasureFn(V__NUMBER,s__DecadeDuration) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__10)
          ,s__YearDuration))))))
)
)

Merge.kif 8369-8373
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 360-365
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 193-198
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 287-292
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 248-253

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1078-1089 For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information universal suffrage law
No TPTP formula. May not be expressible in strict first order. Government.kif 1146-1160 For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information compulsory suffrage law
( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__RealNumber) =>
       ((s__MeasureFn(V__NUMBER,s__YearDuration) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,n__365)
        ,s__DayDuration))))
   )
)

Merge.kif 6892-6894 A real number year duration(s) is equal to the real number and 365 day duration(s)


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