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

Formal Language: 



Term 1: Term 2:

(subclass Valve EngineeringComponent) engineering.kif 912-912 工程组件subclass
(subclass Valve FluidPowerDevice) engineering.kif 913-913 流体动力装置subclass
(subclass SalineLock Valve) Medicine.kif 1099-1099 SalineLocksubclass
(subclass DirectionalControlValve Valve) engineering.kif 957-957 方向控制阀subclass
(subclass PressureControlValve Valve) engineering.kif 966-966 压力控制阀subclass
(subclass VolumeControlValve Valve) engineering.kif 976-976 音量控制阀subclass
(subclass BleederValve Valve) Cars.kif 1546-1546 BleederValvesubclass
(subclass ExhaustValve Valve) Cars.kif 2658-2658 ExhaustValvesubclass
(subclass IntakeValve Valve) Cars.kif 2683-2683 IntakeValvesubclass
(subclass ManifoldHeatControlValve Valve) Cars.kif 3255-3255 ManifoldHeatControlValvesubclass
(subclass PositiveCrankcaseVentilationValve Valve) Cars.kif 3811-3811 PositiveCrankcaseVentilationValvesubclass


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