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 8292-8298
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8288-8288	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 8289-8289	The number 2 argument of hour is a subclass of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8286-8286	Hour is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8287-8287	Hour is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8285-8285	Hour is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8290-8290	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.	Merge.kif 9002-9002	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 8304-8309	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 16588-16600	If the time the hour a nonnegative integer in zone central time zone is equal to the hour another nonnegative integer, then the other nonnegative integer is equal to (the nonnegative integer and 6)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16606-16618	If the time the hour a nonnegative integer in zone eastern time zone is equal to the hour another nonnegative integer, then the other nonnegative integer is equal to (the nonnegative integer and 5)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16570-16582	If the time the hour a nonnegative integer in zone mountain time zone is equal to the hour another nonnegative integer, then the other nonnegative integer is equal to (the nonnegative integer and 7)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16552-16564	If the time the hour a nonnegative integer in zone pacific time zone is equal to the hour another nonnegative integer, then the other nonnegative integer is equal to (the nonnegative integer and 8)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8300-8302	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 3656-3664	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 3673-3681	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 8470-8476	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 18419-18426	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 8482-8488	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 18433-18440	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 195-204	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