TreeView 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 7720-7725
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 7716-7716	The number 1 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7717-7717	The number 2 argument of distance is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7718-7718	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 7712-7712	distance is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7713-7713	distance is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7714-7714	distance is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7715-7715	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 7761-7761	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 19937-19937
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19936-19936
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 172-172

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 874-880	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 1410-1429	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 1388-1406	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 1325-1348	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 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 837-850	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 863-872	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 852-861	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 11116-11126	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 1288-1308	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 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 18026-18041	If one end of an object is another object and one end of the object is a third object and the other object is not equal to 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 the objectP1 is not equal to 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 17985-18010	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 the third object is not equal to 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 the fifth object is not equal to the sixth object and the third object doesn't meet the fifth object, then the real number is equal to 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 9805-9810	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 7727-7729	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 4711-4720	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 7754-7759	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 7731-7733	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 1922-1930	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 9812-9817	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 1926-1948	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.	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 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 17665-17683	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 17643-17661	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 4697-4703	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 1288-1308	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 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 18026-18041	If one end of an object is another object and one end of the object is a third object and the other object is not equal to 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 the objectP1 is not equal to 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 2711-2731	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 2733-2754	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 2692-2709	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 7776-7781	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 7727-7729	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 1914-1920	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 825-828	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 1404-1424	If The waveHeight of a water wave a length measure., then there exist an object, another object,, , a third object and an unit of measure such that the object is an instance of body of water and the water wave is located at the object 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.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.0

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: