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 8730-8736
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1493-1498
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8726-8726	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 8727-8727	The number 2 argument of hour is a subclass of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8724-8724	Hour is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8725-8725	Hour is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8723-8723	Hour is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8728-8728	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 477-477
No TPTP formula. May not be expressible in strict first order.	french_format.kif 272-272
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 133-133
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2062-2062
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 224-224
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 278-278
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 614-614
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 172-172
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 293-293
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 299-299
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 272-272
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9477-9477	Hour is internally related to hour
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28718-28718	Hour is internally related to hour
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 472-472	Hour is internally related to hour
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28717-28717	Hour is internally related to hour
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28716-28716	Hour is internally related to hour
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 191-191	Hour is internally related to hour
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 273-273	Hour is internally related to hour

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8742-8747	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 equal (the other nonnegative integer and the nonnegative integer) and 1, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17381-17387	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and equal the time the time position in zone central time zone and the other time position, then equal the other nonnegative integer and (the nonnegative integer and 6)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17393-17399	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and equal the time the time position in zone eastern time zone and the other time position, then equal the other nonnegative integer and (the nonnegative integer and 5)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17369-17375	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and equal the time the time position in zone mountain time zone and the other time position, then equal the other nonnegative integer and (the nonnegative integer and 7)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17357-17363	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and equal the time the time position in zone pacific time zone and the other time position, then equal the other nonnegative integer and (the nonnegative integer and 8)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8738-8740	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 3709-3729	If an agent is a day phone of a symbolic string, then there exist a telephone, an entity and a real number such that the telephone is a phone number of the symbolic string and the real number is greater than 6 and the real number is less than 18 and there exists another entity such that the other entity is an instance of telephoning and the other entity ends up at the agent and the telephone is a patient of the other entity and the agent possesses the telephone and the statement there exists a third entity such that the third entity is an instance of answering and the third entity is a subprocess of the other entity and the agent is an agent of the third entity has the modal force of likely holds during the entity is an instance of the hour the real number
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3753-3773	If an agent is an evening phone of a symbolic string, then there exist a telephone, an entity and a real number such that the telephone is a phone number of the symbolic string and the real number is greater than 18 and the real number is less than 6 and there exists another entity such that the other entity is an instance of telephoning and the other entity ends up at the agent and the telephone is a patient of the other entity and the agent possesses the telephone and the statement there exists a third entity such that the third entity is an instance of answering and the third entity is a subprocess of the other entity and the agent is an agent of the third entity has the modal force of likely holds during the entity is an instance of the hour the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8908-8914	If a time interval is an instance of afternoon, then there exist another time interval and a kind of day 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 20666-20673	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 0 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 8920-8926	If a time interval is an instance of morning, then there exist another time interval and a kind of day 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 20680-20687	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 23 and the third time interval finishes the time interval
No TPTP formula. May not be expressible in strict first order.	Food.kif 1873-1882	If a time interval is an instance of lunch time, then there exist another time interval, a third time interval and a kind of day 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 2275-2275

equal unix epoch and 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