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

Formal Language: 



Term 1: Term 2:

(subclass Lock SecurityDevice) Mid-level-ontology.kif 2663-2663 Lock ist eine teilkategorie von SecurityDevice
(subclass ElectronicLock Lock) Mid-level-ontology.kif 25770-25770 ElectronicLock ist eine teilkategorie von Lock


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