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

Formal Language: 



Term 1: Term 2:

(subclass EngineeringComponent Device) Merge.kif 14937-14937
(subclass CartridgeCase EngineeringComponent) Mid-level-ontology.kif 1147-1147
(subclass GunBarrel EngineeringComponent) Mid-level-ontology.kif 1163-1163
(subclass GunTrigger EngineeringComponent) Mid-level-ontology.kif 1300-1300
(subclass GunStock EngineeringComponent) Mid-level-ontology.kif 1375-1375
(subclass Handle EngineeringComponent) Mid-level-ontology.kif 1391-1391
(subclass WingDevice EngineeringComponent) Mid-level-ontology.kif 1449-1449
(subclass DriveComponent EngineeringComponent) Mid-level-ontology.kif 1610-1610
(subclass Manifold EngineeringComponent) Mid-level-ontology.kif 1712-1712
(subclass SwitchDevice EngineeringComponent) Mid-level-ontology.kif 1721-1721
(subclass CommunicationDevice EngineeringComponent) Mid-level-ontology.kif 2871-2871
(subclass WireSpring EngineeringComponent) Mid-level-ontology.kif 3550-3550
(subclass WireLine EngineeringComponent) Mid-level-ontology.kif 3555-3555
(subclass Hinge EngineeringComponent) Mid-level-ontology.kif 12004-12004
(subclass EngineeringConnection EngineeringComponent) Merge.kif 14997-14997
(subclass MechanicalDevice EngineeringComponent) engineering.kif 730-730
(subclass FluidPowerDevice EngineeringComponent) engineering.kif 735-735
(subclass Rotor EngineeringComponent) engineering.kif 777-777
(subclass Controller EngineeringComponent) engineering.kif 1113-1113
(subclass AppleSystemManagementController EngineeringComponent) ComputingBrands.kif 931-931
(subclass ComputerPort EngineeringComponent) ComputingBrands.kif 2513-2513
(subclass ComputerPlug EngineeringComponent) ComputingBrands.kif 2540-2540
(subclass ComputerCable EngineeringComponent) ComputingBrands.kif 2665-2665
(subclass ComputerHardware EngineeringComponent) ComputerInput.kif 624-624
(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 1390-1390
(subclass Radiator EngineeringComponent) Cars.kif 2206-2206
(subclass Flywheel EngineeringComponent) Cars.kif 2246-2246


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