TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2760-2763
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8592-8597
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1488-1492
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8588-8588	Le nombre 1 argument de DayFn est une instance de nombre entier positif
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8589-8589	Le nombre 2 argument de DayFn est une sous-classe de mois
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8586-8586	DayFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8587-8587	DayFn est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8585-8585	DayFn est une instance de relation temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8590-8590	Les valeurs retourn�es par DayFn sont des sous-classes de jour

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 469-469
No TPTP formula. May not be expressible in strict first order.	english_format.kif 475-475
No TPTP formula. May not be expressible in strict first order.	french_format.kif 271-271
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 65-65
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2061-2061
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 223-223
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 99-99
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 277-277
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 612-612
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 106-106
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 292-292
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 298-298
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 146-146
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9231-9231	Jour est reli� � l'int�rieur de SUMO � DayFn
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18660-18660
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 470-470
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18659-18659
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18658-18658
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 147-147

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 8603-8608	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 + nombre entier positif) est interval temporel rencontre 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 17206-17212	Position temporel est une instance de l' heure nombre entier non n�gatif position temporel est une instance de l' heure nombre entier non n�gatif le temps position temporel dans la zone CentralTimeZone est position temporel nombre entier non n�gatif est nombre entier non n�gatif + 6)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17218-17224	Position temporel est une instance de l' heure nombre entier non n�gatif position temporel est une instance de l' heure nombre entier non n�gatif le temps position temporel dans la zone EasternTimeZone est position temporel nombre entier non n�gatif est nombre entier non n�gatif + 5)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17194-17200	Position temporel est une instance de l' heure nombre entier non n�gatif position temporel est une instance de l' heure nombre entier non n�gatif le temps position temporel dans la zone MountainTimeZone est position temporel nombre entier non n�gatif est nombre entier non n�gatif + 7)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17182-17188	Position temporel est une instance de l' heure nombre entier non n�gatif position temporel est une instance de l' heure nombre entier non n�gatif le temps position temporel dans la zone PacificTimeZone est position temporel nombre entier non n�gatif est nombre entier non n�gatif + 8)
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.	Merge.kif 8599-8601	Entit� est une instance de le jour nombre entier positif nombre entier positif est plus petit ou �gal � 31

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

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: