path - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3000-3001
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11201-11203
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1762-1764
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11198-11198	The number 1 argument of path is an instance of motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11199-11199	The number 2 argument of path is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11193-11193	path is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11194-11194	path is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11197-11197	path is a subrelation of event partly located

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 575-575
No TPTP formula. May not be expressible in strict first order.	english_format.kif 580-580
No TPTP formula. May not be expressible in strict first order.	french_format.kif 341-341
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 216-216
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2097-2097
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 293-293
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 349-349
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 755-755
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 254-254
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 363-363
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 378-378
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 408-408
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 576-576
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44796-44796
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44795-44795
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 227-227

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31431-31440	If an object is between another object and a third object on path a fourth object and a transfer is an instance of transfer and the fourth object is path along which the transfer occurs and the transfer originates at the other object and the transfer ends up at the third object, then the other object before the object on path the fourth object during the transfer and the object before the third object on path the fourth object during the transfer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1422-1432	If an object is an instance of wireless network and a motion is an instance of network communication and the object is an instrument for the motion and another object is path along which the motion occurs, then there exists a third object such that the third object is a part of the other object and the third object is not an instance of cable
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 610-620	If a process is an instance of cardio pulmonary resuscitation and a motion is an instance of compressing and an object is path along which the motion occurs and the motion is a subprocess of the process and the length of the object is a real number centimeter(s), then the real number is greater than 5.0 and the real number is less than 6.0
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3954-3964	If an object is an instance of electromagnet and a transfer is an instance of transfer and another object is an instance of electricity and the object transferred in the transfer is the other object and the object is path along which the transfer occurs, then there exists a process such that the process is an instance of magnetism and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3966-3982	If an entity is an instance of electromagnet and there exist another entity and a third entity such that the other entity is an instance of transfer and the third entity is an instance of electricity and the object transferred in the other entity is the third entity and the entity is path along which the other entity occurs doesn't hold during the other entity1, then there exists a fourth entity such that the fourth entity is an instance of magnetism and the entity is an instrument for the fourth entity doesn't hold during the other entity1
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1070-1090	If an object is an instance of fuel pump and another object is an instance of automobile and the object is a part of the other object and a motion is an instance of transportation and a process is an instance of fuel and the process is a patient of the motion and the object is an instrument for the process and a third object is an instance of gas tank and the third object is a part of the other object and a fourth object is an instance of engine cylinder and the fourth object is a part of the other object and the motion originates at the third object and the motion ends up at the fourth object and a fifth object is path along which the motion occurs, then the motion has the purpose there exists the processF such that the processF is an instance of fuel filter and the processF is between the third object and the fourth object on path the fifth object
No TPTP formula. May not be expressible in strict first order.	Sports.kif 307-314	If a motion is an instance of half_marathon and an agent is an agent of the motion and a transitway is path along which the motion occurs and the distance of the transitway is a real number mile(s), then the real number is equal to 13.1
No TPTP formula. May not be expressible in strict first order.	Sports.kif 293-300	If a motion is an instance of marathon and an agent is an agent of the motion and a transitway is path along which the motion occurs and the distance of the transitway is a real number mile(s), then the real number is equal to 26.2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2970-2996	If an object is an instance of odometer and another object is an instance of vehicle and the object is a part of the other object and a motion is an instance of translocation and the other object is an instrument for the motion and a transitway is path along which the motion occurs and the distance of the transitway is a real number an unit of measure(s) and the unit of measure is an instance of length measure, then the object has the purpose there exist an entity, another entity,, , the real numberIST and the unit of measure such that the entity is an instance of measuring and the object is an instrument for the entity and the real numberIST is a measurement reading of the object and the real number is a member of the other entity and the real numberIST is equal to the sum of the other entity the unit of measure(s) and reset measuring device is not an attribute of the object holds during the time of existence of the end of the entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3616-3630	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of aircraft and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of rail vehicle or the other object is an instance of water vehicle or the other object is an instance of road vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3584-3598	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of rail vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of road vehicle or the other object is an instance of water vehicle or the other object is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3568-3582	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of road vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of rail vehicle or the other object is an instance of water vehicle or the other object is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3600-3614	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of water vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of rail vehicle or the other object is an instance of road vehicle or the other object is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3550-3561	If a transit system is an instance of uni modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of aircraft and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3524-3535	If a transit system is an instance of uni modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of rail vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of rail vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3511-3522	If a transit system is an instance of uni modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of road vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of road vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3537-3548	If a transit system is an instance of uni modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of water vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1259-1263	If a motion is an instance of air transportation and an object is path along which the motion occurs, then the object is an instance of air transitway
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19352-19356	If a motion is an instance of land transportation and an object is path along which the motion occurs, then the object is an instance of land transitway
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4107-4122	If an object is an instance of tailpipe and the objectR is an instance of transfer and an entity is an instance of exhaust and another object is an instance of automobile and the other objectES is an instance of exhaust system and the object is a part of the other object and the object is path along which the objectR occurs and the entity is a patient of the objectR, then the object has the purpose there doesn't exist a third entity such that the third entity is a part of the other object and the object before the third entity on path the other objectES during the objectR
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3820-3840	If a transportation is an instance of transportation and an object is an instance of transitway and the object is path along which the transportation occurs and a transportation device is a conveyance during the transportation and another object is an instance of transitway junction and the other object is a part of the object, then there exist a third object and another transportation such that the third object is an instance of transitway and the object is not equal to the third object and the other object connects the object and the third object and the other object is capable of doing transfer as a path and the other transportation is an instance of transfer and the transportation device is a conveyance during the other transportation and the time of existence of the transportation meets the time of existence of the other transportation and the statement the third object is path along which the other transportation occurs has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11205-11215	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.	Transportation.kif 3945-3957	If a transitway can handle a nonnegative integer number of vehicles during a time interval and the transitway is an instance of air transitway and a collection is an instance of collection and aircraft is a member type of the collection and the nonnegative integer2 is a member count of the collection and an object is a member of the collection and a motion is an instance of transportation and the object is an instrument for the motion and the time of existence of the motion takes place during the time interval and the transitway is path along which the motion occurs, then the nonnegative integer is greater than or equal to the nonnegative integer2
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3917-3929	If a transitway can handle a nonnegative integer number of vehicles during a time interval and the transitway is an instance of land transitway and a collection is an instance of collection and land vehicle is a member type of the collection and the nonnegative integer2 is a member count of the collection and an object is a member of the collection and a motion is an instance of transportation and the object is an instrument for the motion and the time of existence of the motion takes place during the time interval and the transitway is path along which the motion occurs, then the nonnegative integer is greater than or equal to the nonnegative integer2
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3931-3943	If a transitway can handle a nonnegative integer number of vehicles during a time interval and the transitway is an instance of waterway and a collection is an instance of collection and water vehicle is a member type of the collection and the nonnegative integer2 is a member count of the collection and an object is a member of the collection and a motion is an instance of transportation and the object is an instrument for the motion and the time of existence of the motion takes place during the time interval and the transitway is path along which the motion occurs, then the nonnegative integer is greater than or equal to the nonnegative integer2

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 871-885	If a self connected object is an instance of shock and a process is an instance of compressing and a hole is an instance of hole and fluid is an attribute of an object and the self connected object is equal to the host of the hole the hole and the self connected object contains the object and the self connected object is a patient of the process, then there exists a transfer such that the transfer is an instance of transfer and the object transferred in the transfer is the object and the hole is path along which the transfer occurs and the process causes the transfer
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2003-2012	If a physical is an instance of barricade and the physical is partly located in an object, then the physical has the purpose there doesn't exist an entity such that the entity is an instance of translocation and the object is path along which the entity occurs
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7880-7888	If a process is an instance of entering and the process ends up at a region and physically restricted region is an attribute of the region and not another region is the entrance for the region , then the statement the other region is path along which the process occurs has the modal force of prohibition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7869-7878	If a process is an instance of entering and the process ends up at an object and physically restricted region is an attribute of the object, then the statement there exists an entity such that the entity is the entrance for the object and the entity is path along which the process occurs has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7901-7909	If a process is an instance of exiting and the process originates at a region and physically restricted region is an attribute of the region and not another region is the entrance for the region , then the statement the other region is path along which the process occurs has the modal force of prohibition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7890-7899	If a process is an instance of exiting and the process originates at an object and physically restricted region is an attribute of the object, then the statement there exists an entity such that the entity is the entrance for the object and the entity is path along which the process occurs has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7834-7845	If a region is an instance of Facility and physically restricted region is an attribute of the region and another region is the entrance for the region , then the other region has the purpose there exists an entity such that the entity is an instance of entering or the entity is an instance of exiting and the other region is path along which the entity occurs
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7847-7859	If an object is an instance of Facility and physically restricted region is an attribute of the object, then the statement there exist an entity and another entity such that the entity is an instance of entering or the entity is an instance of exiting and the other entity is path along which the entity occurs and not the other entity is the entrance for the object has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1300-1312	If an object is an instance of gun and another object is an instance of gun barrel and the other object is a part of the object and a process is an instance of shooting and the object is an instrument for the process and an entity is a patient of the process and the entity is an instance of projectile, then there exists the processUB such that the processUB is a subprocess of the process and the other object is path along which the processUB occurs
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1738-1742	If a motion is an instance of the transit of a transitway and the transitway is an instance of transitway, then the transitway is path along which the motion occurs
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3778-3783	If an object is an instance of harbor and the object equipment count ship berth for a real number and the real number is greater than 0, then the object is capable of doing ship berthing as a path
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3785-3793	If an object is an instance of port facility and the object is capable of doing ship berthing as a patient, then there exists another object such that the other object is an instance of harbor and the other object is connected to the object and the other object is capable of doing ship berthing as a path
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1361-1380	If a process is an instance of shooting and an object is an instance of gun and the object is an instrument for the process, then there exist a transfer, the objectB,, , another object,, , a third object and another region such that the transfer is a subprocess of the process and the transfer is an instance of exiting and the transfer is located at the objectB and the objectB is an instance of gun barrel and the objectB is a part of the object and the object transferred in the transfer is the other object and the other object is an instance of bullet and the other object originates at the third object and the third object is an instance of bullet cartridge and the third object is located at the objectB and the objectB is path along which the transfer occurs and the other region is the entrance for the objectB and the other region is an instance of gun muzzle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7551-7563	If a transfer is an instance of swallowing and an agent is an agent of the transfer, then there exist an object, another object,, , the transferT and a third object such that the object is an instance of mouth and the other object is an instance of esophagus and the transferT is an instance of stomach and the object transferred in the transfer is the third object and the transfer originates at the object and the transfer ends up at the transferT and the other object is path along which the transfer occurs
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3820-3840	If a transportation is an instance of transportation and an object is an instance of transitway and the object is path along which the transportation occurs and a transportation device is a conveyance during the transportation and another object is an instance of transitway junction and the other object is a part of the object, then there exist a third object and another transportation such that the third object is an instance of transitway and the object is not equal to the third object and the other object connects the object and the third object and the other object is capable of doing transfer as a path and the other transportation is an instance of transfer and the transportation device is a conveyance during the other transportation and the time of existence of the transportation meets the time of existence of the other transportation and the statement the third object is path along which the other transportation occurs has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3242-3266	If an object is an instance of transitway and bidirectional traffic is an attribute of the object, then there exists an entity such that the entity is an instance of policy and the entity confers norm there exist another entity, a third entity and a fourth entity such that the other entity is an instance of transportation and the object is path along which the other entity occurs and the third entity is an instance of geographic area and the other entity originates at the third entity and the fourth entity is an instance of geographic area and the other entity ends up at the fourth entity and there exists a fifth entity such that the fifth entity is an instance of transportation and the object is path along which the fifth entity occurs and the other entity originates at the fourth entity and the other entity ends up at the third entity and the other entity is not equal to the fifth entity holds during the time of existence of the other entity for permission
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3275-3299	If an object is an instance of transitway and unidirectional traffic is an attribute of the object, then there exists an entity such that the entity is an instance of policy and the entity confers norm there exist another entity, a third entity and a fourth entity such that the other entity is an instance of transportation and the object is path along which the other entity occurs and the third entity is an instance of geographic area and the other entity originates at the third entity and the fourth entity is an instance of geographic area and the other entity ends up at the fourth entity and there exists a fifth entity such that the fifth entity is an instance of transportation and the object is path along which the fifth entity occurs and the other entity originates at the fourth entity and the other entity ends up at the third entity and the other entity is not equal to the fifth entity holds during the time of existence of the other entity for prohibition
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3184-3189	If a real number meter(s) is a navigable for draft of a water area and another real number meter(s) is a laden draft of a water vehicle and the real number is greater than the other real number, then the water area is capable of doing the trip of the water vehicle as a path
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3191-3196	If a real number meter(s) is a navigable for draft of a water area and another real number meter(s) is a laden draft of a water vehicle and the real number is less than or equal to the other real number, then the water area is not capable of doing the trip of the water vehicle as a path
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3168-3174	If a real number long ton(s) is a navigable for shipping tonnage of a water area and a water vehicle is an instance of water vehicle and another real number long ton(s) is a vessel displacement of the water vehicle and the other real number is less than or equal to the real number, then the water area is capable of doing the trip of the water vehicle as a path
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1121-1130	If a process is an instance of bowling, then there exist the processALL, a motion and an object such that the motion is an instance of translocation and the processALL is an instance of bowling ball and the processALL is a patient of the motion and the object is an instance of bowling lane and the object is path along which the motion occurs and the motion is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1752-1762	If a physical is an instance of bridge, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of translocation and the physical is path along which the entity occurs and the physical is above to the other entity and the other entity is an instance of land area or the other entity is an instance of body of water
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 480-492	If a motion is an instance of blood circulation, then there exist an object, another object,, , a third object and a fourth object such that the object is an instance of animal and the fourth object is an instance of blood and the fourth object moves during the motion and the third object is an instance of artery and the other object is an instance of vein and the third object is a part of the object and the other object is a part of the object and the third object is path along which the motion occurs and the other object is path along which the motion occurs
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1160-1168	If a physical is an instance of bowling lane, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of translocation and the other entity is an instance of bowling ball and the other entity is a patient of the entity and the physical is path along which the entity occurs
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 538-554	If a physical is an instance of cannula, then the physical has the purpose there exist an entity, another entity,, , the other entityBJ and a fourth entity such that the other entity is an instance of organism and the entity is an instance of motion and the other entityBJ moves during the entity and the fourth entity is outside to the other entity and the physical is path along which the entity occurs and the entity originates at the fourth entity and the entity ends up at the other entity or the entity originates at the other entity and the entity ends up at the fourth entity

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: