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

Formal Language: 



Term 1: Term 2:

(subclass Valve EngineeringComponent) engineering.kif 912-912 Valveエンジニアリング部品subclass では %n
(subclass Valve FluidPowerDevice) engineering.kif 913-913 ValveFluidPowerDevicesubclass では %n
(subclass SalineLock Valve) Medicine.kif 1099-1099 SalineLockValvesubclass では %n
(subclass DirectionalControlValve Valve) engineering.kif 957-957 DirectionalControlValveValvesubclass では %n
(subclass PressureControlValve Valve) engineering.kif 966-966 PressureControlValveValvesubclass では %n
(subclass VolumeControlValve Valve) engineering.kif 976-976 VolumeControlValveValvesubclass では %n
(subclass BleederValve Valve) Cars.kif 1546-1546 BleederValveValvesubclass では %n
(subclass ExhaustValve Valve) Cars.kif 2658-2658 ExhaustValveValvesubclass では %n
(subclass IntakeValve Valve) Cars.kif 2683-2683 IntakeValveValvesubclass では %n
(subclass ManifoldHeatControlValve Valve) Cars.kif 3255-3255 ManifoldHeatControlValveValvesubclass では %n
(subclass PositiveCrankcaseVentilationValve Valve) Cars.kif 3811-3811 PositiveCrankcaseVentilationValveValvesubclass では %n


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