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 1603-1603 HydraulicCylinder ist eine teilkategorie von PhysicalSystem
(subclass EngineCoolingSystem PhysicalSystem) Cars.kif 2141-2141 EngineCoolingSystem ist eine teilkategorie von PhysicalSystem
(subclass AutomobileExhaustSystem PhysicalSystem) Cars.kif 2611-2611 AutomobileExhaustSystem ist eine teilkategorie von PhysicalSystem
(subclass AutomobileIgnitionSystem PhysicalSystem) Cars.kif 3203-3203 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