TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2749-2753
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8558-8566
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1475-1480
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8555-8555	Le nombre 1 argument de YearFn est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8552-8552	YearFn est une instance de relation temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8554-8554	YearFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8553-8553	YearFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8556-8556	Les valeurs retourn�es par YearFn sont des sous-classes de ann�e

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 465-465
No TPTP formula. May not be expressible in strict first order.	english_format.kif 471-471
No TPTP formula. May not be expressible in strict first order.	french_format.kif 269-269
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 317-317
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2059-2059
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 221-221
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 275-275
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 608-608
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 351-351
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 290-290
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 296-296
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 509-509
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8739-8739	Ann�e est reli� � l'int�rieur de SUMO � YearFn
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63757-63757
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 466-466
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63756-63756
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63755-63755

antecedent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	Ann�e est une instance de l' ann�e ann�eEAR MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	Ann�e est une instance de l' ann�e nombre entier BirthsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandLiveBirthsFn secteur g�opolitique and ann�e est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	Ann�e est une instance de l' ann�e nombre entier FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	Ann�e est une instance de l' ann�e nombre entier LifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 156-187	Ann�e est une instance de l' ann�e nombre entier MigrantsPerThousandFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entier) est entit� est une instance de l' ann�e nombre entier PopulationFn secteur g�opolitique est nombre r�el pendant ann�e nombre r�el + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique ( nombre entier + nombre entier) est nombre r�el nombre r�el + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 52-64	Ann�e est une instance de l' ann�e nombre entier PopulationGrowthFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entierP) est position temporel est une instance de l' ann�e nombre entierP PopulationFn secteur g�opolitique est nombre r�el pendant ann�e PopulationFn secteur g�opolitique est nombre r�el pendant position temporel nombre r�el + nombre r�el est nombre r�el ( nombre r�el + 1) est nombre r�el
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.	Media.kif 1936-1941	birthdate JesusOfNazareth and jour interval temporel est une instance de l' ann�e -6 interval temporel est une instance de l' ann�e 4 jour est une partie de l'intervale entre le d�but de interval temporel et la fin de interval temporel
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.	Media.kif 1943-1948	deathdate JesusOfNazareth and jour interval temporel est une instance de l' ann�e 29 interval temporel est une instance de l' ann�e 36 jour est une partie de l'intervale entre le d�but de interval temporel et la fin de interval temporel
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 9001-9009	Entit� est une instance de ann�e bissextile entit� est une instance de l' ann�e nombre entier nombre entier reste 4 est nombre entier reste 100 est nombre entier reste 400 est &%�gal � 0
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 8980-8985	Interval temporel est une instance de QuarterYear interval temporel est une instance de QuarterFn nombre entier positif and l' ann�e nombre entier nombre entierI est une instance de l' ann�e nombre entier interval temporel prend place pendant nombre entierI
No TPTP formula. May not be expressible in strict first order.	Media.kif 1959-1963	Interval temporel est une instance de l' ann�e 26 interval temporel est une instance de l' ann�e 100 temps d'existence de TwelveApostles est une partie de l'intervale entre le d�but de interval temporel et la fin de interval 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)

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 156-187	Ann�e est une instance de l' ann�e nombre entier MigrantsPerThousandFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entier) est entit� est une instance de l' ann�e nombre entier PopulationFn secteur g�opolitique est nombre r�el pendant ann�e nombre r�el + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique ( nombre entier + nombre entier) est nombre r�el nombre r�el + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 52-64	Ann�e est une instance de l' ann�e nombre entier PopulationGrowthFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entierP) est position temporel est une instance de l' ann�e nombre entierP PopulationFn secteur g�opolitique est nombre r�el pendant ann�e PopulationFn secteur g�opolitique est nombre r�el pendant position temporel nombre r�el + nombre r�el est nombre r�el ( nombre r�el + 1) est nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 968-975	yearOfFounding organisation and nombre entier processus nombre entierEAR nombre entierEAR recouvre temps d'existence de processus nombre entierEAR est une instance de l' ann�e nombre entier processus est une instance de Founding organisation est le resultat de processus
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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 960-963	yearOfFounding organisation and nombre entier dateEstablished organisation and l' ann�e 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.	People.kif 456-469	Ann�e est une instance de l' ann�e nombre entier ChildrenBornPerWomanFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique
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 2877-2877	dateEstablished ASEANRegionalForum and l' ann�e 1994
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 2883-2883	dateEstablished AustraliaGroup and l' ann�e 1984
No TPTP formula. May not be expressible in strict first order.	Government.kif 2889-2889	dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty and le jour 1

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: