TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2754-2759
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8575-8583
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1481-1487
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8571-8571	Le nombre 1 argument de MonthFn est une sous-classe de mois
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8572-8572	Le nombre 2 argument de MonthFn est une sous-classe de ann�e
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8569-8569	MonthFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8570-8570	MonthFn est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8568-8568	MonthFn est une instance de relation temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8573-8573	Les valeurs retourn�es par MonthFn sont des sous-classes de mois

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 467-467
No TPTP formula. May not be expressible in strict first order.	english_format.kif 473-473
No TPTP formula. May not be expressible in strict first order.	french_format.kif 270-270
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 194-194
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2060-2060
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 222-222
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 276-276
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 610-610
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 232-232
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 291-291
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 297-297
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 373-373
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9044-9044	Mois est reli� � l'int�rieur de SUMO � MonthFn
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38487-38487
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 468-468
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38486-38486
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38485-38485
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 374-374

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24236-24246	birthdate humain and jour jour est une instance de le jour nombre entier positif jour nombre entier birthday humain and jour jour est une sous-classe de jour nombre entier est une instance de nombre entier jour est jour nombre entier positif nombre entier est plus grand que nombre entier
No TPTP formula. May not be expressible in strict first order.	Government.kif 612-617	commemoratesDate Holiday and le jour nombre entier positif interval temporel est une instance de Holiday interval temporel est une instance de l' ann�e nombre entier interval temporel n' arrive %n{pas} plus t�t que interval temporel
No TPTP formula. May not be expressible in strict first order.	Government.kif 619-625	commemoratesDate Holiday and le jour nombre entier positif entit� est une instance de Holiday Holiday est une sous-classe de FixedHoliday nombre entier est plus petit ou �gal � entit�-YEAR entit� est une instance de le jour nombre entier positif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23916-23932	Menopausal est un attribut de humain pendant interval temporel birthdate humain and jour jour est une instance de le jour nombre entier positif nombre r�el est nombre entier) nombre r�el est nombre entier) point temporel est d�but de interval temporel l'argument point temporel est plus grand que nombre r�el nombre r�el est plus grand que point temporel a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8722-8729	Interval temporel est une instance de le jour nombre entier positif interval temporel est une instance de le jour nombre entier positif point temporel est d�but de interval temporel point temporel est d�but de interval temporel nombre entier positif est plus grand que nombre entier positif point temporel se produit avant point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8731-8736	Interval temporel est une instance de le jour nombre entier positif interval temporel est une instance de le jour nombre entier positif nombre entier positif est plus grand que nombre entier positif interval temporel arrive plus t�t que interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14837-14846	Position temporel est une instance de le jour nombre entier positif position temporel est une partie de WeekBeforeFn position temporel position temporel est une partie de WeekAfterFn position temporel nombre entier positif position temporel est une instance de le jour nombre entier positif nombre entier positif est nombre entier positif + 7)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8706-8713	Interval temporel est une instance de le moi mois interval temporel est une instance de le moi mois point temporel est d�but de interval temporel point temporel est d�but de interval temporel successorClass mois and mois point temporel se produit avant point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8715-8720	Interval temporel est une instance de le moi mois interval temporel est une instance de le moi mois successorClass mois and mois interval temporel arrive plus t�t que interval temporel
No TPTP formula. May not be expressible in strict first order.	Biography.kif 69-85	Processus est une instance de BarMitzvah humain est un patient de processus humain est une instance de Boy humain est un membre de collection collection est une instance de Judaism birthdate humain and jour jour est une instance de le jour nombre entier positif nombre entier position temporel nombre entier est une instance de nombre entier nombre entier est nombre entier + 13) position temporel est une instance de le jour nombre entier positif temps d'existence de processus est apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Biography.kif 99-115	Processus est une instance de BatMitzvah humain est un patient de processus humain est une instance de Girl humain est un membre de collection collection est une instance de Judaism birthdate humain and jour jour est une instance de le jour nombre entier positif nombre entier position temporel nombre entier est une instance de nombre entier nombre entier est nombre entier + 13) position temporel est une instance de le jour nombre entier positif temps d'existence de processus est apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9073-9078	Interval temporel est une instance de le moi F�vrier entit� est une instance de entit�EAR entit� est une instance de ann�e bissextile la dur�� de interval temporel est 29 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9066-9071	Interval temporel est une instance de le moi F�vrier entit� est une instance de entit�EAR entit� est une instance de ann�e bissextile la dur�� de interval temporel est 28 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9108-9112	Interval temporel est une instance de le moi Avril interval temporel est une instance de le moi Mai interval temporel rencontre interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9164-9168	Interval temporel est une instance de le moi Ao�t interval temporel est une instance de le moi Septembre interval temporel rencontre interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9221-9228	Interval temporel est une instance de le moi Decembre interval temporel est une instance de le moi Janvier interval temporel est une instance de ann�e interval temporel est une instance de ann�e interval temporel rencontre interval temporel interval temporel rencontre interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9080-9084	Interval temporel est une instance de le moi F�vrier interval temporel est une instance de le moi Mars interval temporel rencontre interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9056-9060	Interval temporel est une instance de le moi Janvier interval temporel est une instance de le moi F�vrier interval temporel rencontre interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9150-9154	Interval temporel est une instance de le moi Juillet interval temporel est une instance de le moi Ao�t interval temporel rencontre interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9136-9140	Interval temporel est une instance de le moi Juin interval temporel est une instance de le moi Juillet interval temporel rencontre interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9094-9098	Interval temporel est une instance de le moi Mars interval temporel est une instance de le moi Avril interval temporel rencontre interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9122-9126	Interval temporel est une instance de le moi Mai interval temporel est une instance de le moi Juin interval temporel rencontre interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9207-9211	Interval temporel est une instance de le moi Novembre interval temporel est une instance de le moi Decembre interval temporel rencontre interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9193-9197	Interval temporel est une instance de le moi Octobre interval temporel est une instance de le moi Novembre interval temporel rencontre interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9179-9183	Interval temporel est une instance de le moi Septembre interval temporel est une instance de le moi Octobre interval temporel rencontre interval temporel

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.	Mid-level-ontology.kif 24236-24246	birthdate humain and jour jour est une instance de le jour nombre entier positif jour nombre entier birthday humain and jour jour est une sous-classe de jour nombre entier est une instance de nombre entier jour est jour nombre entier positif nombre entier est plus grand que nombre entier
No TPTP formula. May not be expressible in strict first order.	Government.kif 619-625	commemoratesDate Holiday and le jour nombre entier positif entit� est une instance de Holiday Holiday est une sous-classe de FixedHoliday nombre entier est plus petit ou �gal � entit�-YEAR entit� est une instance de le jour nombre entier positif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14837-14846	Position temporel est une instance de le jour nombre entier positif position temporel est une partie de WeekBeforeFn position temporel position temporel est une partie de WeekAfterFn position temporel nombre entier positif position temporel est une instance de le jour nombre entier positif nombre entier positif est nombre entier positif + 7)
No TPTP formula. May not be expressible in strict first order.	Biography.kif 69-85	Processus est une instance de BarMitzvah humain est un patient de processus humain est une instance de Boy humain est un membre de collection collection est une instance de Judaism birthdate humain and jour jour est une instance de le jour nombre entier positif nombre entier position temporel nombre entier est une instance de nombre entier nombre entier est nombre entier + 13) position temporel est une instance de le jour nombre entier positif temps d'existence de processus est apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Biography.kif 99-115	Processus est une instance de BatMitzvah humain est un patient de processus humain est une instance de Girl humain est un membre de collection collection est une instance de Judaism birthdate humain and jour jour est une instance de le jour nombre entier positif nombre entier position temporel nombre entier est une instance de nombre entier nombre entier est nombre entier + 13) position temporel est une instance de le jour nombre entier positif temps d'existence de processus est apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24195-24206	Physique est une instance de Wedding la date de physique est jour jour est une instance de le jour nombre entier positif jour nombre entier weddingAnniversary physique and jour jour est une sous-classe de jour nombre entier est une instance de nombre entier jour est jour nombre entier positif nombre entier est plus grand que nombre entier
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3003-3011	Entit� est une instance de DeltaCovidVariant entit� est une partie de entit� Covid19 est un attribut de entit� pendant nombre r�el nombre r�el est plus grand que le moi Decembre

statement

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3192-3192	agreementAdoptionDate AntarcticTreaty and le jour 1
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3193-3193	agreementEffectiveDate AntarcticTreaty and ?D est une instance de le jour 23
No TPTP formula. May not be expressible in strict first order.	Government.kif 2994-2994	dateDissolved CoordinatingCommitteeOnExportControls and le jour 31
No TPTP formula. May not be expressible in strict first order.	Government.kif 3009-3009	dateDissolved CouncilForMutualEconomicAssistance and le jour 1
No TPTP formula. May not be expressible in strict first order.	Government.kif 4145-4145	dateDissolved UnitedNationsPreventiveDeploymentForce and le jour 25
No TPTP formula. May not be expressible in strict first order.	Government.kif 4285-4285	dateDissolved WarsawPact and le jour 1
No TPTP formula. May not be expressible in strict first order.	Government.kif 2750-2750	dateEstablished AfricanCaribbeanAndPacificGroupOfStates and le jour 6
No TPTP formula. May not be expressible in strict first order.	Government.kif 2757-2757	dateEstablished AfricanDevelopmentBank and le jour 4
No TPTP formula. May not be expressible in strict first order.	Government.kif 2771-2771	dateEstablished AgencyForTheFrenchSpeakingCommunity and le jour 20
No TPTP formula. May not be expressible in strict first order.	Government.kif 2778-2778	dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and le jour 14
No TPTP formula. May not be expressible in strict first order.	Government.kif 2796-2796	dateEstablished AndeanCommunityOfNations and le jour 26
No TPTP formula. May not be expressible in strict first order.	Government.kif 2801-2801	dateEstablished AntarcticTreatyCouncil and le jour 23
No TPTP formula. May not be expressible in strict first order.	Government.kif 2812-2812	dateEstablished ArabBankForEconomicDevelopmentInAfrica and le jour 18
No TPTP formula. May not be expressible in strict first order.	Government.kif 2818-2818	dateEstablished ArabCooperationCouncil and le jour 16
No TPTP formula. May not be expressible in strict first order.	Government.kif 2824-2824	dateEstablished ArabFundForEconomicAndSocialDevelopment and le jour 16
No TPTP formula. May not be expressible in strict first order.	Government.kif 2833-2833	dateEstablished ArabLeague and le jour 22
No TPTP formula. May not be expressible in strict first order.	Government.kif 2842-2842	dateEstablished ArabMaghrebUnion and le jour 17
No TPTP formula. May not be expressible in strict first order.	Government.kif 2851-2851	dateEstablished ArabMonetaryFund and le jour 27
No TPTP formula. May not be expressible in strict first order.	Government.kif 2857-2857	dateEstablished AsiaPacificEconomicCooperation and le jour 7
No TPTP formula. May not be expressible in strict first order.	Government.kif 2863-2863	dateEstablished AsianDevelopmentBank and le jour 19
No TPTP formula. May not be expressible in strict first order.	Government.kif 2869-2869	dateEstablished AssociationOfSoutheastAsianNations and le jour 8
No TPTP formula. May not be expressible in strict first order.	Government.kif 2889-2889	dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty and le jour 1
No TPTP formula. May not be expressible in strict first order.	Government.kif 2895-2895	dateEstablished BankForInternationalSettlements and le jour 20
No TPTP formula. May not be expressible in strict first order.	Government.kif 2901-2901	dateEstablished BeneluxEconomicUnion and le jour 3
No TPTP formula. May not be expressible in strict first order.	Government.kif 2921-2921	dateEstablished BlackSeaEconomicCooperationZone and le jour 25

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: