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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - BunkBed

appearance as argument number 1

(defaultMaximumHeight BunkBed
    (MeasureFn 75 Inch))
DimensioningAmenities.kif 419-419
(defaultMaximumLength BunkBed
    (MeasureFn 80 Inch))
DimensioningAmenities.kif 423-423
(defaultMaximumMeasure BunkBed
    (MeasureFn 150 PoundMass))
DimensioningAmenities.kif 425-425
(defaultMaximumWidth BunkBed
    (MeasureFn 40 Inch))
DimensioningAmenities.kif 421-421
(defaultMinimumHeight BunkBed
    (MeasureFn 50 Inch))
DimensioningAmenities.kif 418-418
(defaultMinimumLength BunkBed
    (MeasureFn 75 Inch))
DimensioningAmenities.kif 422-422
(defaultMinimumMeasure BunkBed
    (MeasureFn 60 PoundMass))
DimensioningAmenities.kif 424-424
(defaultMinimumWidth BunkBed
    (MeasureFn 38 Inch))
DimensioningAmenities.kif 420-420
(documentation BunkBed EnglishLanguage "A BunkBed is a type of Bed has one bed directly above another") Mid-level-ontology.kif 4401-4402
(subclass BunkBed Bed) Mid-level-ontology.kif 4400-4400

appearance as argument number 2

(termFormat EnglishLanguage BunkBed "bunk bed") Mid-level-ontology.kif 4403-4403


    (instance ?X BunkBed)
    (exists (?BED1 ?BED2)
            (instance ?BED1 SingleBed)
            (instance ?BED2 SingleBed)
            (part ?BED1 ?X)
            (part ?BED2 ?X)
            (orientation ?BED1 ?BED2 Above))))
Mid-level-ontology.kif 4405-4413

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