DayFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DayFn ChineseLanguage "这是一个 BinaryFunction，它把一个 PositiveRealNumber 与一个 Month 的子类别，分配到每个 Month 内对应该 PositiveRealNumber 的 Day。例如： (DayFn 16 August) 是八月份所有第16日的 Class，又例如： (DayFn 9 Month)会得出任何一个月的第九日。再一个例子：(DayFn 18(MonthFn August (YearFn 1912)))表示1912年八月十八日。")	chinese_format.kif 2760-2763
(documentation DayFn EnglishLanguage "A BinaryFunction that assigns a PositiveRealNumber and a subclass of Months to the Days within each Month corresponding to that PositiveRealNumber. For example, (DayFn 16 August) is the Class of all sixteenth days of August. For another example, (DayFn 9 Month) would return the class of all ninth days of any month. For still another example, (DayFn 18 (MonthFn August (YearFn 1912))) denotes the 18th day of August 1912.")	Merge.kif 8628-8633
(documentation DayFn JapaneseLanguage "BinaryFunction は、PositiveRealNumber と Month のサブクラスを、その PositiveRealNumber に対応する各 Month 内の Day に割り当てる。例えば、 (DayFn 16 August) は８月のすべての１６日間の Class である。別の例として、(DayFn 9 Month) は、任意の月のすべての９日間のクラスを返す。さらに別の例については、 (DayFn 18(MonthFn August (YearFn 1912))) は１９１２年８月１８日を示す。")	japanese_format.kif 1488-1492
(domain DayFn 1 PositiveInteger)	Merge.kif 8624-8624	The number 1 argument of day is an instance of positive integer
(domainSubclass DayFn 2 Month)	Merge.kif 8625-8625	The number 2 argument of day is a subclass of month
(instance DayFn BinaryFunction)	Merge.kif 8622-8622	Day is an instance of binary function
(instance DayFn PartialValuedRelation)	Merge.kif 8623-8623	Day is an instance of partial valued relation
(instance DayFn TemporalRelation)	Merge.kif 8621-8621	Day is an instance of temporal relation
(rangeSubclass DayFn Day)	Merge.kif 8626-8626	The values returned by day are subclasses of day

appearance as argument number 2

(format ChineseLanguage DayFn "%1 day ")	chinese_format.kif 469-469
(format EnglishLanguage DayFn "the day %1")	english_format.kif 475-475
(format FrenchLanguage DayFn "le jour %1")	french_format.kif 271-271
(format ItalianLanguage DayFn "il giorno %1")	relations-it.txt 65-65
(format JapaneseLanguage DayFn "%1 day 目")	japanese_format.kif 2061-2061
(format PortugueseLanguage DayFn "o dia %1")	portuguese_format.kif 223-223
(format cb DayFn "ang adlaw %1")	relations-cb.txt 99-99
(format cz DayFn "%1 of %2")	relations-cz.txt 277-277
(format de DayFn "der tag %1")	relations-de.txt 612-612
(format hi DayFn "dina %1 hai")	relations-hindi.txt 106-106
(format ro DayFn "day%t{ziua} %1")	relations-ro.kif 292-292
(format sv DayFn "dagen %1")	relations-sv.txt 298-298
(format tg DayFn "ang araw %1")	relations-tg.txt 146-146
(relatedInternalConcept Day DayFn)	Merge.kif 9267-9267	Day is internally related to day
(termFormat ChineseLanguage DayFn "天")	domainEnglishFormat.kif 18676-18676	Day is internally related to day
(termFormat ChineseLanguage DayFn "日函数")	chinese_format.kif 470-470	Day is internally related to day
(termFormat ChineseTraditionalLanguage DayFn "天")	domainEnglishFormat.kif 18675-18675	Day is internally related to day
(termFormat EnglishLanguage DayFn "day")	domainEnglishFormat.kif 18674-18674	Day is internally related to day
(termFormat tg DayFn "tungkulin araw")	relations-tg.txt 147-147	Day is internally related to day

antecedent

(=> (and (birthdate ?A ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (birthday ?A ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y))))	Mid-level-ontology.kif 24524-24534	If a day is a birthdate of a human and the day is an instance of the day a positive integer, then there exist another kind of day and an integer such that the human's birthday is another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and the other kind of day is equal to the day the positive integer and the integer is greater than another integer
(=> (and (commemoratesDate ?HOLIDAY (DayFn ?DAY (MonthFn ?MONTH (YearFn ?YEAR)))) (instance ?DATE ?HOLIDAY) (instance ?ANYO (YearFn ?YEAR))) (not (earlier ?DATE ?ANYO)))	Government.kif 576-581	If the day a positive integer is a commemorates date of a kind of holiday and a time interval is an instance of a kind of holiday and another time interval is an instance of the year an integer, then the time interval doesn't happen earlier than the other time interval
(=> (and (commemoratesDate ?HOLIDAY (DayFn ?DAY (MonthFn ?MONTH (YearFn ?YEAR)))) (instance ?DATE ?HOLIDAY) (subclass ?HOLIDAY FixedHoliday) (lessThanOrEqualTo ?YEAR ?LATER-YEAR)) (instance ?DATE (DayFn ?DAY (MonthFn ?MONTH (YearFn ?LATER-YEAR)))))	Government.kif 583-589	If the day a positive integer is a commemorates date of a kind of holiday and an entity is an instance of a kind of holiday and the kind of holiday is a subclass of fixed holiday and an integer is less than or equal to another entity-YEAR, then the entity is an instance of the day the positive integer
(=> (and (holdsDuring ?T (attribute ?F Menopausal)) (birthdate ?F ?B) (instance ?B (DayFn ?D (MonthFn ?M (YearFn ?Y)))) (equal ?A1 (AdditionFn 49 ?Y)) (equal ?A2 (AdditionFn 52 ?Y)) (equal ?START (BeginFn ?T))) (modalAttribute (and (greaterThan ?START ?A1) (greaterThan ?A2 ?START)) Likely))	Mid-level-ontology.kif 24204-24220	If menopause is an attribute of a human holds during a time interval and a day is a birthdate of the human and the day is an instance of the day a positive integer and a real number is equal to (49 and an integer) and another real number is equal to (52 and the integer) and a time point is equal to the beginning of the time interval, then the statement the time point is greater than the real number and the other real number is greater than the time point has the modal force of likely
(=> (and (instance ?D1 (DayFn ?N1 (MonthFn ?M (YearFn ?Y)))) (instance ?D2 (DayFn ?N2 (MonthFn ?M (YearFn ?Y)))) (equal ?T1 (BeginFn ?D1)) (equal ?T2 (BeginFn ?D2)) (greaterThan ?N2 ?N1)) (before ?T1 ?T2))	Merge.kif 8758-8765	If a time interval is an instance of the day a positive integer and another time interval is an instance of the day another positive integer and a time point is equal to the beginning of the time interval and another time point is equal to the beginning of the other time interval and the other positive integer is greater than the positive integer, then the time point happens before the other time point
(=> (and (instance ?D1 (DayFn ?N1 (MonthFn ?M (YearFn ?Y)))) (instance ?D2 (DayFn ?N2 (MonthFn ?M (YearFn ?Y)))) (greaterThan ?N2 ?N1)) (earlier ?D1 ?D2))	Merge.kif 8767-8772	If a time interval is an instance of the day a positive integer and another time interval is an instance of the day another positive integer and the other positive integer is greater than the positive integer, then the time interval happens earlier than the other time interval
(=> (and (instance ?D2 (DayFn ?N2 (MonthFn ?M (YearFn ?Y)))) (temporalPart ?D1 (WeekBeforeFn ?D2)) (temporalPart ?D2 (WeekAfterFn ?D1))) (exists (?N1) (and (instance ?D1 (DayFn ?N1 (MonthFn ?M (YearFn ?Y)))) (equal ?N1 (SubtractionFn ?N2 7)))))	Mid-level-ontology.kif 15055-15064	If a time position is an instance of the day a positive integer and another time position is a part of week before fn the time position and the time position is a part of week after fn the other time position, then there exists another positive integer such that the other time position is an instance of the day the other positive integer and the other positive integer is equal to (the positive integer and 7)
(=> (and (instance ?DAY1 (DayFn ?NUMBER1 ?MONTH)) (instance ?DAY2 (DayFn ?NUMBER2 ?MONTH)) (equal (SubtractionFn ?NUMBER2 ?NUMBER1) 1)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 8639-8644	If a time interval is an instance of the day a positive integer and another time interval is an instance of the day another positive integer and (the other positive integer and the positive integer) is equal to 1, then the time interval meets the other time interval
(=> (and (instance ?MIT BarMitzvah) (patient ?MIT ?X) (instance ?X Boy) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13)))))	Biography.kif 69-85	If a process is an instance of BarMitzvah and a human is a patient of the process and the human is an instance of boy and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer, then there exist an integer and a time position such that the integer is an instance of integer and the integer is equal to (another integer and 13) and the time position is an instance of the day the positive integer and the time of existence of the process is equal to immediately after the time position
(=> (and (instance ?MIT BatMitzvah) (patient ?MIT ?X) (instance ?X Girl) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13)))))	Biography.kif 99-115	If a process is an instance of BatMitzvah and a human is a patient of the process and the human is an instance of girl and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer, then there exist an integer and a time position such that the integer is an instance of integer and the integer is equal to (another integer and 13) and the time position is an instance of the day the positive integer and the time of existence of the process is equal to immediately after the time position
(=> (and (instance ?UTC (HourFn ?H1 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (instance ?CST (HourFn ?H2 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal (RelativeTimeFn ?UTC CentralTimeZone) ?CST)) (equal ?H2 (AdditionFn ?H1 6)))	Merge.kif 17277-17283	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and the time the time position in zone central time zone is equal to the other time position, then the other nonnegative integer is equal to (the nonnegative integer and 6)
(=> (and (instance ?UTC (HourFn ?H1 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (instance ?EST (HourFn ?H2 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal (RelativeTimeFn ?UTC EasternTimeZone) ?EST)) (equal ?H2 (AdditionFn ?H1 5)))	Merge.kif 17289-17295	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and the time the time position in zone eastern time zone is equal to the other time position, then the other nonnegative integer is equal to (the nonnegative integer and 5)
(=> (and (instance ?UTC (HourFn ?H1 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (instance ?MST (HourFn ?H2 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal (RelativeTimeFn ?UTC MountainTimeZone) ?MST)) (equal ?H2 (AdditionFn ?H1 7)))	Merge.kif 17265-17271	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and the time the time position in zone mountain time zone is equal to the other time position, then the other nonnegative integer is equal to (the nonnegative integer and 7)
(=> (and (instance ?UTC (HourFn ?H1 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (instance ?PST (HourFn ?H2 (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (equal (RelativeTimeFn ?UTC PacificTimeZone) ?PST)) (equal ?H2 (AdditionFn ?H1 8)))	Merge.kif 17253-17259	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and the time the time position in zone pacific time zone is equal to the other time position, then the other nonnegative integer is equal to (the nonnegative integer and 8)
(=> (and (instance ?WED Wedding) (date ?WED ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (weddingAnniversary ?WED ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y))))	Mid-level-ontology.kif 24483-24494	If a physical is an instance of wedding and date of the physical is a day and the day is an instance of the day a positive integer, then there exist another kind of day and an integer such that weddingAnniversary the physical and another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and the other kind of day is equal to the day the positive integer and the integer is greater than another integer
(=> (instance ?DAY (DayFn ?NUMBER ?MONTH)) (lessThanOrEqualTo ?NUMBER 31))	Merge.kif 8635-8637	If an entity is an instance of the day a positive integer, then the positive integer is less than or equal to 31

consequent

(=> (and (birthdate ?A ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (birthday ?A ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y))))	Mid-level-ontology.kif 24524-24534	If a day is a birthdate of a human and the day is an instance of the day a positive integer, then there exist another kind of day and an integer such that the human's birthday is another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and the other kind of day is equal to the day the positive integer and the integer is greater than another integer
(=> (and (commemoratesDate ?HOLIDAY (DayFn ?DAY (MonthFn ?MONTH (YearFn ?YEAR)))) (instance ?DATE ?HOLIDAY) (subclass ?HOLIDAY FixedHoliday) (lessThanOrEqualTo ?YEAR ?LATER-YEAR)) (instance ?DATE (DayFn ?DAY (MonthFn ?MONTH (YearFn ?LATER-YEAR)))))	Government.kif 583-589	If the day a positive integer is a commemorates date of a kind of holiday and an entity is an instance of a kind of holiday and the kind of holiday is a subclass of fixed holiday and an integer is less than or equal to another entity-YEAR, then the entity is an instance of the day the positive integer
(=> (and (instance ?D2 (DayFn ?N2 (MonthFn ?M (YearFn ?Y)))) (temporalPart ?D1 (WeekBeforeFn ?D2)) (temporalPart ?D2 (WeekAfterFn ?D1))) (exists (?N1) (and (instance ?D1 (DayFn ?N1 (MonthFn ?M (YearFn ?Y)))) (equal ?N1 (SubtractionFn ?N2 7)))))	Mid-level-ontology.kif 15055-15064	If a time position is an instance of the day a positive integer and another time position is a part of week before fn the time position and the time position is a part of week after fn the other time position, then there exists another positive integer such that the other time position is an instance of the day the other positive integer and the other positive integer is equal to (the positive integer and 7)
(=> (and (instance ?MIT BarMitzvah) (patient ?MIT ?X) (instance ?X Boy) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13)))))	Biography.kif 69-85	If a process is an instance of BarMitzvah and a human is a patient of the process and the human is an instance of boy and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer, then there exist an integer and a time position such that the integer is an instance of integer and the integer is equal to (another integer and 13) and the time position is an instance of the day the positive integer and the time of existence of the process is equal to immediately after the time position
(=> (and (instance ?MIT BatMitzvah) (patient ?MIT ?X) (instance ?X Girl) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13)))))	Biography.kif 99-115	If a process is an instance of BatMitzvah and a human is a patient of the process and the human is an instance of girl and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer, then there exist an integer and a time position such that the integer is an instance of integer and the integer is equal to (another integer and 13) and the time position is an instance of the day the positive integer and the time of existence of the process is equal to immediately after the time position
(=> (and (instance ?WED Wedding) (date ?WED ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (weddingAnniversary ?WED ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y))))	Mid-level-ontology.kif 24483-24494	If a physical is an instance of wedding and date of the physical is a day and the day is an instance of the day a positive integer, then there exist another kind of day and an integer such that weddingAnniversary the physical and another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and the other kind of day is equal to the day the positive integer and the integer is greater than another integer

statement

(agreementAdoptionDate AntarcticTreaty (DayFn 1 (MonthFn December (YearFn 1959))))	Geography.kif 3192-3192	The day 1 is an agreement adoption date of antarctic treaty
(agreementEffectiveDate AntarcticTreaty (instance ?D (DayFn 23 (MonthFn June (YearFn 1961)))))	Geography.kif 3193-3193	?D is an instance of the day 23 is an agreement effective date of antarctic treaty
(dateDissolved CoordinatingCommitteeOnExportControls (DayFn 31 (MonthFn March (YearFn 1994))))	Government.kif 2958-2958	The day 31 is a date dissolved of coordinating committee on export controls
(dateDissolved CouncilForMutualEconomicAssistance (DayFn 1 (MonthFn January (YearFn 1991))))	Government.kif 2973-2973	The day 1 is a date dissolved of council for mutual economic assistance
(dateDissolved UnitedNationsPreventiveDeploymentForce (DayFn 25 (MonthFn March (YearFn 1999))))	Government.kif 4109-4109	The day 25 is a date dissolved of united nations preventive deployment force
(dateDissolved WarsawPact (DayFn 1 (MonthFn July (YearFn 1991))))	Government.kif 4249-4249	The day 1 is a date dissolved of warsaw pact
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates (DayFn 6 (MonthFn June (YearFn 1975))))	Government.kif 2714-2714	The day 6 is a date established of african caribbean and pacific group of states
(dateEstablished AfricanDevelopmentBank (DayFn 4 (MonthFn August (YearFn 1963))))	Government.kif 2721-2721	The day 4 is a date established of african development bank
(dateEstablished AgencyForTheFrenchSpeakingCommunity (DayFn 20 (MonthFn March (YearFn 1970))))	Government.kif 2735-2735	The day 20 is a date established of agency for the french speaking community
(dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean (DayFn 14 (MonthFn February (YearFn 1967))))	Government.kif 2742-2742	The day 14 is a date established of agency for the prohibition of nuclear weapons in latin america and the caribbean
(dateEstablished AndeanCommunityOfNations (DayFn 26 (MonthFn May (YearFn 1969))))	Government.kif 2760-2760	The day 26 is a date established of andean community of nations
(dateEstablished AntarcticTreatyCouncil (DayFn 23 (MonthFn June (YearFn 1961))))	Government.kif 2765-2765	The day 23 is a date established of antarctic treaty council
(dateEstablished ArabBankForEconomicDevelopmentInAfrica (DayFn 18 (MonthFn February (YearFn 1974))))	Government.kif 2776-2776	The day 18 is a date established of arab bank for economic development in africa
(dateEstablished ArabCooperationCouncil (DayFn 16 (MonthFn February (YearFn 1989))))	Government.kif 2782-2782	The day 16 is a date established of arab cooperation council
(dateEstablished ArabFundForEconomicAndSocialDevelopment (DayFn 16 (MonthFn May (YearFn 1968))))	Government.kif 2788-2788	The day 16 is a date established of arab fund for economic and social development
(dateEstablished ArabLeague (DayFn 22 (MonthFn March (YearFn 1945))))	Government.kif 2797-2797	The day 22 is a date established of arab league
(dateEstablished ArabMaghrebUnion (DayFn 17 (MonthFn February (YearFn 1989))))	Government.kif 2806-2806	The day 17 is a date established of arab maghreb union
(dateEstablished ArabMonetaryFund (DayFn 27 (MonthFn April (YearFn 1976))))	Government.kif 2815-2815	The day 27 is a date established of arab monetary fund
(dateEstablished AsiaPacificEconomicCooperation (DayFn 7 (MonthFn November (YearFn 1989))))	Government.kif 2821-2821	The day 7 is a date established of asia pacific economic cooperation
(dateEstablished AsianDevelopmentBank (DayFn 19 (MonthFn December (YearFn 1966))))	Government.kif 2827-2827	The day 19 is a date established of asian development bank
(dateEstablished AssociationOfSoutheastAsianNations (DayFn 8 (MonthFn August (YearFn 1967))))	Government.kif 2833-2833	The day 8 is a date established of association of southeast asian nations
(dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty (DayFn 1 (MonthFn September (YearFn 1951))))	Government.kif 2853-2853	The day 1 is a date established of australia new zealand united states security treaty
(dateEstablished BankForInternationalSettlements (DayFn 20 (MonthFn January (YearFn 1930))))	Government.kif 2859-2859	The day 20 is a date established of bank for international settlements
(dateEstablished BeneluxEconomicUnion (DayFn 3 (MonthFn February (YearFn 1958))))	Government.kif 2865-2865	The day 3 is a date established of benelux economic union
(dateEstablished BlackSeaEconomicCooperationZone (DayFn 25 (MonthFn June (YearFn 1992))))	Government.kif 2885-2885	The day 25 is a date established of black sea economic cooperation zone

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: