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 1551-1551 BleederValvesubclass
(subclass ExhaustValve Valve) Cars.kif 2664-2664 ExhaustValvesubclass
(subclass IntakeValve Valve) Cars.kif 2689-2689 IntakeValvesubclass
(subclass ManifoldHeatControlValve Valve) Cars.kif 3263-3263 ManifoldHeatControlValvesubclass
(subclass PositiveCrankcaseVentilationValve Valve) Cars.kif 3819-3819 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