connectedEngineeringComponents - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - connectedEngineeringComponents

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 14933-14941
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14931-14931	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 14932-14932	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 14928-14928	connected engineering components is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14929-14929	connected engineering components is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14927-14927	connected engineering components is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14930-14930	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 549-549
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 16573-16573
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16572-16572
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16571-16571

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14982-14985	An engineering component is connected to another engineering component if and only if 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.	ComputingBrands.kif 3217-3231	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 2909-2925	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 function quantity, then the engineering component 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 and the third entity is greater than the function quantity holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2934-2948	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 function quantity, then the engineering component 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 and the other entity is greater than the function quantity holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2890-2900	If an engineering component is an instance of governor and the maximum speed allowed by another engineering component is a function quantity and the engineering component is connected to the other engineering component, then the engineering component purpose there doesn't exist the function quantityP2 such that the measure of the other engineering component is the function quantityP2 and the function quantityP2 is greater than the function quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23971-23984	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 2101-2120	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 14943-14949	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 14975-14980	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 1316-1322	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 1656-1664	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 purpose the object is connected to the objectS
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 605-614	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.	Cars.kif 2333-2367	If a physical is an instance of transmission, then the physical 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 2575-2581	If a physical is an instance of plug, then the physical 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 3310-3323	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 3570-3576	If a physical is an instance of device power supply, then the physical 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 1959-1967	If a physical is an instance of engine connecting rod, then the physical 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 3261-3270	If a physical is an instance of manifold absolute pressure sensor, then the physical 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 2660-2666	If a physical is an instance of exhaust valve, then the physical 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 2696-2713	If a physical is an instance of fan belt, then the physical 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 3189-3201	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 3774-3785	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 1377-1393	If a physical is an instance of mechanical joint, then the physical 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 2280-2295	If a physical is an instance of pulley, then the physical 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 4094-4098	If a physical is an instance of rod, then the physical 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 3944-3952	If a physical is an instance of steering box, then the physical 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 4012-4018	If a physical is an instance of tailpipe, then the physical 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 2844-2850	If a physical is an instance of USBPort, then the physical purpose there exists an entity such that the entity is an instance of USB cable and the entity is connected to the physical

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