TreeView Knowledge Base Browser - date

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

date

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 8584-8586
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 8580-8580	Le nombre 1 argument de date est une instance de physique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8581-8581	Le nombre 2 argument de date est une instance de jour
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8578-8578	date est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8579-8579	date est une instance de relation simple
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8582-8582	date est une sous-relation 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 15561-15578	nombre entier positif de objet exprimant un sens est objet exprimant un sens nombre entier positif de objet exprimant un sens est objet exprimant un sens nombre entier positif est plus grand que nombre entier positif processus est une instance de publier processus est une instance de publier entit� est une instance de objet exprimant un sens entit� est une instance de objet exprimant un sens entit� est un patient de processus entit� est un patient de processus la date de processus est jour la date de processus est jour la fin de jour se produit avant la fin de jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1087-1099	FinancialAccount est une instance de CertificateOfDeposit maturityDate FinancialAccount and jour processus est une instance de Withdrawal processus a pour origine CurrencyFn FinancialAccount la date de processus est jour la fin de jour se produit avant le d�but de jour processus processus est une instance de Penalty processus aboutit � CurrencyFn FinancialAccount processus cause processus
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3838-3852	Financial transaction est une instance de financial transaction financial transaction a pour origine CurrencyFn FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency entit� est une instance de Currency entit� est un patient de financial transaction la date de financial transaction est jour nombre r�el availableCash FinancialAccount, jour and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3815-3827	Financial transaction est une instance de financial transaction financial transaction a pour origine FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency la date de financial transaction est jour nombre r�el availableBalance FinancialAccount, jour and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24252-24263	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.	Mid-level-ontology.kif 14651-14665	Series est une sous-classe de periodique le volume nombre entier positif dans les s�ries series est texte le volume nombre entier positif dans les s�ries series est texte nombre entier positif est plus grand que nombre entier positif processus est une instance de publier processus est une instance de publier entit� est une instance de texte entit� est une instance de texte entit� est un patient de processus entit� est un patient de processus la date de processus est jour la date de processus est jour la fin de jour se produit avant la fin de jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 834-842	transactionAmount financial transaction and mesure de devise la date de financial transaction est jour FinancialAccount est une instance de FinancialAccount financial transaction aboutit � CurrencyFn FinancialAccount amountDue FinancialAccount, mesure de devise and interval temporel la fin de jour se produit avant le d�but de interval temporel financial transaction est une instance de Prepayment

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	amountDue FinancialAccount, mesure de devise and position temporel accountHolder FinancialAccount and agent cognitif agent cognitif est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 807-816	downPayment Loan and mesure de devise agreementEffectiveDate Loan and point temporel financial transaction transactionAmount financial transaction and mesure de devise la date de financial transaction est point temporel financial transaction aboutit � CurrencyFn Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 686-699	FinancialAccount est une instance de FinancialAccount minimumBalance FinancialAccount, OpeningAnAccount and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency financial transaction point temporel and nombre r�el financial transaction aboutit � CurrencyFn FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � nombre r�el agreementEffectiveDate FinancialAccount and point temporel la date de financial transaction est point temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 701-714	FinancialAccount est une instance de FinancialAccount minimumBalance FinancialAccount, UsingAnAccount and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency currentAccountBalance FinancialAccount, jour and nombre r�el unit� de mesure(s) nombre r�el est moins que nombre r�el processus processus est une instance de Penalty la date de processus est jour processus aboutit � CurrencyFn FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1411-1421	Loan est une instance de BalloonLoan maturityDate Loan and jour totalBalance Loan and mesure de devise borrower Loan and agent cognitif agent cognitif est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Biography.kif 178-184	baptizeddate humain and jour processus processus est une instance de Baptizing humain exp�rimente processus la date de processus est jour
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24327-24333	birthdate humain and jour processus processus est une instance de naissance humain exp�rimente processus la date de processus est jour
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4031-4036	dateOfStatement BankStatement and jour ContentBearingPhysical ContentBearingPhysical contient information BankStatement la date de ContentBearingPhysical est jour
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24341-24347	deathdate humain and jour processus processus est une instance de mort humain exp�rimente processus la date de processus est jour
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24273-24282	weddingdate humain, humain and jour processus processus est une instance de Wedding humain est un patient de processus humain est un patient de processus humain est humain la date de processus est jour

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