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

Formal Language: 



Term 1: Term 2:

(subclass ElectricalComponent ElectricDevice) engineering.kif 980-980 ElectricalComponent は ElectricDevice の subclass では %n
(subclass Relay ElectricalComponent) engineering.kif 748-748 Relay は ElectricalComponent の subclass では %n
(subclass Terminal ElectricalComponent) engineering.kif 821-821 Terminal は ElectricalComponent の subclass では %n
(subclass ElectricalConductor ElectricalComponent) engineering.kif 825-825 ElectricalConductor は ElectricalComponent の subclass では %n
(subclass ResistorElement ElectricalComponent) engineering.kif 854-854 ResistorElement は ElectricalComponent の subclass では %n
(subclass Capacitor ElectricalComponent) engineering.kif 864-864 Capacitor は ElectricalComponent の subclass では %n
(subclass Inductor ElectricalComponent) engineering.kif 868-868 Inductor は ElectricalComponent の subclass では %n
(subclass SemiconductorComponent ElectricalComponent) engineering.kif 1039-1039 SemiconductorComponent は ElectricalComponent の subclass では %n
(subclass SparkPlug ElectricalComponent) Cars.kif 434-434 SparkPlug は ElectricalComponent の subclass では %n


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