TreeView Knowledge Base Browser - EngineeringComponent

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 16057-16064
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 16056-16056	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 16116-16116	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 2232-2232	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 15272-15272	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 16096-16096	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 16097-16097	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 16160-16160	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 16161-16161	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 16085-16085	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 16086-16086	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 16066-16071

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 16073-16081	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: