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 7310-7315
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7306-7306	The number 1 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7307-7307	The number 2 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7308-7308	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 7302-7302	distance is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7303-7303	distance is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7304-7304	distance is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7305-7305	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 627-627
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7351-7351	depth is a subrelation of distance
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 622-622
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19928-19928
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19927-19927

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 873-879	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 1355-1373	If a device is an instance of gun and an unit of measure is an instance of UnitOfLength 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 the device is capable of doing the class described by a symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1334-1351	If a device is an instance of gun and an unit of measure is an instance of UnitOfLength 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 the device is capable of doing the class described by a symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1271-1294	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 UnitOfLength 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 the other object is not equal to 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.	Geography.kif 836-849	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 the length measure is equal to the other length measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 862-871	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, then the object is not located at the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 851-860	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, then the object is located at the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10387-10398	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 quantity and the distance between the other object and the third object is a length measure and the quantity is not greater than the length measure, then for all a fourth object if the 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 1234-1254	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 UnitOfLength and the distance between the fourth object and the fifth object is a real number the unit of measure(s) and the other object is not equal to 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 7317-7319	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 4506-4514	Open sea is an attribute of an object if and only if the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between a physical and the object is a real number nautical mile(s) and the real number is greater than 5
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9210-9216	The width of a self connected object is a length measure if and only if there exist another self connected object and a third self connected object such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and 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.	Merge.kif 7344-7349	If the altitude of a self connected object is a physical, 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 a length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7321-7323	If the altitude of a physical is another physical, then the distance between the physical and the other physical is a length measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1893-1901	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 UnitOfLength 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 9218-9223	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.	Cars.kif 1957-1979	If a process is an instance of EngineCycle 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 UnitOfLength and the object is a part of the engine and the object is a patient of the process and the process is located at 2 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.	emotion.kif 1375-1393	If a process is an instance of moving away from people and an agent is an agent of the process, then there exists an entity such that the entity is an instance of human and another entity is an instance of UnitOfLength and the distance between the process and the agent is a quantity 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 another quantity the other entity(s) holds during immediately after the time of existence of the process and the other quantity is greater than the quantity
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1409-1427	If a process is an instance of moving towards people and an agent is an agent of the process, then there exists an entity such that the entity is an instance of human and another entity is an instance of UnitOfLength and the distance between the process and the agent is a quantity 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 another quantity the other entity(s) holds during immediately after the time of existence of the process and the quantity is greater than the other quantity
No TPTP formula. May not be expressible in strict first order.	Military.kif 759-769	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 14242-14259	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 the distance between the agentLOC and the other entity is a third entity a fourth entity(s) and the distance between the agentLOC and the object is a fifth entity the fourth entity(s) and the fifth entity is greater than the third 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 14221-14238	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 the distance between the agentLOC and the other entity is a third entity a fourth entity(s) and the distance between the agentLOC and the object is a fifth entity the fourth entity(s) and the fifth entity is greater than the third entity holds during immediately after the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 693-706	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4494-4498	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 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 UnitOfLength and an entity is a patient of the tremor, then there don't 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 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 1234-1254	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 UnitOfLength and the distance between the fourth object and the fifth object is a real number the unit of measure(s) and the other object is not equal to 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.	Weather.kif 2721-2741	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 2 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 2743-2764	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 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 2 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 2702-2719	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 2 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 7366-7371	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 7317-7319	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1885-1891	If a length measure is an elevation of an object, then there exists another object such that the other object is a proper part of sea level and the object is vertical to the other object and the distance between the object and the other object is the length measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 824-827	If a region is an instance of uniform perimeter area, then there exists a length measure such that the distance between the inner boundary of the region and the outer boundary of the region is the length measure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1419-1439	If The waveHeight of a water wave a length measure., then there exist an object, another object and a third object such that the object is an instance of body of water and the water wave is located at 2 and the other object is a part of the object and the third object is a part of the object and the distance between the other object and the third object is the length measure and there don't exist a fourth object and the fourth objectH such that the fourth object is a part of the object and the altitude of the fourth object is the other object and the fourth objectH is greater than 0 and there don't exist a fifth object and the fifth objectH such that the fifth object is a part of the object and the altitude of the third object is the fifth object and the fifth objectH is greater than 0

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: