date - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - date

date

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2747-2748
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8570-8572
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1473-1474
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8566-8566	O argumento numero 1 de date e' uma instancia de Fisico
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.	Merge.kif 8564-8564	date e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8565-8565	date e' uma instancia de Relacao com Valor Unico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8568-8568	date e' uma sub-relacao de time

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 441-441
No TPTP formula. May not be expressible in strict first order.	english_format.kif 447-447
No TPTP formula. May not be expressible in strict first order.	french_format.kif 255-255
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 64-64
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2049-2049
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 207-207
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 98-98
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 261-261
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 576-576
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 105-105
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 276-276
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 280-280
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 144-144
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 442-442
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18605-18605
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18604-18604
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 145-145

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15537-15554	Edicao Inteiro positivo de Objeto Representendo Conteudo Abstrato e' igual a Objeto Representendo Conteudo Abstrato edicao Inteiro positivo de Objeto Representendo Conteudo Abstrato e' igual a Objeto Representendo Conteudo Abstrato Inteiro positivo e' maior que Inteiro positivo Processo e' uma instancia de Publicacao Processo e' uma instancia de Publicacao Entidade e' uma instancia de Objeto Representendo Conteudo Abstrato Entidade e' uma instancia de Objeto Representendo Conteudo Abstrato Entidade e' um patient de Processo Entidade e' um patient de Processo a data de Processo e' Dia a data de Processo e' Dia o fim de Dia comeca antes de o fim de Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1087-1099	FinancialAccount e' uma instancia de CertificateOfDeposit maturityDate FinancialAccount and Dia Processo e' uma instancia de Withdrawal Processo tem como origem CurrencyFn FinancialAccount a data de Processo e' Dia o fim de Dia comeca antes de o comeco de Dia Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn FinancialAccount Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3838-3852	Transacao Financeira e' uma instancia de Transacao Financeira Transacao Financeira tem como origem CurrencyFn FinancialAccount transactionAmount Transacao Financeira and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency Entidade e' uma instancia de Currency Entidade e' um patient de Transacao Financeira a data de Transacao Financeira e' Dia Numero Real availableCash FinancialAccount, Dia and Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3815-3827	Transacao Financeira e' uma instancia de Transacao Financeira Transacao Financeira tem como origem FinancialAccount transactionAmount Transacao Financeira and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency a data de Transacao Financeira e' Dia Numero Real availableBalance FinancialAccount, Dia and Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a Numero Real
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.	Mid-level-ontology.kif 14623-14637	Serie e' uma sub-classe de Periodico o volume Inteiro positivo na serie Serie e' igual a Texto o volume Inteiro positivo na serie Serie e' igual a Texto Inteiro positivo e' maior que Inteiro positivo Processo e' uma instancia de Publicacao Processo e' uma instancia de Publicacao Entidade e' uma instancia de Texto Entidade e' uma instancia de Texto Entidade e' um patient de Processo Entidade e' um patient de Processo a data de Processo e' Dia a data de Processo e' Dia o fim de Dia comeca antes de o fim de Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 834-842	transactionAmount Transacao Financeira and Medida de Divisa a data de Transacao Financeira e' Dia FinancialAccount e' uma instancia de FinancialAccount Transacao Financeira termina em CurrencyFn FinancialAccount amountDue FinancialAccount, Medida de Divisa and Intervalo Temporal o fim de Dia comeca antes de o comeco de Intervalo Temporal Transacao Financeira e' uma instancia de Prepayment

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	amountDue FinancialAccount, Medida de Divisa and Posicao Temporal accountHolder FinancialAccount and Agente Cognitivo Agente Cognitivo e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 807-816	downPayment Loan and Medida de Divisa agreementEffectiveDate Loan and Ponto no tempo Transacao Financeira transactionAmount Transacao Financeira and Medida de Divisa a data de Transacao Financeira e' Ponto no tempo Transacao Financeira termina em CurrencyFn Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 686-699	FinancialAccount e' uma instancia de FinancialAccount minimumBalance FinancialAccount, OpeningAnAccount and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency Transacao Financeira Ponto no tempo and Numero Real Transacao Financeira termina em CurrencyFn FinancialAccount transactionAmount Transacao Financeira and Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a Numero Real agreementEffectiveDate FinancialAccount and Ponto no tempo a data de Transacao Financeira e' Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 701-714	FinancialAccount e' uma instancia de FinancialAccount minimumBalance FinancialAccount, UsingAnAccount and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency currentAccountBalance FinancialAccount, Dia and Numero Real Unidade de Medida(s) Numero Real e' menos que Numero Real Processo Processo e' uma instancia de Penalty a data de Processo e' Dia Processo termina em CurrencyFn FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1411-1421	Loan e' uma instancia de BalloonLoan maturityDate Loan and Dia totalBalance Loan and Medida de Divisa borrower Loan and Agente Cognitivo Agente Cognitivo e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Biography.kif 178-184	baptizeddate Humano and Dia Processo Processo e' uma instancia de Baptizing Humano experimenta Processo a data de Processo e' Dia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24269-24275	birthdate Humano and Dia Processo Processo e' uma instancia de Nascimento Humano experimenta Processo a data de Processo e' Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4031-4036	dateOfStatement BankStatement and Dia ContentBearingPhysical ContentBearingPhysical contem informacao BankStatement a data de ContentBearingPhysical e' Dia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24283-24289	deathdate Humano and Dia Processo Processo e' uma instancia de Morte Humano experimenta Processo a data de Processo e' Dia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24215-24224	weddingdate Humano, Humano and Dia Processo Processo e' uma instancia de Wedding Humano e' um patient de Processo Humano e' um patient de Processo Humano e' igual a Humano a data de Processo e' Dia

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