distance - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2655-2657
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7766-7771
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1372-1375
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7762-7762	The number 1 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7763-7763	The number 2 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7764-7764	The number 3 argument of distance is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7758-7758	distance is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7759-7759	distance is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7760-7760	distance is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7761-7761	distance is an instance of total valued relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 621-621
No TPTP formula. May not be expressible in strict first order.	english_format.kif 624-624
No TPTP formula. May not be expressible in strict first order.	french_format.kif 375-375
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 78-78
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2109-2109
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 327-327
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 112-112
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 815-815
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 118-118
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 397-397
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 417-417
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 171-171
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7807-7807	depth is a subrelation of distance
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 622-622	depth is a subrelation of distance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19946-19946	depth is a subrelation of distance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19945-19945	depth is a subrelation of distance
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 241-241	depth is a subrelation of distance
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 172-172	depth is a subrelation of distance

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27362-27374	If a real number an unit of measure(s) is the distance of the parallelLinesInSpace a line in space and another line in space and the unit of measure is an instance of unit of length and the line in space and the other line in space are parallel and an object is a part of the line in space and the object is an instance of point in space and another object is a part of the other line in space and the other object is an instance of point in space and the distance between the object and the other object is another real number the unit of measure(s), then the real number is less than or equal to the other real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1006-1012	If an object is an instance of the maritime claims territorial sea of a region and the width of the object is a real number an unit of measure(s) and the distance between a physical and the region is another real number the unit of measure(s) and the other real number is less than or equal to the real number, then the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1634-1653	If a device is an instance of gun and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an effective range of the device and the distance between the device and an object is the real number1 the unit of measure(s) and the object is an instance of organism and there doesn't exist the object2 such that the object2 is between the object and the device and the real number1 is less than or equal to the real number, then there exists a symbolic string such that the device is capable of doing the class described by the symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1612-1630	If a device is an instance of gun and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an effective range of the device and the distance between the device and an object is the real number1 the unit of measure(s) and there doesn't exist the object2 such that the object2 is between the object and the device and the real number1 is less than or equal to the real number, then there exists a symbolic string such that the device is capable of doing the class described by the symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1549-1572	If an object is an instance of lever and a process is an instance of pushing and a physical is an instance of motion and an unit of measure is an instance of unit of length and the process ends up at another object and one end of the object is the other object and one end of the object is a third object and equal the other object and the third object and the other object is located at the process1 holds during immediately before the time of existence of the physical and the other object is located at the process2 holds during immediately after the time of existence of the physical and the third object is located at the process3 holds during immediately before the time of existence of the physical and the third object is located at the process4 holds during immediately after the time of existence of the physical and the distance between the process1 and the process2 is a real number the unit of measure(s) and the distance between the process3 and the process4 is another real number the unit of measure(s), then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27321-27336	If a point in space is an instance of point in space and another point in space is an instance of point in space and equal the point in space and the other point in space and a finite line in space is an instance of finite line in space and the point in space is a part of the finite line in space and the other point in space is a part of the finite line in space and the point in space and the other point in space are end points of the finite line in space and the length of the finite line in space is a real number an unit of measure(s) and the unit of measure is an instance of unit of length and the distance between the point in space and the other point in space is another real number the unit of measure(s), then equal the real number and the other real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 969-982	If a region is an instance of uniform perimeter area and an object is a part of the inner boundary of the region and another object is a part of the outer boundary of the region and the distance between the object and the other object is a length measure and a third object is a part of the inner boundary of the region and a fourth object is a part of the outer boundary of the region and the distance between the third object and the fourth object is another length measure, then equal the length measure and the other length measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 995-1004	If an object is outside to a region and another object is an instance of the perimeter area of the region and the other object is an instance of uniform perimeter area and the width of the other object is a real number an unit of measure(s) and the distance between the object and the region is another real number the unit of measure(s) and the unit of measure is an instance of unit of measure and (the other real number and the real number) is greater than 0.0, then the object is not located at the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 984-993	If an object is outside to a region and another object is an instance of the perimeter area of the region and the other object is an instance of uniform perimeter area and the width of the other object is a real number an unit of measure(s) and the distance between the object and the region is another real number the unit of measure(s) and the unit of measure is an instance of unit of measure and (the other real number and the real number) is less than or equal to 0.0, then the object is located at the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11220-11230	If an object is path along which a motion occurs and the motion originates at another object and the motion ends up at a third object and the length of the object is a real number an unit of measure(s) and the distance between the other object and the third object is another real number the unit of measure(s) and the real number is not greater than the other real number and a fourth object is a part of the object, then the fourth object is between the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1512-1532	If one end of an object is another object and one end of the object is a third object and a fourth object is a part of the other object and a fifth object is a part of the third object and an unit of measure is an instance of unit of length and the distance between the fourth object and the fifth object is a real number the unit of measure(s) and equal the other object and the third object, then there don't exist the objectP1, the objectP2 and another real number such that the objectP1 is not a part of the other object and the objectP2 is not a part of the third object and the distance between the objectP1 and the objectP2 is the other real number the unit of measure(s) and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18133-18148	If one end of an object is another object and one end of the object is a third object and equal the other object and the third object and the distance between the other object and the third object is a real number an unit of measure(s), then there don't exist the objectP1, the objectP2 and another real number such that one end of the object is the objectP1 and one end of the object is the objectP2 and equal the objectP1 and the objectP2 and the distance between the objectP1 and the objectP2 is the other real number the unit of measure(s) and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18089-18114	If the relative angle between an object and another object is a real number and one end of the object is a third object and one end of the object is a fourth object and equal the third object and the fourth object and the length of the object is the real number1 an unit of measure(s) and the length of the other object is the real number2 the unit of measure(s) and the distance between the third object and a fifth object is the real number3 the unit of measure(s) and one end of the other object is the fifth object and one end of the other object is a sixth object and equal the fifth object and the sixth object and the third object doesn't meet the fifth object, then equal the real number and the arccosine of ((the real number3 and the real number3 and the real number1 and the real number1) and the real number2 and the real number2) and 2.0 and the real number1 and the real number2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9907-9912	If a side of a self connected object is another self connected object and a side of the self connected object is a third self connected object and the distance between the other self connected object and the third self connected object is a length measure, then the width of the self connected object is the length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7773-7775	If the distance between a physical and another physical is a length measure, then the distance between the other physical and the physical is the length measure

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4918-4927	Open sea is an attribute of an object if and only if there exist a physical and a real number such that the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between the physical and the object is the real number nautical mile(s) and the real number is greater than 5.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7800-7805	If the altitude of a self connected object relative to a physical is a length measure, then there exists another self connected object such that the top of the self connected object is the other self connected object and the distance between the other self connected object and the physical is the length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7777-7779	If the altitude of a physical relative to another physical is a length measure, then the distance between the physical and the other physical is the length measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2047-2055	If a real number an unit of measure(s) is an elevation of a self connected object and the unit of measure is an instance of unit of length and the self connected object is an instance of land form, then there exists another self connected object such that the top of the self connected object is the other self connected object and the distance between the other self connected object and sea level is the real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9914-9919	If the height of a self connected object is a length measure and the top of the self connected object is another self connected object and the bottom of the self connected object is a third self connected object, then the distance between the other self connected object and the third self connected object is the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27453-27467	If a self connected object is an instance of astronomical body and the approximate diameter of the self connected object is a real number an unit of measure(s) and the unit of measure is an instance of unit of length and an object is an instance of point in space and the object is a part of the self connected object, then there exists a point in space such that equal the point in space and the centre of AstronomicalBody the self connected object is and the distance between the point in space and the object is the real number and 2.0 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1927-1949	If a process is an instance of engine cycle and an engine is an instance of internal combustion engine and an object is an instance of piston and an unit of measure is an instance of unit of length and the object is a part of the engine and the object is a patient of the process and the process is located at the engine and the maximum distance that the pistons of engine the engine travel is a real number the unit of measure(s), then there don't exist a time interval, another time interval,, , a physical,, , another physical and another real number such that the time interval takes place during the time of existence of the process and the other time interval takes place during the time of existence of the process and the object is located at the physical holds during the time interval and the object is located at the other physical holds during the other time interval and the distance between the physical and the other physical is the other real number the unit of measure(s) and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33729-33749	If a motion is an instance of moving away from and an object is an instance of object and an entity is an instance of object and the object is a patient of the motion and the entity is a patient of the motion, then there exist the entity, a real number,, , another real number and another entity such that the real number is an instance of real number and the other real number is an instance of real number and the object moves during the motion and the distance between the object and the entity is the real number the other entity(s) holds during the beginning of the time of existence of the motion and the distance between the object and the entity is the other real number the other entity(s) holds during the end of the time of existence of the motion and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33756-33776	If a motion is an instance of moving towards and an object is an instance of object and an entity is an instance of object and the entity is a patient of the motion and the object is a patient of the motion, then there exist the entity, a real number and another real number such that the real number is an instance of real number and the other real number is an instance of real number and the object moves during the motion and the distance between the object and the entity is the real number another entity(s) holds during the beginning of the time of existence of the motion and the distance between the object and the entity is the other real number the other entity(s) holds during the end of the time of existence of the motion and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1393-1411	If a process is an instance of moving away from people and an agent is an agent of the process, then there exist an entity, another entity,, , a real number and another real number such that the entity is an instance of human and the other entity is an instance of unit of length and the distance between the process and the agent is the real number the other entity(s) holds during immediately before the time of existence of the process and the distance between the process and the agent is the other real number the other entity(s) holds during immediately after the time of existence of the process and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1427-1445	If a process is an instance of moving towards people and an agent is an agent of the process, then there exist an entity, another entity,, , a real number and another real number such that the entity is an instance of human and the other entity is an instance of unit of length and the distance between the process and the agent is the real number the other entity(s) holds during immediately before the time of existence of the process and the distance between the process and the agent is the other real number the other entity(s) holds during immediately after the time of existence of the process and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Military.kif 836-846	If a process is an instance of pulling and an agent is an agent of the process and the processULLED is a patient of the process and the process ends up at another entity, then the distance between the agent and the other entity is a third entity and the distance between the processULLED and the other entity is a fourth entity and the fourth entity is greater than the third entity holds during the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19189-19207	If a time interval is an instance of pulling and the time interval originates at an object and an agent is an agent of the time interval and the agent is located at the agentLOC holds during the beginning of the time interval and the time interval ends up at another entity, then there exist a third entity, a fourth entity and a fifth entity such that the distance between the agentLOC and the other entity is the fifth entity the fourth entity(s) and the distance between the agentLOC and the object is the third entity the fourth entity(s) and the third entity is greater than the fifth entity holds during immediately after the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19167-19185	If a time interval is an instance of pushing and the time interval originates at an object and an agent is an agent of the time interval and the agent is located at the agentLOC holds during the beginning of the time interval and the time interval ends up at another entity, then there exist a third entity, a fourth entity and a fifth entity such that the distance between the agentLOC and the other entity is the fifth entity the fourth entity(s) and the distance between the agentLOC and the object is the third entity the fourth entity(s) and the third entity is greater than the fifth entity holds during immediately after the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 677-690	If a process is an instance of tropical cyclone and the process ends up at a physical and the physical is an instance of geographic area, then there don't exist an object, another physical and a real number such that the object is an instance of land area and the other physical is an instance of shoreline and the physical is located at the object and the distance between the object and the other physical is the real number mile(s) and the real number is greater than 200.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4904-4910	If antarctic circumpolar current originates at an object and antarctic circumpolar current ends up at a physical, then the distance between the object and the physical is 21000.0 1 thousand meters(s)
No TPTP formula. May not be expressible in strict first order.	Cars.kif 751-768	If the amplitude a tremor is a real number an unit of measure(s) and the unit of measure is an instance of unit of length and an entity is a patient of the tremor, then there don't exist a physical, another physical,, , the tremor1,, , the tremor2 and the real number2 such that the tremor1 takes place during the time of existence of the tremor and the tremor2 takes place during the time of existence of the tremor and the entity is located at the physical holds during the tremor1 and the entity is located at the other physical holds during the tremor2 and the distance between the physical and the other physical is the real number2 the unit of measure(s) and the real number2 is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 737-749	If the amplitude a tremor is a length measure and an entity is a patient of the tremor, then there exist a physical, another physical,, , the tremor1 and the tremor2 such that the tremor1 takes place during the time of existence of the tremor and the tremor2 takes place during the time of existence of the tremor and the entity is located at the physical holds during the tremor1 and the entity is located at the other physical holds during the tremor2 and the distance between the physical and the other physical is the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1512-1532	If one end of an object is another object and one end of the object is a third object and a fourth object is a part of the other object and a fifth object is a part of the third object and an unit of measure is an instance of unit of length and the distance between the fourth object and the fifth object is a real number the unit of measure(s) and equal the other object and the third object, then there don't exist the objectP1, the objectP2 and another real number such that the objectP1 is not a part of the other object and the objectP2 is not a part of the third object and the distance between the objectP1 and the objectP2 is the other real number the unit of measure(s) and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18133-18148	If one end of an object is another object and one end of the object is a third object and equal the other object and the third object and the distance between the other object and the third object is a real number an unit of measure(s), then there don't exist the objectP1, the objectP2 and another real number such that one end of the object is the objectP1 and one end of the object is the objectP2 and equal the objectP1 and the objectP2 and the distance between the objectP1 and the objectP2 is the other real number the unit of measure(s) and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3413-3433	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure and the time interval is an instance of day time and a process is an instance of looking and an object is an instance of object and the object is the color black and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at the region and the time of existence of the process takes place during the time interval and the object is an instance of object, then there exists another real number such that the distance between the agent and the object is the other real number the unit of measure(s) and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3435-3456	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure and the time interval is an instance of night time and a process is an instance of looking and an object is an instance of region and illuminated is an attribute of the object and the measure of the object is 1000.0 candela(s) and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at the region and the time of existence of the process takes place during the time interval and the object is an instance of object, then there exists another real number such that the distance between the agent and the object is the other real number the unit of measure(s) and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3394-3411	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure, then there don't exist a process, an agent,, , an object and another real number such that the process is an instance of looking and the agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the time of existence of the process takes place during the time interval and the process is located at the region and the distance between the agent and the object is the other real number the unit of measure(s) and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7825-7830	If the depth from a self connected object to a physical is a length measure, then there exists another self connected object such that the bottom of the self connected object is the other self connected object and the distance between the other self connected object and the physical is the length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7773-7775	If the distance between a physical and another physical is a length measure, then the distance between the other physical and the physical is the length measure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: