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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Furniture
Furniture(家具)

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


(disjoint Furniture Agent) Mid-level-ontology.kif 3648-3648 家具 和 % 2 是 disjoint
(disjoint Furniture EngineeringComponent) Mid-level-ontology.kif 3644-3644 家具 和 % 2 是 disjoint
(disjoint Furniture Machine) Mid-level-ontology.kif 3645-3645 家具 和 % 2 是 disjoint
(disjoint Furniture TransportationDevice) Mid-level-ontology.kif 3646-3646 家具 和 % 2 是 disjoint
(disjoint Furniture Weapon) Mid-level-ontology.kif 3647-3647 家具 和 % 2 是 disjoint
(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 3626-3630
(externalImage Furniture "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ Chippendale_Desk.jpg") pictureList-ImageNet.kif 429-429
(externalImage Furniture "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ working/ businesses/ furniture.png") pictureList.kif 450-450
(subclass Furniture Artifact) Mid-level-ontology.kif 3624-3624 家具人工制品subclass

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


(industryProductType FurnitureManufacturing Furniture) Economy.kif 1760-1760 家具家具制造业industry 产品类别
(subclass Bed Furniture) Mid-level-ontology.kif 3698-3698 家具subclass
(subclass ChestOrCabinet Furniture) Mid-level-ontology.kif 4021-4021 胸部或柜子家具subclass
(subclass Seat Furniture) Mid-level-ontology.kif 3650-3650 座位家具subclass
(subclass Table Furniture) Mid-level-ontology.kif 4013-4013 家具subclass
(termFormat ChineseLanguage Furniture "家具") domainEnglishFormat.kif 25245-25245
(termFormat ChineseTraditionalLanguage Furniture "家具") domainEnglishFormat.kif 25244-25244
(termFormat EnglishLanguage Furniture "furniture") domainEnglishFormat.kif 25243-25243

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


(=>
    (instance ?F Furniture)
    (capability Translocation moves ?F))
Mid-level-ontology.kif 3640-3642
(=>
    (instance ?F Furniture)
    (hasPurpose ?F
        (exists (?FL)
            (and
                (instance ?FL Floor)
                (meetsSpatially ?F ?FL)))))
Mid-level-ontology.kif 3632-3638

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 7132-7144
(=>
    (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 6001-6017
(=>
    (instance ?S Shelf)
    (exists (?F)
        (and
            (instance ?F Furniture)
            (part ?S ?F))))
Mid-level-ontology.kif 1496-1501


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