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

Formal Language: 



Term 1: Term 2:

(subclass PhysicalSystem Physical) Merge.kif 6121-6121 PhysicalSystem ist eine teilkategorie von Physical
(subclass TransitSystem PhysicalSystem) Transportation.kif 2821-2821 TransitSystem ist eine teilkategorie von PhysicalSystem
(subclass AutoSuspensionSystem PhysicalSystem) Cars.kif 717-717 AutoSuspensionSystem ist eine teilkategorie von PhysicalSystem
(subclass Automobile PhysicalSystem) Cars.kif 836-836 Automobile ist eine teilkategorie von PhysicalSystem
(subclass BrakeSystem PhysicalSystem) Cars.kif 1230-1230 BrakeSystem ist eine teilkategorie von PhysicalSystem
(subclass HydraulicCylinder PhysicalSystem) Cars.kif 1598-1598 HydraulicCylinder ist eine teilkategorie von PhysicalSystem
(subclass EngineCoolingSystem PhysicalSystem) Cars.kif 2135-2135 EngineCoolingSystem ist eine teilkategorie von PhysicalSystem
(subclass AutomobileExhaustSystem PhysicalSystem) Cars.kif 2605-2605 AutomobileExhaustSystem ist eine teilkategorie von PhysicalSystem
(subclass AutomobileIgnitionSystem PhysicalSystem) Cars.kif 3195-3195 AutomobileIgnitionSystem ist eine teilkategorie von PhysicalSystem


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