TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2781-2781
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8742-8742
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1511-1511
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8740-8740	Ann�e est reli� � l'int�rieur de SUMO � YearDuration
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.	Merge.kif 8738-8738	Ann�e est une sous-classe de interval temporel

appearance as argument number 2

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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8995-8995	Ann�e bissextile est une sous-classe de ann�e
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1274-1274
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63744-63744
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1765-1765
No TPTP formula. May not be expressible in strict first order.	french_format.kif 952-952
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 487-487
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 491-491
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2636-2636
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 904-904
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 527-527
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 973-973
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 492-492

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	People.kif 70-70	Le nombre 2 argument de BirthsPerThousandFn est une instance de ann�e
No TPTP formula. May not be expressible in strict first order.	People.kif 442-442	Le nombre 2 argument de ChildrenBornPerWomanFn est une instance de ann�e
No TPTP formula. May not be expressible in strict first order.	People.kif 103-103	Le nombre 2 argument de DeathsPerThousandFn est une instance de ann�e
No TPTP formula. May not be expressible in strict first order.	People.kif 229-229	Le nombre 2 argument de DeathsPerThousandLiveBirthsFn est une instance de ann�e
No TPTP formula. May not be expressible in strict first order.	People.kif 395-395	Le nombre 2 argument de FemaleLifeExpectancyAtBirthFn est une instance de ann�e
No TPTP formula. May not be expressible in strict first order.	People.kif 298-298	Le nombre 2 argument de LifeExpectancyAtBirthFn est une instance de ann�e
No TPTP formula. May not be expressible in strict first order.	People.kif 347-347	Le nombre 2 argument de MaleLifeExpectancyAtBirthFn est une instance de ann�e
No TPTP formula. May not be expressible in strict first order.	People.kif 139-139	Le nombre 2 argument de MigrantsPerThousandFn est une instance de ann�e
No TPTP formula. May not be expressible in strict first order.	People.kif 37-37	Le nombre 2 argument de PopulationGrowthFn est une instance de ann�e
No TPTP formula. May not be expressible in strict first order.	Military.kif 925-925	Le nombre 2 argument de ReachingMilitaryAgeAnnuallyMaleFn est une instance de ann�e
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3724-3724	Le nombre 2 argument de FiscalYearStartingFn est une sous-classe de ann�e
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 8969-8969	Le nombre 2 argument de QuarterFn est une sous-classe de ann�e
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8951-8951	Le nombre 2 argument de WeekFn est une sous-classe de ann�e
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 744-744	Le nombre 2 argument de lastRenovation est une sous-classe de ann�e
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 723-723	Le nombre 2 argument de yearBuilt est une sous-classe de ann�e

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2112-2121	electricityConsumptionInPeriod secteur g�opolitique, quantit� physique and interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique position temporel position temporel est une instance de interval temporel annualElectricityConsumption secteur g�opolitique and quantit� physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2156-2165	electricityExportInPeriod secteur g�opolitique, quantit� physique and interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique position temporel position temporel est une instance de interval temporel annualElectricityExport secteur g�opolitique and quantit� physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2202-2211	electricityImportInPeriod secteur g�opolitique, quantit� physique and interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique position temporel position temporel est une instance de interval temporel annualElectricityImport secteur g�opolitique and quantit� physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1980-1989	electricityProductionInPeriod secteur g�opolitique, quantit� physique and interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique position temporel position temporel est une instance de interval temporel annualElectricityProduction secteur g�opolitique and quantit� physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2277-2286	exportTotalInPeriod secteur g�opolitique, mesure de devise and interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique position temporel position temporel est une instance de interval temporel annualExportTotal secteur g�opolitique and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2123-2130	annualElectricityConsumption secteur g�opolitique and quantit� physique pendant position temporel position temporel est une instance de interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique electricityConsumptionInPeriod secteur g�opolitique, quantit� physique and interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2167-2174	annualElectricityExport secteur g�opolitique and quantit� physique pendant position temporel position temporel est une instance de interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique electricityExportInPeriod secteur g�opolitique, quantit� physique and interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2213-2220	annualElectricityImport secteur g�opolitique and quantit� physique pendant position temporel position temporel est une instance de interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique electricityImportInPeriod secteur g�opolitique, quantit� physique and interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1991-1998	annualElectricityProduction secteur g�opolitique and quantit� physique pendant position temporel position temporel est une instance de interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique electricityProductionInPeriod secteur g�opolitique, quantit� physique and interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2288-2295	annualExportTotal secteur g�opolitique and mesure de devise pendant position temporel position temporel est une instance de interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique exportTotalInPeriod secteur g�opolitique, mesure de devise and interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2594-2601	annualImportTotal secteur g�opolitique and mesure de devise pendant position temporel position temporel est une instance de interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique importTotalInPeriod secteur g�opolitique, mesure de devise and interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2583-2592	importTotalInPeriod secteur g�opolitique, mesure de devise and interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique position temporel position temporel est une instance de interval temporel annualImportTotal secteur g�opolitique and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 437-444	Interval temporel est une instance de EasterSunday interval temporel est une instance de Lent interval temporel rencontre interval temporel interval temporel prend place pendant interval temporel interval temporel est une instance de ann�e interval temporel prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 446-453	Interval temporel est une instance de EasterSunday interval temporel est une instance de Lent interval temporel rencontre interval temporel interval temporel prend place pendant interval temporel interval temporel est une instance de ann�e interval temporel prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3738-3742	AutonomousAgent est une instance de AutonomousAgent ann�e est une sous-classe de ann�e FiscalYearStartingFn AutonomousAgent and ann�e est une instance de FiscalYearFn AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Media.kif 387-394	Interval temporel est une instance de Advent interval temporel est une instance de ChristmasDay interval temporel prend place pendant interval temporel interval temporel est une instance de ann�e interval temporel rencontre interval temporel interval temporel prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 396-403	Interval temporel est une instance de Advent interval temporel est une instance de ChristmasDay interval temporel prend place pendant interval temporel interval temporel est une instance de ann�e interval temporel rencontre interval temporel interval temporel prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 538-547	Interval temporel est une instance de ann�e interval temporel est une instance de EasterSunday interval temporel est une instance de AscensionThursday interval temporel prend place pendant interval temporel interval temporel prend place pendant interval temporel interval temporel commence interval temporel interval temporel finit interval temporel la dur�� de interval temporel est 40 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 473-482	Interval temporel est une instance de ann�e interval temporel est une instance de EasterSunday interval temporel est une instance de PalmSunday interval temporel prend place pendant interval temporel interval temporel prend place pendant interval temporel interval temporel commence interval temporel interval temporel finit interval temporel la dur�� de interval temporel est 8 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 559-568	Interval temporel est une instance de ann�e interval temporel est une instance de EasterSunday interval temporel est une instance de Pentecost interval temporel prend place pendant interval temporel interval temporel prend place pendant interval temporel interval temporel commence interval temporel interval temporel finit interval temporel la dur�� de interval temporel est 50 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8744-8746	Interval temporel est une instance de ann�e la dur�� de interval temporel est 1 YearDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9459-9461	Interval temporel est une instance de ann�e le nombre d' instances dans decomposition de interval temporel en moiss est &%�gal � 12

consequent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	Muslim est un attribut de AutonomousAgent valeur de ce que poss�de AutonomousAgent est mesure de devise l'argument entit� entit�, entit�, entit� and entit� entit� est une instance de Zakat entit� est une instance de ann�e entit� prend place pendant temps d'existence de AutonomousAgent FullyFormed est un attribut de AutonomousAgent pendant entit� entit� est un agent de AutonomousAgent entit� est un patient de entit� valeur de entit� est entit� entit�(s) entit� est une instance de UnitOfCurrency entit� est plus grand que mesure de devise + 0.025 a la force modale de Obligation
No TPTP formula. May not be expressible in strict first order.	Media.kif 376-385	Interval temporel est une instance de Advent interval temporel est une instance de ChristmasDay interval temporel rencontre interval temporel interval temporel interval temporel est une instance de ann�e interval temporel prend place pendant interval temporel interval temporel prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 229-237	Interval temporel est une instance de EidAlFitr interval temporel interval temporel interval temporel est une instance de Ramadan interval temporel est une instance de ann�e interval temporel prend place pendant interval temporel interval temporel prend place pendant interval temporel interval temporel se produit avant interval temporel

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

Show without tree

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: