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

Formal Language: 



Term 1: Term 2:

(subclass PowerSource Device) Mid-level-ontology.kif 2503-2503 能量源设备subclass
(subclass DCPowerSource PowerSource) Mid-level-ontology.kif 2513-2513 直流电源能量源subclass
(subclass ACPowerSource PowerSource) Mid-level-ontology.kif 25574-25574 ACPowerSource能量源subclass
(subclass SinglePhasePowerSource PowerSource) engineering.kif 871-871 单相电源能量源subclass
(subclass ThreePhasePowerSource PowerSource) engineering.kif 876-876 三相电源能量源subclass


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