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 14979-14987
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14977-14977	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 14978-14978	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 14974-14974	connected engineering components is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14975-14975	connected engineering components is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14973-14973	connected engineering components is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14976-14976	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 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.	Merge.kif 15028-15031	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 3205-3219	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 2944-2962	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 2971-2987	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 2923-2935	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 22160-22173	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 2128-2147	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 14989-14995	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 15021-15026	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 1330-1336	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 1674-1682	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 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 2360-2394	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 2567-2573	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 3298-3311	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 3554-3560	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 1986-1994	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 3300-3309	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 2689-2695	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 2725-2742	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 3228-3240	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 3772-3783	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 1395-1411	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 2307-2322	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 4136-4140	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 3986-3994	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 4054-4060	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 2832-2838	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 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