Mattress - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Mattress

Mattress(mattress)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4030-4031
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4029-4029	Mattress is a subclass of artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 4032-4032

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4054-4061	If a corpuscular object is an instance of bed and another corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of bed frame and a third corpuscular object is a component of the corpuscular object and the third corpuscular object is an instance of mattress, then the third corpuscular object is on to the other corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4034-4039	If a corpuscular object is an instance of mattress, then there exists another corpuscular object such that the other corpuscular object is an instance of bed and the corpuscular object is a component of the other corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4041-4047	If a physical is an instance of mattress, then the physical has the purpose there exists an entity such that asleep is an attribute of the entity and the entity is on to the physical

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

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