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 6686-6689
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 6682-6682	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 6683-6683	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 6681-6681	Speed is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6680-6680	Speed is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6684-6684	The range of speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6679-6679	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 54610-54610
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 54609-54609
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.	terms-de.txt 258-258

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2868-2886	If the maximum speed allowed by a governor is a function quantity and equal a real number miles per hour(s) and a length measure per a time duration and equal another real number miles per hour(s) and another length measure per another time duration and the real number is greater than the other real number and equal the real numberPROB and the probability of the measure of the governor is the real number miles per hour(s) and equal the other real numberPROB and 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 11296-11304	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 5153-5157	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 1858-1876	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 equal another real number and the probability of the measure of the vehicle is a length measure the entity(s) per a time duration the other entity(s) and equal a third real number and 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 4180-4188	If equal a function quantity and a real number nautical mile(s) per another real number hour duration(s), then equal the function quantity and 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 2531-2537	equal a function quantity and a real number miles per hour(s) if and only if equal the function quantity and 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 18530-18551	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 18558-18578	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 5153-5157	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 4190-4196	If equal a function quantity and a real number knot unit of speed(s), then equal the function quantity and the real number nautical mile(s) per 1.0 hour duration(s)
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3018-3032	If a physical is an instance of speedometer, then the physical has the purpose there exist an entity, another entity,, , the physicalPEED,, , a fourth entity,, , the other entityIME and a sixth entity such that the entity is an instance of vehicle and the physical is a part of the entity and the other entity is an instance of translocation and the entity is an instrument for the other entity and the measure of the other entity is the physicalPEED and equal the physicalPEED and the fourth entity per the other entityIME and the sixth entity is an instance of measuring and the physical is an instrument for the sixth entity and the physicalPEED is a measurement reading of the sixth entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6704-6706	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