Day - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2807-2807
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9256-9256
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1548-1548
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5948-5948
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6343-6343
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6344-6344
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6345-6345
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6346-6346
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9254-9254	Dia e' relacionado internamente por SUMO a DayDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9253-9253	Dia e' relacionado internamente por SUMO a DayFn
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9252-9252	Dia e' uma sub-classe de Intervalo Temporal

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8612-8612	Os valores retornados por DayFn sao as sub-classes de Dia
No TPTP formula. May not be expressible in strict first order.	Media.kif 335-335	ChristmasDay e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9304-9304	Sexta-feira e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9262-9262	Segunda-feira e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9317-9317	Sabado e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9330-9330	Domingo e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9291-9291	Quinta-feira e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9265-9265	Terca-feira e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9278-9278	Quarta-feira e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1289-1289
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1795-1795
No TPTP formula. May not be expressible in strict first order.	french_format.kif 967-967
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 502-502
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 506-506
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2651-2651
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 919-919
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 508-508
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 542-542
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 988-988
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 507-507

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8856-8856	O argumento numero 1 de AfternoonFn e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8956-8956	O argumento numero 1 de EveningFn e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8840-8840	O argumento numero 1 de MorningFn e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3808-3808	O argumento numero 2 de availableBalance e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3831-3831	O argumento numero 2 de availableCash e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	Biography.kif 175-175	O argumento numero 2 de baptizeddate e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24267-24267	O argumento numero 2 de birthdate e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4092-4092	O argumento numero 2 de buyingPowerAmount e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2485-2485	O argumento numero 2 de callDate e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3472-3472	O argumento numero 3 de closingPrice e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 673-673	O argumento numero 2 de currentAccountBalance e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 615-615	O argumento numero 2 de currentInterestRate e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8567-8567	O argumento numero 2 de date e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4027-4027	O argumento numero 2 de dateOfStatement e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24280-24280	O argumento numero 2 de deathdate e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4101-4101	O argumento numero 2 de marginBalanceAmount e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4119-4119	O argumento numero 2 de marketValueAmount e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 632-632	O argumento numero 2 de maturityDate e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 868-868	O argumento numero 3 de netWorth e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 780-780	O argumento numero 3 de overdraft e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 600-600	O argumento numero 1 de primeInterestRate e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4110-4110	O argumento numero 2 de shortBalanceAmount e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24212-24212	O argumento numero 3 de weddingdate e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8636-8636	O argumento numero 2 de HourFn e' uma sub-classe de Dia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24181-24181	O argumento numero 2 de anniversary e' uma sub-classe de Dia

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8862-8867	Afternoon e' uma instancia de Afternoon Dia e' uma instancia de Dia Afternoon e' igual a AfternoonFn Dia Afternoon acontece durante Dia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8962-8967	Evening e' uma instancia de Evening Dia e' uma instancia de Dia Evening e' igual a EveningFn Dia Evening acontece durante Dia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8846-8851	Morning e' uma instancia de Morning Dia e' uma instancia de Dia Morning e' igual a MorningFn Dia Morning acontece durante Dia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8944-8951	Intervalo Temporal e' uma instancia de Evening Intervalo Temporal e' uma instancia de Afternoon Intervalo Temporal e' uma instancia de Dia Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 65-84	AutonomousAgent e' uma instancia de Man Mausaharati e' um atributo de AutonomousAgent Processo e' uma instancia de Drumming Processo e' um agente de AutonomousAgent ProcessoAY e' uma instancia de Dia Intervalo Temporal e' uma instancia de Sunrise Intervalo Temporal acontece durante ProcessoAY tempo de existencia de Processo acontence antes de Intervalo Temporal Processo tem por fim Entidade Intervalo TemporalUHUR and Entidade Entidade e' uma instancia de WakingUp Entidade experimenta Entidade Intervalo TemporalUHUR e' uma instancia de Suhur Intervalo TemporalUHUR e' um agente de Entidade tempo de existencia de Entidade acontence antes de tempo de existencia de Intervalo TemporalUHUR tempo de existencia de Entidade acontece durante ProcessoAY tempo de existencia de Intervalo TemporalUHUR acontece durante ProcessoAY
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4958-4976	Intervalo Temporal e' uma instancia de LowTide Intervalo Temporal e' uma instancia de HighTide eventLocated Intervalo Temporal and Objeto eventLocated Intervalo Temporal and Objeto Intervalo Temporal e' uma instancia de Dia Intervalo Temporal engloba Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal Numero Real Numero Real and Entidade Entidade e' uma instancia de UnitOfLength waterDepth Objeto and Numero Real Entidade(s) vale durante Intervalo Temporal waterDepth Objeto and Numero Real Entidade(s) vale durante Intervalo Temporal Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5027-5037	lowTide Regiao, Intervalo Temporal and Numero Real Unidade de Medida(s) highTide Regiao, Intervalo Temporal and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfLength Intervalo Temporal e' uma instancia de Dia Intervalo Temporal engloba Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9258-9260	Intervalo Temporal e' uma instancia de Dia a duracao de Intervalo Temporal e' 1 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9495-9497	Intervalo Temporal e' uma instancia de Dia o numero de instancias dentro de decomposicao de Intervalo Temporal em Horas e' igual a 24

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24235-24245	birthdate Humano and Dia Dia e' uma instancia de o dia Inteiro positivo Dia Numero Inteiro birthday Humano and Dia Dia e' uma sub-classe de Dia Numero Inteiro e' uma instancia de Numero Inteiro Dia e' igual a o dia Inteiro positivo Numero Inteiro e' maior que Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3754-3764	Intervalo Temporal e' igual a FiscalYearStartingFn AutonomousAgent and Ano fiscalYearPeriod AutonomousAgent and Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal Posicao Temporal Intervalo Temporal e' uma instancia de Dia Intervalo Temporal comeca em Intervalo Temporal Posicao Temporal e' uma instancia de Ano Intervalo Temporal e' uma &parte de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9485-9489	Intervalo Temporal e' uma instancia de Mes a duracao de Intervalo Temporal e' Numero Inteiro DayDuration(s) o numero de instancias dentro de decomposicao de Intervalo Temporal em Dias e' igual a Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2654-2674	Policy e' uma instancia de DailyHousekeepingPolicy policyOwner Organizacao and Policy o argumento Entidade Entidade and Entidade guest Entidade and Organizacao stays Entidade and Entidade Entidade e' igual a tempo de existencia de stays Entidade and Entidade Entidade Entidade e' uma instancia de Dia Entidade acontece durante Entidade Entidade Entidade e' uma instancia de RoomCleaningService Entidade e' um patient de Entidade Entidade acontece durante Entidade vale durante Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3631-3640	Fisico e' uma instancia de Area Geografica Fisico e' situado em AntarcticArea Posicao Temporal Posicao Temporal e' uma instancia de Dia Illuminated e' um atributo de Fisico vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3570-3579	Fisico e' uma instancia de Area Geografica Fisico e' situado em ArcticRegion Posicao Temporal Posicao Temporal e' uma instancia de Dia Illuminated e' um atributo de Fisico vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Biography.kif 250-264	ContentBearingPhysical e' uma instancia de BirthCertificate Processo e' uma instancia de Nascimento AutonomousAgent e' uma instancia de Humano AutonomousAgent experimenta Processo containsFormula ContentBearingPhysical and Entidade Entidade and Entidade birthdate AutonomousAgent and Entidade Entidade e' uma instancia de Dia birthplace AutonomousAgent and Entidade Entidade e' uma instancia de Area Geografica Entidade define AutonomousAgent Entidade e' uma instancia de Name
No TPTP formula. May not be expressible in strict first order.	Biography.kif 280-296	ContentBearingPhysical e' uma instancia de DeathCertificate Processo e' uma instancia de Morte AutonomousAgent e' uma instancia de Humano AutonomousAgent experimenta Processo containsFormula ContentBearingPhysical and ProcessoAY Entidade, Entidade and EntidadeROC deathdate AutonomousAgent and ProcessoAY ProcessoAY e' uma instancia de Dia deathplace AutonomousAgent and Entidade Entidade e' uma instancia de Area Geografica Entidade define AutonomousAgent Entidade e' uma instancia de Name EntidadeROC causa Processo EntidadeROC e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Biography.kif 307-317	ContentBearingPhysical e' uma instancia de MarriageCertificate Humano e' uma instancia de Humano Humano e' uma instancia de Humano spouse Humano and Humano containsFormula ContentBearingPhysical and Entidade weddingdate Humano, Humano and Entidade Entidade e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24194-24205	Fisico e' uma instancia de Wedding a data de Fisico e' Dia Dia e' uma instancia de o dia Inteiro positivo Dia Numero Inteiro weddingAnniversary Fisico and Dia Dia e' uma sub-classe de Dia Numero Inteiro e' uma instancia de Numero Inteiro Dia e' igual a o dia Inteiro positivo Numero Inteiro e' maior que Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3691-3711	dayPhone Sequencia Simbolica and AutonomousAgent Telephone Entidade and Numero Real phoneNumber Sequencia Simbolica and Telephone Numero Real e' maior que 6 Numero Real e' menos que 18 Entidade Entidade e' uma instancia de Telephoning Entidade termina em AutonomousAgent Telephone e' um patient de Entidade AutonomousAgent possui Telephone o argumento Entidade Entidade e' uma instancia de Answering Entidade e' um sub-processo de Entidade Entidade e' um agente de AutonomousAgent tem a forca modal de Likely vale durante Entidade e' uma instancia de a hora Numero Real
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3735-3755	eveningPhone Sequencia Simbolica and AutonomousAgent Telephone Entidade and Numero Real phoneNumber Sequencia Simbolica and Telephone Numero Real e' maior que 18 Numero Real e' menos que 6 Entidade Entidade e' uma instancia de Telephoning Entidade termina em AutonomousAgent Telephone e' um patient de Entidade AutonomousAgent possui Telephone o argumento Entidade Entidade e' uma instancia de Answering Entidade e' um sub-processo de Entidade Entidade e' um agente de AutonomousAgent tem a forca modal de Likely vale durante Entidade e' uma instancia de a hora Numero Real
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2295-2300	Entidade e' uma instancia de CalendarText Entidade Entidade e' uma instancia de Dia Entidade inclui uma referencia a Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8803-8808	Ponto no tempo e' uma instancia de Midnight Intervalo Temporal Intervalo Temporal e' uma instancia de Dia Ponto no tempo e' igual a o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9491-9493	Intervalo Temporal e' uma instancia de Semana o numero de instancias dentro de decomposicao de Intervalo Temporal em Dias e' igual a 7
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 91-101	Fisico e' uma instancia de Iftar Intervalo Temporal Intervalo Temporal and Intervalo Temporal Intervalo Temporal e' uma instancia de Sunset Intervalo Temporal e' uma instancia de Ramadan Intervalo Temporal e' uma instancia de Dia Intervalo Temporal acontece durante Intervalo Temporal tempo de existencia de Fisico acontece durante Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal comeca antes de tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 36-46	Fisico e' uma instancia de Suhur Intervalo Temporal Intervalo Temporal and Intervalo Temporal Intervalo Temporal e' uma instancia de Sunrise Intervalo Temporal e' uma instancia de Ramadan Intervalo Temporal e' uma instancia de Dia Intervalo Temporal acontece durante Intervalo Temporal tempo de existencia de Fisico acontece durante Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal tempo de existencia de Fisico comeca antes de Intervalo Temporal

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: