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 3698-3698
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 3697-3697 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 3801-3801 Bunk bed is a subclass of bed
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3868-3868 Crib is a subclass of bed
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3764-3764 Full-sized bed is a subclass of bed
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3881-3881 Hammock is a subclass of bed
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3707-3707 King-sized bed is a subclass of bed
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3816-3816 Pull-down bed is a subclass of bed
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3738-3738 Queen-sized bed is a subclass of bed
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3837-3837 Rollaway bed is a subclass of bed
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3790-3790 Twin-sized bed is a subclass of bed
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3849-3849 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 3933-3940
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3700-3705

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3974-3978
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10518-10527
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5102-5111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15004-15009
No TPTP formula. May not be expressible in strict first order. Hotel.kif 91-96
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25109-25119
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4003-4011
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3913-3918
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1928-1937


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