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

Formal Language: 



Term 1: Term 2:

(subclass ElectricalComponent ElectricDevice) engineering.kif 980-980 电气元件电器subclass
(subclass Relay ElectricalComponent) engineering.kif 748-748 中继电气元件subclass
(subclass Terminal ElectricalComponent) engineering.kif 821-821 终奌站电气元件subclass
(subclass ElectricalConductor ElectricalComponent) engineering.kif 825-825 ElectricalConductor电气元件subclass
(subclass ResistorElement ElectricalComponent) engineering.kif 854-854 电阻元件电气元件subclass
(subclass Capacitor ElectricalComponent) engineering.kif 864-864 电容器电气元件subclass
(subclass Inductor ElectricalComponent) engineering.kif 868-868 感应器电气元件subclass
(subclass SemiconductorComponent ElectricalComponent) engineering.kif 1039-1039 半导体元件电气元件subclass
(subclass SparkPlug ElectricalComponent) Cars.kif 434-434 SparkPlug电气元件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