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

Formal Language: 



Term 1: Term 2:

(subclass Bed Furniture) Mid-level-ontology.kif 3720-3720
(subclass KingBed Bed) Mid-level-ontology.kif 3730-3730
(subclass QueenBed Bed) Mid-level-ontology.kif 3761-3761
(subclass DoubleBed Bed) Mid-level-ontology.kif 3787-3787
(subclass SingleBed Bed) Mid-level-ontology.kif 3813-3813
(subclass BunkBed Bed) Mid-level-ontology.kif 3824-3824
(subclass MurphyBed Bed) Mid-level-ontology.kif 3839-3839
(subclass RollawayBed Bed) Mid-level-ontology.kif 3860-3860
(subclass SofaBed Bed) Mid-level-ontology.kif 3872-3872
(subclass Crib Bed) Mid-level-ontology.kif 3891-3891
(subclass Hammock Bed) Mid-level-ontology.kif 3904-3904


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