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

Formal Language: 



Term 1: Term 2:

(subclass EngineeringComponent Device) Merge.kif 16056-16056
(subclass CartridgeCase EngineeringComponent) Mid-level-ontology.kif 1209-1209
(subclass GunBarrel EngineeringComponent) Mid-level-ontology.kif 1224-1224
(subclass GunTrigger EngineeringComponent) Mid-level-ontology.kif 1361-1361
(subclass GunStock EngineeringComponent) Mid-level-ontology.kif 1438-1438
(subclass Handle EngineeringComponent) Mid-level-ontology.kif 1454-1454
(subclass WingDevice EngineeringComponent) Mid-level-ontology.kif 1512-1512
(subclass DriveComponent EngineeringComponent) Mid-level-ontology.kif 1673-1673
(subclass Manifold EngineeringComponent) Mid-level-ontology.kif 1775-1775
(subclass SwitchDevice EngineeringComponent) Mid-level-ontology.kif 1784-1784
(subclass CommunicationDevice EngineeringComponent) Mid-level-ontology.kif 2939-2939
(subclass WireSpring EngineeringComponent) Mid-level-ontology.kif 3617-3617
(subclass WireLine EngineeringComponent) Mid-level-ontology.kif 3622-3622
(subclass Hinge EngineeringComponent) Mid-level-ontology.kif 15272-15272
(subclass EngineeringConnection EngineeringComponent) Merge.kif 16116-16116
(subclass FluidPowerDevice EngineeringComponent) engineering.kif 737-737
(subclass Gear EngineeringComponent) engineering.kif 757-757
(subclass GearTrain EngineeringComponent) engineering.kif 762-762
(subclass Gearbox EngineeringComponent) engineering.kif 767-767
(subclass Shaft EngineeringComponent) engineering.kif 771-771
(subclass Rotor EngineeringComponent) engineering.kif 779-779
(subclass Stator EngineeringComponent) engineering.kif 789-789
(subclass FluidCylinder EngineeringComponent) engineering.kif 906-906
(subclass Valve EngineeringComponent) engineering.kif 912-912
(subclass Controller EngineeringComponent) engineering.kif 1114-1114
(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 381-381
(subclass MechanicalJoint EngineeringComponent) Cars.kif 1376-1376
(subclass Radiator EngineeringComponent) Cars.kif 2192-2192
(subclass Flywheel EngineeringComponent) Cars.kif 2232-2232


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