Furniture - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Furniture

Furniture(furniture)

article_of_furniture, bedroom_furniture, bookcase, dining-room_furniture, furniture, lawn_furniture, piece_of_furniture, sectional, sleeper

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3666-3666	Furniture is disjoint from agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3662-3662	Furniture is disjoint from engineering component
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3663-3663	Furniture is disjoint from machine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3664-3664	Furniture is disjoint from transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3665-3665	Furniture is disjoint from weapon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3644-3648
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 429-429
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 450-450
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3642-3642	Furniture is a subclass of artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1767-1767	Furniture is an industry product type of furniture manufacturing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3716-3716	Bed is a subclass of furniture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4040-4040	Chest or cabinet is a subclass of furniture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3668-3668	Seat is a subclass of furniture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4032-4032	Table is a subclass of furniture
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25245-25245
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25244-25244
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25243-25243

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3658-3660	If an object is an instance of furniture, then the object is capable of doing translocation as a moves
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3650-3656	If a physical is an instance of furniture, then the physical has the purpose there exists the physicalL such that the physicalL is an instance of floor and the physical meets the physicalL

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 7125-7137	If a collection is an instance of organization and furniture and home furnishings stores is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists an entity such that the agent is an instance of selling and the entity is an instance of furniture and the entity is a patient of the agent
No TPTP formula. May not be expressible in strict first order.	naics.kif 5994-6010	If a collection is an instance of organization and furniture and related product manufacturing is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of furniture and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1514-1519	If an object is an instance of shelf, then there exists another object such that the other object is an instance of furniture and the object is a part of the other object

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