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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Clothing
Clothing(clothing)
A-line, Afro-wig, BVD, BVD's, Bermuda_shorts, Bikini, Blucher, Burberry, Eton_jacket, G-string, G._L._von_Blucher, Gebhard_Leberecht_von_Blucher, Geneva_gown, Glengarry, Hessian_boot, Jamaica_shorts, Jockey_shorts, Kurdistan, Mother_Hubbard, Norfolk_jacket, Prince_Albert, Skivvies, Sunday_best, Sunday_clothes, V_neck, Wellington, Wellington_boot, aba, abbreviated, academic_costume, academic_gown, academic_robe, accessory, accouterment, accoutrement, activewear, adjusted, aegis, alb, altogether, anorak, ao_dai, apparel, appareled, arctic, arm_band, arm_guard, arm_pad, armband, armet...

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


(disjoint Clothing StationaryArtifact) Merge.kif 14629-14629 Clothing is disjoint from stationary artifact
(documentation Clothing ChineseLanguage "这是由面料和可能是其他物料所造成,是给 Human 蔽体用的 Artifact。") chinese_format.kif 3614-3615
(documentation Clothing EnglishLanguage "Artifact made out of fabrics and possibly other materials that are used to cover the bodies of Humans.") Merge.kif 14630-14631
(externalImage Clothing "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ working/ businesses/ clothing.png") pictureList.kif 351-351 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ working/ businesses/ clothing.png" is a URL depicting clothing
(subclass Clothing WearableItem) Merge.kif 14628-14628 Clothing is a subclass of wearable item

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


(subclass Apron Clothing) Mid-level-ontology.kif 5348-5348 Apron is a subclass of clothing
(subclass Belt Clothing) Mid-level-ontology.kif 5362-5362 Belt is a subclass of clothing
(subclass Cloak Clothing) Mid-level-ontology.kif 5389-5389 Cloak is a subclass of clothing
(subclass Collar Clothing) Mid-level-ontology.kif 5393-5393 Collar is a subclass of clothing
(subclass Dress Clothing) Mid-level-ontology.kif 5567-5567 Dress is a subclass of clothing
(subclass Glove Clothing) Mid-level-ontology.kif 5415-5415 Glove is a subclass of clothing
(subclass Hat Clothing) Mid-level-ontology.kif 5429-5429 Hat is a subclass of clothing
(subclass Oqal Clothing) ArabicCulture.kif 400-400 Oqal is a subclass of clothing
(subclass OutdoorClothing Clothing) Mid-level-ontology.kif 5335-5335 Outdoor clothing is a subclass of clothing
(subclass SafetyVest Clothing) Cars.kif 3530-3530 SafetyVest is a subclass of clothing
(subclass Shirt Clothing) Mid-level-ontology.kif 5535-5535 Shirt is a subclass of clothing
(subclass Shoe Clothing) Mid-level-ontology.kif 5461-5461 Shoe is a subclass of clothing
(subclass Sleeve Clothing) Mid-level-ontology.kif 5545-5545 Sleeve is a subclass of clothing
(subclass Sock Clothing) Mid-level-ontology.kif 5522-5522 Sock is a subclass of clothing
(subclass TieClothing Clothing) Mid-level-ontology.kif 5375-5375 Tie clothing is a subclass of clothing
(subclass Trousers Clothing) Mid-level-ontology.kif 5447-5447 Trousers is a subclass of clothing
(subclass UniformClothing Clothing) Mid-level-ontology.kif 24817-24817 Uniform is a subclass of clothing
(subclass Veil Clothing) Mid-level-ontology.kif 5714-5714 Veil is a subclass of clothing
(termFormat ChineseLanguage Clothing "服装") chinese_format.kif 1055-1055 "服装" is the printable form of clothing in ChineseLanguage
(termFormat EnglishLanguage Clothing "clothing") english_format.kif 1326-1326 "clothing" is the printable form of clothing in english language

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


(=>
    (instance ?CLOTHING Clothing)
    (exists (?FABRIC)
        (and
            (instance ?FABRIC Fabric)
            (part ?FABRIC ?CLOTHING))))
Merge.kif 14633-14638

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


(<=>
    (and
        (instance ?B BodyPart)
        (holdsDuring ?T
            (attribute ?B Bare)))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (covers ?C ?B))))))
Mid-level-ontology.kif 28326-28336 An entity is an instance of body part and Bare is an attribute of the entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the other entity covers the entity holds during the time position
(<=>
    (holdsDuring ?T
        (attribute ?A Naked))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C))))))
Mid-level-ontology.kif 28295-28303 Naked is an attribute of an entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the entity は % を wears %n{ない} holds during the time position
(=>
    (and
        (instance ?DRESS Dressing)
        (agent ?DRESS ?AGENT)
        (patient ?DRESS ?CLOTHING))
    (and
        (instance ?CLOTHING Clothing)
        (holdsDuring
            (BeginFn
                (WhenFn ?DRESS))
            (not
                (wears ?AGENT ?CLOTHING)))
        (holdsDuring
            (EndFn
                (WhenFn ?DRESS))
            (wears ?AGENT ?CLOTHING))))
Mid-level-ontology.kif 5744-5759
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG ApparelManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (instance ?THING Clothing)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 2194-2210
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG ClothingAndClothingAccessoriesStores))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING)
                (and
                    (instance ?EV Selling)
                    (instance ?THING Clothing)
                    (patient ?EV ?THING))))))
naics.kif 7516-7528
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG LeatherAndAlliedProductManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (or
                        (instance ?THING Clothing)
                        (instance ?THING Fabric))
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 2457-2475
(=>
    (and
        (wears ?P ?B)
        (instance ?B Belt))
    (exists (?C)
        (and
            (instance ?C Clothing)
            (wears ?P ?C)
            (meetsSpatially ?B ?C))))
Mid-level-ontology.kif 5365-5373
(=>
    (holdsDuring ?T
        (attribute ?A Clothed))
    (holdsDuring ?T
        (not
            (exists (?P)
                (and
                    (instance ?P ReproductiveBody)
                    (part ?P ?A)
                    (not
                        (exists (?C)
                            (and
                                (instance ?C Clothing)
                                (covers ?C ?P)))))))))
Mid-level-ontology.kif 28309-28322
(=>
    (instance ?B Button)
    (hasPurpose ?B
        (exists (?C)
            (and
                (instance ?C Clothing)
                (part ?B ?C)))))
Mid-level-ontology.kif 4733-4739
(=>
    (instance ?POCKET Pocket)
    (exists (?CLOTHING)
        (and
            (instance ?CLOTHING Clothing)
            (part ?POCKET ?CLOTHING))))
Mid-level-ontology.kif 5665-5670
(=>
    (instance ?SVC DryCleaningService)
    (exists (?CLOTHES ?WATER ?CHEM)
        (and
            (instance ?CLOTHES Clothing)
            (not
                (instrument ?SVC ?WATER))
            (instance ?WATER Water)
            (instance ?CHEM ChemicalProduct)
            (instrument ?SVC ?CHEM)
            (patient ?SVC ?CLOTHES)
            (result ?SVC
                (attribute ?CLOTHES Clean)))))
Hotel.kif 1757-1767
(=>
    (instance ?SVC LaundryService)
    (exists (?CLOTHES ?WASH ?DRY ?IRON)
        (and
            (instance ?CLOTHES Clothing)
            (patient ?SVC ?CLOTHES)
            (subProcess ?WASH ?SVC)
            (instance ?WASH Washing)
            (patient ?WASH ?CLOTHES)
            (result ?WASH
                (attribute ?CLOTHES Clean))
            (subProcess ?DRY ?SVC)
            (instance ?DRY Drying)
            (patient ?DRY ?CLOTHES)
            (instance ?IRON Ironing)
            (subProcess ?IRON ?SVC)
            (patient ?IRON ?CLOTHES)
            (before
                (BeginFn
                    (WhenFn ?WASH))
                (BeginFn
                    (WhenFn ?DRY)))
            (before
                (BeginFn
                    (WhenFn ?DRY))
                (BeginFn
                    (WhenFn ?IRON))))))
Hotel.kif 1733-1750
(=>
    (instance ?SVC ValetLaundryService)
    (exists (?CUST ?AGENT ?LOC ?CLOTHES ?LAUNDRY ?PICKUP ?DELIVERY)
        (and
            (customer ?CUST ?AGENT)
            (stays ?CUST ?LOC)
            (agent ?SVC ?AGENT)
            (instance ?CLOTHES Clothing)
            (instance ?PICKUP Getting)
            (located ?PICKUP ?LOC)
            (patient ?PICKUP ?CLOTHES)
            (agent ?PICKUP ?AGENT)
            (or
                (instance ?LAUNDRY LaundryService)
                (instance ?LAUNDRY DryCleaningService))
            (agent ?LAUNDRY ?AGENT)
            (patient ?LAUNDRY ?CLOTHES)
            (instance ?DELIVERY DeliveryService)
            (patient ?DELIVERY ?CLOTHES)
            (destination ?DELIVERY ?LOC)
            (before
                (BeginFn
                    (WhenFn ?PICKUP))
                (BeginFn
                    (WhenFn ?LAUNDRY)))
            (before
                (BeginFn
                    (WhenFn ?LAUNDRY))
                (BeginFn
                    (WhenFn ?DELIVERY))))))
Hotel.kif 1775-1796
(=>
    (instance ?X IroningService)
    (exists (?IRON ?CLOTHES)
        (and
            (instance ?CLOTHES Clothing)
            (instance ?IRON Ironing)
            (patient ?IRON ?CLOTHES)
            (subProcess ?IRON ?X))))
Hotel.kif 1804-1811


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners