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

Formal Language: 



Term 1: Term 2:

(subclass Bed Furniture) Mid-level-ontology.kif 3697-3697
(subclass KingBed Bed) Mid-level-ontology.kif 3707-3707
(subclass QueenBed Bed) Mid-level-ontology.kif 3738-3738
(subclass DoubleBed Bed) Mid-level-ontology.kif 3764-3764
(subclass SingleBed Bed) Mid-level-ontology.kif 3790-3790
(subclass BunkBed Bed) Mid-level-ontology.kif 3801-3801
(subclass MurphyBed Bed) Mid-level-ontology.kif 3816-3816
(subclass RollawayBed Bed) Mid-level-ontology.kif 3837-3837
(subclass SofaBed Bed) Mid-level-ontology.kif 3849-3849
(subclass Crib Bed) Mid-level-ontology.kif 3868-3868
(subclass Hammock Bed) Mid-level-ontology.kif 3881-3881


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