Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  BedFrame

Sigma KEE - BedFrame
BedFrame

appearance as argument number 1
-------------------------


(documentation BedFrame EnglishLanguage "A BedFrame is a %&component of a Bed that supports the mattress") Mid-level-ontology.kif 4532-4533
(subclass BedFrame Artifact) Mid-level-ontology.kif 4531-4531

appearance as argument number 2
-------------------------


(subclass FourPosterBed BedFrame) Mid-level-ontology.kif 4545-4545
(termFormat EnglishLanguage BedFrame "bed frame") Mid-level-ontology.kif 4534-4534

antecedent
-------------------------


(=>
    (and
        (instance ?X Bed)
        (component ?BEDFRAME ?X)
        (instance ?BEDFRAME BedFrame)
        (component ?MATTRESS ?X)
        (instance ?MATTRESS Mattress))
    (orientation ?MATTRESS ?BEDFRAME On))
Mid-level-ontology.kif 4536-4543


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners