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

Formal Language: 



Term 1: Term 2:

(subclass Valve EngineeringComponent) engineering.kif 912-912 Valve est une sous-classe de composant d'un appareil
(subclass Valve FluidPowerDevice) engineering.kif 913-913 Valve est une sous-classe de FluidPowerDevice
(subclass SalineLock Valve) Medicine.kif 1099-1099 SalineLock est une sous-classe de Valve
(subclass DirectionalControlValve Valve) engineering.kif 957-957 DirectionalControlValve est une sous-classe de Valve
(subclass PressureControlValve Valve) engineering.kif 966-966 PressureControlValve est une sous-classe de Valve
(subclass VolumeControlValve Valve) engineering.kif 976-976 VolumeControlValve est une sous-classe de Valve
(subclass BleederValve Valve) Cars.kif 1546-1546 BleederValve est une sous-classe de Valve
(subclass ExhaustValve Valve) Cars.kif 2658-2658 ExhaustValve est une sous-classe de Valve
(subclass IntakeValve Valve) Cars.kif 2683-2683 IntakeValve est une sous-classe de Valve
(subclass ManifoldHeatControlValve Valve) Cars.kif 3255-3255 ManifoldHeatControlValve est une sous-classe de Valve
(subclass PositiveCrankcaseVentilationValve Valve) Cars.kif 3811-3811 PositiveCrankcaseVentilationValve est une sous-classe de Valve


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