EngineeringComponent - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3636-3639
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16079-16086
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9184-9184
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8470-8470
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9185-9185
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16078-16078	Composant d'un appareil est une sous-classe de appareil

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3710-3710	Furniture est disjoint de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 962-962	AppleSystemManagementController est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	Communications.kif 113-113	ArtificialSatellite est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	Communications.kif 288-288	BroadcastingStation est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1209-1209	CartridgeCase est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2939-2939	CommunicationDevice est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2706-2706	ComputerCable est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 596-596	ComputerHardware est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2581-2581	ComputerPlug est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2554-2554	ComputerPort est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1114-1114	Controller est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1673-1673	DriveComponent est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16138-16138	Composant connectant des autres composant est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	engineering.kif 906-906	FluidCylinder est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	engineering.kif 737-737	FluidPowerDevice est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2238-2238	Flywheel est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	engineering.kif 757-757	Gear est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	engineering.kif 762-762	GearTrain est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	engineering.kif 767-767	Gearbox est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1224-1224	GunBarrel est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1438-1438	GunStock est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1361-1361	GunTrigger est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1454-1454	Handle est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15271-15271	Hinge est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1775-1775	Manifold est une sous-classe de composant d'un appareil

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16118-16118	Le nombre 1 argument de connectedEngineeringComponents est une instance de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16119-16119	Le nombre 2 argument de connectedEngineeringComponents est une instance de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16182-16182	Le nombre 2 argument de connectsEngineeringComponents est une instance de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16183-16183	Le nombre 3 argument de connectsEngineeringComponents est une instance de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16107-16107	Le nombre 1 argument de engineeringSubcomponent est une instance de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16108-16108	Le nombre 2 argument de engineeringSubcomponent est une instance de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	engineering.kif 64-64	Le nombre 2 argument de models est une sous-classe de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2854-2854	Le nombre 2 argument de protocolForConnector est une sous-classe de composant d'un appareil

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 16088-16093

Objet corpusculaire est une instance de composant d'un appareil
objet corpusculaire objet corpusculaire est une instance de appareil objet corpusculaire est un composant de objet corpusculaire

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2735-2744	Objet est une instance de ComputerCable objet objet objet est une instance de composant d'un appareil objet est une instance de composant d'un appareil objet est objet objet est une partie de objet objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16095-16103	Objet est une instance de machine objet objet objet est une instance de composant d'un appareil objet est une instance de composant d'un appareil objet est objet objet est une partie de objet objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1381-1397	Physique est une instance de MechanicalJoint physique a pour but entit� entit�, entit� and entit� entit� est une instance de d�palcement entit� est une instance de PhysicalSystem entit� est une instance de composant d'un appareil entit� est une instance de composant d'un appareil entit� est une partie de PhysicalSystem physique est une partie de PhysicalSystem entit� est une partie de PhysicalSystem entit� est un patient de entit� entit� est un patient de entit� entit� est connect� � physique entit� est connect� � physique

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: