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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bed

Sigma KEE - Bed
Bed(bed)
bed, berth, built-in_bed, built_in_bed, bunk, camp_bed, corncrib, cot, crib, deathbed, marriage_bed, plank-bed, platform_bed, sickbed, sleigh_bed, truckle, truckle_bed, trundle, trundle_bed

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3726-3726
No TPTP formula. May not be expressible in strict first order. pictureList.kif 37-37
No TPTP formula. May not be expressible in strict first order. pictureList.kif 266-266
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3725-3725 Bed is a subclass of furniture

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3829-3829 Bunk bed is a subclass of bed
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3896-3896 Crib is a subclass of bed
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3792-3792 Full-sized bed is a subclass of bed
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3909-3909 Hammock is a subclass of bed
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3735-3735 King-sized bed is a subclass of bed
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3844-3844 Pull-down bed is a subclass of bed
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3766-3766 Queen-sized bed is a subclass of bed
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3865-3865 Rollaway bed is a subclass of bed
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3818-3818 Twin-sized bed is a subclass of bed
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3877-3877 Sofa bed is a subclass of bed
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10466-10466
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10465-10465
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10464-10464

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3961-3968
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3728-3733

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4009-4013
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10597-10606
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5150-5159
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15106-15111
No TPTP formula. May not be expressible in strict first order. Hotel.kif 96-101
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25254-25264
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4038-4046
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3941-3946
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1953-1962


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 3.0 is open source software produced by Articulate Software and its partners