connectedEngineeringComponents - Sigma Knowledge base Browser

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 16195-16203
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16193-16193	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 16194-16194	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 16190-16190	connected engineering components is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16191-16191	connected engineering components is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16189-16189	connected engineering components is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16192-16192	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.	french_format.kif 318-318
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 53-53
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2086-2086
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 270-270
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 87-87
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 707-707
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 94-94
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 339-339
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 350-350
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 122-122
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 16665-16665
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16664-16664
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16663-16663
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 215-215
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 123-123

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3231-3245	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 computer display 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 2914-2932	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 2941-2957	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 2893-2905	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 27042-27055	If an engineering component is an instance of electrical plug and another engineering component is an instance of electric device and a hole is an instance of electrical outlet and the other engineering component is connected to the engineering component and the engineering component completely fills the hole and a third engineering component is an instance of power source and the third engineering component is connected to the hole, then there exists a process such that the process is an instance of radiating electromagnetic and the process originates at the third 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 2098-2117	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 16205-16211	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 16244-16247	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 16237-16242	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 1365-1371	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 1667-1675	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 cable modem 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 16249-16251	If an 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 2330-2364	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 2608-2614	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 3324-3337	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 3583-3589	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 1956-1964	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 3347-3356	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 2659-2665	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 2695-2712	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 3275-3287	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 3801-3812	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 computer I/O device 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 the other entity is a connected peripheral of 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 2277-2292	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 4181-4185	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 4031-4039	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 4099-4105	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 2873-2879	If a physical is an instance of USB port, 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 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: