TreeView Knowledge Base Browser - SpeedFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - SpeedFn

SpeedFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2483-2485
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6662-6665
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1178-1180
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6658-6658	The number 1 argument of speed is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6659-6659	The number 2 argument of speed is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6657-6657	Speed is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6656-6656	Speed is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6660-6660	The range of speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6655-6655	Speed is a subrelation of per

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 659-659
No TPTP formula. May not be expressible in strict first order.	english_format.kif 662-662
No TPTP formula. May not be expressible in strict first order.	french_format.kif 396-396
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 267-267
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2126-2126
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 348-348
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 862-862
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 304-304
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 418-418
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 439-439
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 459-459
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54608-54608
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 660-660
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54607-54607
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54606-54606

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2867-2885	If the maximum speed allowed by a governor is a function quantity and a real number miles per hour(s) is equal to a length measure per a time duration and another real number miles per hour(s) is equal to another length measure per another time duration and the real number is greater than the other real number and the real numberPROB is equal to the probability of the measure of the governor is the real number miles per hour(s) and the other real numberPROB is equal to the probability of the measure of the governor is the other real number miles per hour(s), then the other real numberPROB is greater than the real numberPROB
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11192-11200	If a process is an instance of walking and another process is an instance of running and an agent is an agent of the process and the agent is an agent of the other process and the measure of the agent is a real number per an entity holds during the time of existence of the process and the measure of the agent is another real number per the entity holds during the time of existence of the other process, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 136-145	If an object is an instance of wind flow and another object is an instance of object and the object is partly located in the other object and a real number foot length(s) is an elevation of the object and the real number is less than or equal to 500.0 and the measure of the object is a length measure per a time duration, then the length measure per the time duration is a surface wind speed of the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4899-4903	If the measure of the flow of a substance is a length measure per a time duration and another substance is a piece of the substance, then the other substance is a piece of the length measure per the time duration
No TPTP formula. May not be expressible in strict first order.	Weather.kif 115-123	If a region is surface wind velocity a length measure per a time duration for a directional attribute and the region is an instance of wind flow, then there exists a process such that the process is an instance of wind and the process is partly located at the region and the measure of the process is the length measure per the time duration in the region in the direction the directional attribute
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1718-1736	If the top speed of a vehicle is a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure and an entity is an instance of unit of length and another entity is an instance of unit of duration and another real number is equal to the probability of the measure of the vehicle is a length measure the entity(s) per a time duration the other entity(s) and a third real number is equal to the probability of the measure of the vehicle is another length measure the entity(s) per another time duration the other entity(s) and the length measure per the time duration is greater than the real number and the real number is greater than the other length measure per the other time duration, then the third real number is greater than the other real number
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 1685-1691	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.	Mid-level-ontology.kif 17170-17191	If a process is an instance of accelerating and an agent is an agent of the process, then there exist a real number, another real number,, , a third real number,, , a fourth real number,, , an entity and another entity such that the measure of the agent is the real number the entity(s) per the third real number the other entity(s) holds during the beginning of the time of existence of the process and the measure of the agent is the other real number the entity(s) per the fourth real number the other entity(s) holds during the end of the time of existence of the process and the other real number is greater than the real number or the fourth real number is greater than the third real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17198-17218	If a process is an instance of decelerating and an agent is an agent of the process, then there exist a real number, another real number,, , a third real number,, , a fourth real number,, , an entity and another entity such that the measure of the agent is the real number the entity(s) per the third real number the other entity(s) holds during the beginning of the time of existence of the process and the measure of the agent is the other real number the entity(s) per the fourth real number the other entity(s) holds during the end of the time of existence of the process and the real number is greater than the other real number or the third real number is greater than the fourth real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 125-130	If a region is an instance of object and a physical is an instance of wind and the measure of the physical is a length measure per a time duration in the region in the direction a directional attribute, then the region is surface wind velocity the length measure per the time duration for the directional attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 136-145	If an object is an instance of wind flow and another object is an instance of object and the object is partly located in the other object and a real number foot length(s) is an elevation of the object and the real number is less than or equal to 500.0 and the measure of the object is a length measure per a time duration, then the length measure per the time duration is a surface wind speed of the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4899-4903	If the measure of the flow of a substance is a length measure per a time duration and another substance is a piece of the substance, then the other substance is a piece of the length measure per the time duration
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.	Merge.kif 6680-6682	If the measure of a physical is a length measure per a time duration in a region in the direction a directional attribute, then the measure of the physical is the length measure per the time duration

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