HourFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HourFn

HourFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2764-2768
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8106-8112
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8102-8102	The number 1 argument of hour is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8103-8103	The number 2 argument of hour is a subclass of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8100-8100	Hour is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8101-8101	Hour is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8099-8099	Hour is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8104-8104	The values returned by hour are subclasses of hour

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 471-471
No TPTP formula. May not be expressible in strict first order.	english_format.kif 480-480
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8814-8814	Hour is internally related to hour
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28698-28698
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 472-472
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28697-28697
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28696-28696

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8118-8123	If a time interval is an instance of the hour a nonnegative integer and another time interval is an instance of the hour another nonnegative integer and (the other nonnegative integer and the nonnegative integer) is equal to 1, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8114-8116	If an entity is an instance of the hour a nonnegative integer, then the nonnegative integer is less than 24

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3632-3640	If an agent is a day phone of a symbolic string and a kind of day is an instance of day, then there exists a telephone such that the telephone is a phone number of the symbolic string and the agent possesses the telephone holds during the hour the symbolic string and the symbolic string is less than 18
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3649-3657	If an agent is an evening phone of a symbolic string and a kind of day is an instance of day, then there exists a telephone such that the telephone is a phone number of the symbolic string and the agent possesses the telephone holds during the hour the symbolic string and the symbolic string is greater than 18
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8284-8289	If a time interval is an instance of afternoon, then there exists another time interval such that the other time interval is an instance of the hour 12 and the other time interval starts the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15634-15641	If a time interval is an instance of ante meridiem, then there exist a kind of day, another time interval and a third time interval such that the other time interval is an instance of the hour 24 and the other time interval starts the time interval and the third time interval is an instance of the hour 12 and the third time interval finishes the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8295-8300	If a time interval is an instance of morning, then there exists another time interval such that the other time interval is an instance of the hour 12 and the other time interval finishes the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15648-15655	If a time interval is an instance of post meridiem, then there exist a kind of day, another time interval and a third time interval such that the other time interval is an instance of the hour 12 and the other time interval starts the time interval and the third time interval is an instance of the hour 24 and the third time interval finishes the time interval
No TPTP formula. May not be expressible in strict first order.	Food.kif 213-222	If a time interval is an instance of lunch time, then there exist another time interval and a third time interval such that the time interval takes place during interval between the beginning of the other time interval and the end of the third time interval and the other time interval is an instance of the hour 11 and the third time interval is an instance of the hour 15

statement

No TPTP formula. May not be expressible in strict first order.

QoSontology.kif 2149-2149

Unix epoch is equal to the second 0

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