Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


Term 1: Term 2:

(subclass EngineeringComponent Device) Merge.kif 16217-16217
(subclass CartridgeCase EngineeringComponent) Mid-level-ontology.kif 1275-1275
(subclass GunBarrel EngineeringComponent) Mid-level-ontology.kif 1290-1290
(subclass Gunstock EngineeringComponent) Mid-level-ontology.kif 1401-1401
(subclass GunTrigger EngineeringComponent) Mid-level-ontology.kif 1578-1578
(subclass GunStock EngineeringComponent) Mid-level-ontology.kif 1655-1655
(subclass Handle EngineeringComponent) Mid-level-ontology.kif 1671-1671
(subclass WingDevice EngineeringComponent) Mid-level-ontology.kif 1729-1729
(subclass DriveComponent EngineeringComponent) Mid-level-ontology.kif 2136-2136
(subclass Manifold EngineeringComponent) Mid-level-ontology.kif 2238-2238
(subclass SwitchDevice EngineeringComponent) Mid-level-ontology.kif 2247-2247
(subclass CommunicationDevice EngineeringComponent) Mid-level-ontology.kif 3402-3402
(subclass WireSpring EngineeringComponent) Mid-level-ontology.kif 4060-4060
(subclass WireLine EngineeringComponent) Mid-level-ontology.kif 4065-4065
(subclass Hinge EngineeringComponent) Mid-level-ontology.kif 16645-16645
(subclass EngineeringConnection EngineeringComponent) Merge.kif 16277-16277
(subclass FluidPowerDevice EngineeringComponent) engineering.kif 736-736
(subclass Gear EngineeringComponent) engineering.kif 756-756
(subclass GearTooth EngineeringComponent) engineering.kif 816-816
(subclass GearTrain EngineeringComponent) engineering.kif 887-887
(subclass Gearbox EngineeringComponent) engineering.kif 892-892
(subclass Shaft EngineeringComponent) engineering.kif 896-896
(subclass Rotor EngineeringComponent) engineering.kif 1092-1092
(subclass Stator EngineeringComponent) engineering.kif 1102-1102
(subclass FluidCylinder EngineeringComponent) engineering.kif 1219-1219
(subclass Valve EngineeringComponent) engineering.kif 1225-1225
(subclass Controller EngineeringComponent) engineering.kif 1427-1427
(subclass AppleSystemManagementController EngineeringComponent) ComputingBrands.kif 962-962
(subclass ComputerPort EngineeringComponent) ComputingBrands.kif 2554-2554
(subclass ComputerPlug EngineeringComponent) ComputingBrands.kif 2581-2581
(subclass ComputerCable EngineeringComponent) ComputingBrands.kif 2706-2706
(subclass ComputerHardware EngineeringComponent) ComputerInput.kif 596-596
(subclass ArtificialSatellite EngineeringComponent) Communications.kif 113-113
(subclass BroadcastingStation EngineeringComponent) Communications.kif 288-288
(subclass TelevisionReceiver EngineeringComponent) Communications.kif 426-426
(subclass MechanicalJoint EngineeringComponent) Cars.kif 1376-1376
(subclass Radiator EngineeringComponent) Cars.kif 2176-2176
(subclass Flywheel EngineeringComponent) Cars.kif 2216-2216


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