TreeView Knowledge Base Browser - HourDuration

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HourDuration

HourDuration(hour duration)

60_minutes, horary, hour, hr, sidereal_hour

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2580-2580
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7093-7093
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1287-1287
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7092-7092	Hour duration is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7091-7091	Hour duration is an instance of unit of duration

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9342-9342	Hour is internally related to hour duration
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28701-28701
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28700-28700
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28699-28699

antecedent

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

Geography.kif 3929-3937

If a function quantity is equal to a real number nautical mile(s) per another real number hour duration(s),
then the function quantity is equal to the real number and the other real number knot unit of speed(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1702-1708	A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number mile(s) per 1 hour duration(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3939-3945	If a function quantity is equal to a real number knot unit of speed(s), then the function quantity is equal to the real number nautical mile(s) per 1.0 hour duration(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1630-1642	If a process is an instance of flash flooding, then there exist another process and a real number such that the other process is an instance of water motion and the other process causes the process and the time of existence of the other process meets the time of existence of the process and duration of the time of existence of the other process is the real number hour duration(s) and the real number is less than 6.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9346-9348	If a time interval is an instance of hour, then duration of the time interval is 1 hour duration(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1109-1123	If a physical is an instance of heavy raining, then there exist an entity and another entity such that the entity is an instance of region and the physical is located at the entity and the rate of rain in the entity during the time of existence of the physical is the per of the other entity millimeter(s) and 1 hour duration(s) and the other entity is greater than 10.0 and 50.0 is greater than the other entity holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2627-2640	If a physical is an instance of blizzard, then there exist an entity, another entity and a third entity such that the entity is an instance of geographic area and the physical is located at the entity and the other entity knot unit of speed(s) is a surface wind speed of the entity and the other entity is greater than 35.0 and duration of the time of existence of the physical is the third entity hour duration(s) and the third entity is greater than 3 holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2940-2955	If a physical is an instance of snow storm, then there exist an entity, another entity and a third entity such that the entity is an instance of snowing and the other entity is an instance of geographic area and the entity is located at the other entity and the entity is a subprocess of the physical and the rate of snow falling at the other entity during the time of existence of the entity is the per of the third entity centimeter(s) and 1 hour duration(s) and the third entity is greater than 5.0 holds during the time of existence of the physical

statement

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1141-1141	Anthrax disease incubation 1 hour duration(s) for 2 hour duration(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 336-336	Botulism disease incubation 2 hour duration(s) for 8 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7087-7089	A real number day duration(s) is equal to the real number and 24 hour duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7095-7097	A real number hour duration(s) is equal to the real number and 60 minute duration(s)

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