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 8646-8648
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 8642-8642	The number 1 argument of date is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8643-8643	The number 2 argument of date is an instance of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8640-8640	date is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8641-8641	date is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8644-8644	date is a subrelation of 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 18614-18614
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18613-18613
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 178-178
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 15650-15667	If edition a positive integer of a kind of content bearing object is equal to another kind of content bearing object and edition another positive integer of a kind of content bearing object is equal to a third kind of content bearing object and the other positive integer is greater than the positive integer and a process is an instance of publication and another process is an instance of publication and an entity is an instance of another kind of content bearing object and another entity is an instance of a third kind of content bearing object and the entity is a patient of the process and the other entity is a patient of the other process and date of the process is a day and date of the other process is another day, then the end of the day happens before the end of the other day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1089-1101	If a financial account is an instance of certificate of deposit and a day is a maturity date of the financial account and a process is an instance of withdrawing from an account and the process originates at the currency of the financial account and date of the process is another day and the end of the other day happens before the beginning of the day, then there exists another process such that the other process is an instance of penalizing and the other process ends up at the currency of the financial account and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3856-3870	If a financial transaction is an instance of financial transaction and the financial transaction originates at the currency of a financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the unit of measure is an instance of unit of currency and an entity is an instance of currency and the entity is a patient of the financial transaction and date of the financial transaction is a day, then there exists another real number such that the available cash of the financial account on the day is the other real number the unit of measure(s) and the real number is greater than or equal to the other real number
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3833-3845	If a financial transaction is an instance of financial transaction and the financial transaction originates at a financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the unit of measure is an instance of unit of currency and date of the financial transaction is a day, then there exists another real number such that the available balance of the financial account on the day is the other real number the unit of measure(s) and the real number is greater than or equal to the other real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25844-25855	If a physical is an instance of wedding and date of the physical is a day and the day is an instance of the day a positive integer of month the month a kind of month, then there exist another kind of day and an integer such that wedding anniversary the physical and another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and the other kind of day is equal to the day the positive integer of month the month a kind of month and the integer is greater than another integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15995-16009	If a kind of series is a subclass of periodical and volume a positive integer in the series a kind of series is equal to a kind of text and volume another positive integer in the series the kind of series is equal to another kind of text and the other positive integer is greater than the positive integer and a process is an instance of publication and another process is an instance of publication and an entity is an instance of a kind of text and another entity is an instance of another kind of text and the entity is a patient of the process and the other entity is a patient of the other process and date of the process is a day and date of the other process is another day, then the end of the day happens before the end of the other day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 836-844	If a currency measure is a transaction amount of a financial transaction and date of the financial transaction is a day and a financial account is an instance of financial account and the financial transaction ends up at the currency of the financial account and the financial account amount due the currency measure for a time interval and the end of the day happens before the beginning of the time interval, then the financial transaction is an instance of prepayment

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 657-669	If a financial account amount due a currency measure for a time position and a cognitive agent holds account the financial account, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 809-818	If a currency measure is a down payment of a loan and a time point is an agreement effective date of the loan, then there exists a financial transaction such that the currency measure is a transaction amount of the financial transaction and date of the financial transaction is the time point and the financial transaction ends up at the currency of the loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 688-701	If a financial account is an instance of financial account and the financial account is minimum balance opening an account for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency, then there exist a financial transaction, a time point and another real number such that the financial transaction ends up at the currency of the financial account and the other real number the unit of measure(s) is a transaction amount of the financial transaction and the other real number is greater than or equal to the real number and the time point is an agreement effective date of the financial account and date of the financial transaction is the time point
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 703-716	If a financial account is an instance of financial account and the financial account is minimum balance using an account for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency and the financial account current account balance a day for another real number the unit of measure(s) and the other real number is less than the real number, then there exists a process such that the process is an instance of penalizing and date of the process is the day and the process ends up at the currency of the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1427-1437	If a loan is an instance of balloon loan and a day is a maturity date of the loan and a currency measure is a total balance of the loan and the loan is the borrower of a cognitive agent, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Biography.kif 183-189	If a human was baptizing on a day, then there exists a process such that the process is an instance of baptizing and the human experiences the process and date of the process is the day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25919-25925	If a day is a birthdate of a human, then there exists a process such that the process is an instance of birth and the human experiences the process and date of the process is the day
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4049-4054	If a day is a date of statement of a bank statement, then there exists a content bearing physical such that the content bearing physical contains information the bank statement and date of the content bearing physical is the day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25948-25954	If a day is a deathdate of a human, then there exists a process such that the process is an instance of death and the human experiences the process and date of the process is the day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25865-25874	If a human and another human were married on a day, then there exists a process such that the process is an instance of wedding and the human is a patient of the process and the other human is a patient of the process and the human is not equal to the other human and date of the process is the day

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