SpeedFn - Sigma Knowledge base Browser

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 6381-6384
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6377-6377	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 6378-6378	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 6376-6376	Speed is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6375-6375	Speed is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6379-6379	The range of speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6374-6374	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 665-665
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54584-54584
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 54583-54583
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54582-54582

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2898-2916	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 10464-10472	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 quantity per an entity holds during the time of existence of the process and the measure of the agent is another quantity per the entity holds during the time of existence of the other process, then the other quantity is greater than the quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 148-157	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 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 4685-4689	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 1726-1744	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 CompositeUnitOfMeasure and an entity is an instance of UnitOfLength and another entity is an instance of UnitOfDuration 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 3774-3776	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 1701-1707	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 13750-13771	If a process is an instance of accelerating and an agent is an agent of the process, then there exist a quantity, another quantity,, , a third quantity,, , a fourth quantity,, , an entity and another entity such that the measure of the agent is the quantity the entity(s) per the third quantity 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 quantity the entity(s) per the fourth quantity the other entity(s) holds during the end of the time of existence of the process and the other quantity is greater than the quantity or the fourth quantity is greater than the third quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13778-13798	If a process is an instance of decelerating and an agent is an agent of the process, then there exist a quantity, another quantity,, , a third quantity,, , a fourth quantity,, , an entity and another entity such that the measure of the agent is the quantity the entity(s) per the third quantity 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 quantity the entity(s) per the fourth quantity the other entity(s) holds during the end of the time of existence of the process and the quantity is greater than the other quantity or the third quantity is greater than the fourth quantity
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 148-157	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 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 4685-4689	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 3778-3780	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 hour duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6399-6401	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 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