SpeedFn


Sigma KEE  SpeedFn
appearance as argument number 1


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

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

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 65616561 
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 65626562 
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 65606560 
Speed is an instance of binary function 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 65596559 
Speed is an instance of total valued relation 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 65636563 
The range of speed is an instance of function quantity 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 65586558 
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 659659 

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

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

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

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

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

antecedent


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

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

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

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

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

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

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

consequent


No TPTP formula. May not be expressible in strict first order. 
Weather.kif 17011707 
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. 
Midlevelontology.kif 1656216583 
 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. 
Midlevelontology.kif 1659016610 
 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 125130 

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

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

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

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)
