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

(disjoint Furniture AutonomousAgent)	Mid-level-ontology.kif 3707-3707	Furniture is disjoint from agent
(disjoint Furniture EngineeringComponent)	Mid-level-ontology.kif 3703-3703	Furniture is disjoint from engineering component
(disjoint Furniture Machine)	Mid-level-ontology.kif 3704-3704	Furniture is disjoint from machine
(disjoint Furniture TransportationDevice)	Mid-level-ontology.kif 3705-3705	Furniture is disjoint from transportation device
(disjoint Furniture Weapon)	Mid-level-ontology.kif 3706-3706	Furniture is disjoint from weapon
(documentation Furniture EnglishLanguage "Any free-standing and movable Artifacts which which are used in day-to-day living and designed to rest on the Floor of a Room. This excludes items such as a rock which may serve as a chair but was not created with the intention of supporting that use.")	Mid-level-ontology.kif 3685-3689	Furniture is disjoint from weapon
(externalImage Furniture "http://articulatesoftware.com/SUMOpictures/working/ businesses/ furniture.png")	pictureList.kif 450-450	Furniture is disjoint from weapon
(externalImage Furniture "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ Chippendale_Desk.jpg")	pictureList-ImageNet.kif 429-429	Furniture is disjoint from weapon
(subclass Furniture Artifact)	Mid-level-ontology.kif 3683-3683	Furniture is a subclass of artifact

appearance as argument number 2

(industryProductType FurnitureManufacturing Furniture)	Economy.kif 1756-1756	Furniture is an industry product type of furniture manufacturing
(subclass Bed Furniture)	Mid-level-ontology.kif 3762-3762	Bed is a subclass of furniture
(subclass ChestOrCabinet Furniture)	Mid-level-ontology.kif 4142-4142	Chest or cabinet is a subclass of furniture
(subclass Seat Furniture)	Mid-level-ontology.kif 3709-3709	Seat is a subclass of furniture
(subclass Table Furniture)	Mid-level-ontology.kif 4134-4134	Table is a subclass of furniture
(termFormat ChineseLanguage Furniture "家具")	domainEnglishFormat.kif 25284-25284	Table is a subclass of furniture
(termFormat ChineseTraditionalLanguage Furniture "家具")	domainEnglishFormat.kif 25283-25283	Table is a subclass of furniture
(termFormat EnglishLanguage Furniture "furniture")	domainEnglishFormat.kif 25282-25282	Table is a subclass of furniture

antecedent

(=> (instance ?F Furniture) (capability Translocation moves ?F))	Mid-level-ontology.kif 3699-3701	If an object is an instance of furniture, then the object is capable of doing translocation as a moves
(=> (instance ?F Furniture) (hasPurpose ?F (exists (?FL) (and (instance ?FL Floor) (meetsSpatially ?F ?FL)))))	Mid-level-ontology.kif 3691-3697	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

(=> (and (instance ?ORG Organization) (attribute ?ORG FurnitureAndHomeFurnishingsStores)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (instance ?THING Furniture) (patient ?EV ?THING))))))	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
(=> (and (instance ?ORG Organization) (attribute ?ORG FurnitureAndRelatedProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING Furniture) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	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
(=> (instance ?S Shelf) (exists (?F) (and (instance ?F Furniture) (part ?S ?F))))	Mid-level-ontology.kif 1552-1557	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