TreeView Knowledge Base Browser - HourFn

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 8653-8659
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 8649-8649	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 8650-8650	The number 2 argument of hour is a subclass of day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8647-8647	Hour is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8648-8648	Hour is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8646-8646	Hour is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8651-8651	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 9377-9377	Hour is internally related to hour
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28707-28707
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 28706-28706
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28705-28705
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 273-273

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8665-8670	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 17277-17283	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 the time the time position in zone central time zone is equal to the other time position, 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 17289-17295	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 the time the time position in zone eastern time zone is equal to the other time position, 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 17265-17271	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 the time the time position in zone mountain time zone is equal to the other time position, 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 17253-17259	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 the time the time position in zone pacific time zone is equal to the other time position, 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 8661-8663	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 3691-3711	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 3735-3755	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 8831-8837	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 19122-19129	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 8843-8849	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 19136-19143	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 1867-1876	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 2143-2143

Unix epoch is equal to the second 0

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