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 6571-6574
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6567-6567	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 6568-6568	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 6566-6566	Speed is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6565-6565	Speed is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6569-6569	The range of speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6564-6564	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.	domainEnglishFormat.kif 54585-54585
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 54584-54584
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54583-54583

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2884-2902	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 11034-11042	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 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.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 4797-4801	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 3851-3859	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 16586-16607	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 16614-16634	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 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.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 4797-4801	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 3861-3867	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 6589-6591	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