TreeView Knowledge Base Browser - connectedEngineeringComponents

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3643-3647
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15816-15824
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15814-15814	The number 1 argument of connected engineering components is an instance of engineering component
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15815-15815	The number 2 argument of connected engineering components is an instance of engineering component
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15811-15811	connected engineering components is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15812-15812	connected engineering components is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15810-15810	connected engineering components is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15813-15813	connected engineering components is a subrelation of connected

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 541-541
No TPTP formula. May not be expressible in strict first order.	english_format.kif 546-546
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 542-542
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16641-16641
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16640-16640
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16639-16639

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3197-3211	If booting up is an attribute of an engineering component holds during a physical and host ready is an attribute of the engineering component holds during the physical2 and the physical2 is equal to immediately after the time of existence of the physical and another engineering component is an instance of ComputerDisplay and the other engineering component is connected to the engineering component, then the statement there exists an entity such that the entity is an instance of home screen and the entity is displayed on the other engineering component has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2930-2948	If an engineering component is an instance of governor and another engineering component is an instance of engine and the engineering component is connected to the other engineering component and the maximum speed allowed by the other engineering component is a real number miles per hour(s), then the engineering component has the purpose there don't exist an entity, another entity and a third entity such that the other entity is an instance of device and the other entity is a part of the other engineering component and the entity is an instance of rotating and the measure of the other entity is the third entity miles per hour(s) and the third entity is greater than the real number holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2957-2973	If an engineering component is an instance of governor and another engineering component is an instance of vehicle and the engineering component is connected to the other engineering component and the maximum speed allowed by a governor is a real number miles per hour(s), then the engineering component has the purpose there don't exist an entity and another entity such that the entity is an instance of translocation and the measure of the other engineering component is the other entity miles per hour(s) and the other entity is greater than the real number holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2909-2921	If an engineering component is an instance of governor and the maximum speed allowed by another engineering component is a real number miles per hour(s) and the engineering component is connected to the other engineering component, then the engineering component has the purpose there doesn't exist the real numberP2 such that the measure of the other engineering component is the real numberP2 miles per hour(s) and the real numberP2 is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25314-25327	If an engineering component is an instance of electrical plug and another engineering component is an instance of electric device and a third engineering component is an instance of electrical outlet and the other engineering component is connected to the engineering component and the engineering component completely fills the third engineering component and a fourth engineering component is an instance of power source and the fourth engineering component is connected to the third engineering component, then there exists a process such that the process is an instance of radiating electromagnetic and the process originates at the fourth engineering component and the process ends up at the other engineering component
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2114-2133	If an entity is an instance of shaft and another entity is an instance of shaft and the entity is not equal to the other entity and an engineering component is an instance of rotating and the entity is a patient of the engineering component and another engineering component is an instance of rotating and the other entity is a patient of the other engineering component and the engineering component causes the other engineering component and a third engineering component is an instance of C.V. joint and the engineering component is connected to the third engineering component and the other engineering component is connected to the third engineering component and the entity is equal to the rotation of a third entity during a fourth entity holds during the time of existence of the engineering component, then the other entity is equal to the rotation of the third entity during the fourth entity holds during the time of existence of the other engineering component
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15826-15832	If an engineering component is connected to another engineering component, then the engineering component is not a component of the other engineering component and the other engineering component is not a component of the engineering component
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15865-15868	If an engineering component is connected to another engineering component, then there exists an engineering connection such that the engineering connection connects the engineering component and the other engineering component
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15858-15863	If an engineering component is connected to another engineering component, then the engineering component is an instance of engineering connection and the other engineering component is an instance of engineering connection

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1343-1349	If an entity is an instance of internet access point and another entity is an instance of device, then the other entity is a component of internet holds during the time of existence of the other entity is connected to the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1660-1668	If an object is an instance of cam and the objectS is an instance of camshaft and a third object is an instance of engine and the object is a part of the third object and the objectS is a part of the third object, then the objectS has the purpose the object is connected to the objectS
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 577-586	If an engineering component is an instance of CableModem and a process is an instance of communication and the engineering component is an instrument for the process, then there exists another engineering component such that the other engineering component is an instance of cable and the other engineering component is an instrument for the process and the other engineering component is connected to the engineering component
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15870-15873	If there exists an engineering connection such that the engineering connection connects an engineering component and another engineering component, then the engineering component is connected to the other engineering component
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2346-2380	If a physical is an instance of transmission, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity,, , a eighth entity,, , a ninth entity and a tenth entity such that the entity is an instance of Crankshaft and the other entity is an instance of driveshaft and the third entity is an instance of automobile and the other entity is a part of the third entity and the physical is a part of the third entity and the entity is a part of the third entity and the entity is connected to the physical and the other entity is connected to the physical and the fourth entity is an instance of rotating and the sixth entity is an instance of rotating and the seventh entity is an instance of rotating and the eighth entity is an instance of rotating and the entity is a patient of the fourth entity and the entity is a patient of the sixth entity and the other entity is a patient of the seventh entity and the other entity is a patient of the eighth entity and the fourth entity causes the seventh entity and the sixth entity causes the eighth entity and the fourth entity is not equal to the sixth entity and the measure of the entity is the rotation of the fifth entity during minute duration holds during the fourth entity and the measure of the entity is the rotation of the fifth entity during minute duration holds during the sixth entity and the measure of the other entity is the rotation of the ninth entity during minute duration holds during the seventh entity and the measure of the other entity is the rotation of the tenth entity during minute duration holds during the eighth entity and the ninth entity is not equal to the tenth entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2576-2582	If a physical is an instance of plug, then the physical has the purpose there exists an entity such that the entity is an instance of port and the physical is connected to the entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3290-3303	If a collection is an instance of computer system, then there exist an engineering component, another engineering component and a third engineering component such that the engineering component is an instance of computer and the other engineering component is an instance of computer and the third engineering component is an instance of computer network and the engineering component is a member of the collection and the other engineering component is a member of the collection and the third engineering component is a member of the collection and the engineering component is not equal to the other engineering component and the engineering component is connected to the third engineering component and the other engineering component is connected to the third engineering component
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3546-3552	If a physical is an instance of device power supply, then the physical has the purpose there exists an entity such that the entity is an instance of ac power source and the physical is connected to the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1972-1980	If a physical is an instance of engine connecting rod, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of piston and the other entity is an instance of Crankshaft and the entity is connected to the physical and the other entity is connected to the physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3286-3295	If a physical is an instance of manifold absolute pressure sensor, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of engine control module and the other entity is an instance of automobile and the physical is a part of the other entity and the entity is a part of the other entity and the physical is connected to the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2675-2681	If a physical is an instance of exhaust valve, then the physical has the purpose there exists an entity such that the entity is an instance of exhaust manifold and the physical is connected to the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2711-2728	If a physical is an instance of fan belt, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of pulley and the other entity is an instance of pulley and the entity is not equal to the other entity and the third entity is an instance of Crankshaft and the fourth entity is an instance of automobile and the entity is a part of the fourth entity and the other entity is a part of the fourth entity and the third entity is a part of the fourth entity and the physical is a part of the fourth entity and the third entity is connected to the entity and the entity is connected to the physical and the physical is connected to the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3214-3226	If an object is an instance of jumper cable, then there exist an engineering component, another engineering component and a third engineering component such that the engineering component is an instance of clamp and the other engineering component is an instance of clamp and the third engineering component is an instance of wire and the engineering component is a part of the object and the other engineering component is a part of the object and the third engineering component is a part of the object and the engineering component is connected to the third engineering component and the other engineering component is connected to the third engineering component and the engineering component is not equal to the other engineering component
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3764-3775	If a process is an instance of mounting, then there exist an entity and another entity such that the entity is an instance of computer and the other entity is an instance of ComputerIODevice and the entity is a patient of the process and the other entity is a patient of the process and the entity is connected to the other entity holds during the time of existence of the process and %1 is a connected peripheral of %2 the other entity and the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1381-1397	If a physical is an instance of mechanical joint, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the fourth entity is an instance of motion and the entity is an instance of physical system and the other entity is an instance of engineering component and the third entity is an instance of engineering component and the other entity is a part of physical system and the physical is a part of physical system and the third entity is a part of physical system and the other entity is not a patient of the fourth entity and the third entity is a patient of the fourth entity and the other entity is connected to the physical and the third entity is connected to the physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2293-2308	If a physical is an instance of pulley, then the physical has the purpose there exist the physical2, another entity,, , a third entity and a fourth entity such that the physical2 is an instance of pulley and the physical is not equal to the physical2 and the other entity is an instance of drivebelt and the third entity is an instance of rotating and the fourth entity is an instance of rotating and the physical is connected to the other entity and the physical2 is connected to the other entity and the physical is a patient of the third entity and the physical2 is a patient of the fourth entity and the third entity causes the fourth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4123-4127	If a physical is an instance of rod, then the physical has the purpose there exists an entity such that the physical is connected to the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3973-3981	If a physical is an instance of steering box, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of steering wheel and the other entity is an instance of steering column and the entity is connected to the other entity and the other entity is connected to the physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4041-4047	If a physical is an instance of tailpipe, then the physical has the purpose there exists an entity such that the entity is an instance of muffler and the entity is connected to the physical
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2841-2847	If a physical is an instance of USBPort, then the physical has the purpose there exists an entity such that the entity is an instance of USB cable and the entity is connected to the physical

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

KB Term:			Term intersection

English Word: