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 15619-15619 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 15620-15621
(externalImage Clothing "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ working/ businesses/ clothing.png") pictureList.kif 351-351
(subclass Clothing WearableItem) Merge.kif 15618-15618 Clothing is a subclass of wearable item

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


(subclass Apron Clothing) Mid-level-ontology.kif 4775-4775 Apron is a subclass of clothing
(subclass Belt Clothing) Mid-level-ontology.kif 4790-4790 Belt is a subclass of clothing
(subclass Cloak Clothing) Mid-level-ontology.kif 4818-4818 Cloak is a subclass of clothing
(subclass Collar Clothing) Mid-level-ontology.kif 4829-4829 Collar is a subclass of clothing
(subclass Dress Clothing) Mid-level-ontology.kif 5014-5014 Dress is a subclass of clothing
(subclass Glove Clothing) Mid-level-ontology.kif 4852-4852 Glove is a subclass of clothing
(subclass Hat Clothing) Mid-level-ontology.kif 4867-4867 Hat is a subclass of clothing
(subclass Mask Clothing) Mid-level-ontology.kif 4822-4822 Mask is a subclass of clothing
(subclass Oqal Clothing) ArabicCulture.kif 402-402 Oqal is a subclass of clothing
(subclass OutdoorClothing Clothing) Mid-level-ontology.kif 4761-4761 Outdoor clothing is a subclass of clothing
(subclass SafetyVest Clothing) Cars.kif 3558-3558 SafetyVest is a subclass of clothing
(subclass Shirt Clothing) Mid-level-ontology.kif 4979-4979 Shirt is a subclass of clothing
(subclass Shoe Clothing) Mid-level-ontology.kif 4901-4901 Shoe is a subclass of clothing
(subclass Sleeve Clothing) Mid-level-ontology.kif 4990-4990 Sleeve is a subclass of clothing
(subclass Sock Clothing) Mid-level-ontology.kif 4964-4964 Sock is a subclass of clothing
(subclass TieClothing Clothing) Mid-level-ontology.kif 4804-4804 Tie clothing is a subclass of clothing
(subclass Trousers Clothing) Mid-level-ontology.kif 4886-4886 Trousers is a subclass of clothing
(subclass UniformClothing Clothing) Mid-level-ontology.kif 26033-26033 Uniform is a subclass of clothing
(subclass Veil Clothing) Mid-level-ontology.kif 5163-5163 Veil is a subclass of clothing
(termFormat ChineseLanguage Clothing "服装") chinese_format.kif 1055-1055
(termFormat EnglishLanguage Clothing "clothing") english_format.kif 1321-1321

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


(=>
    (instance ?CLOTHING Clothing)
    (hasPurpose ?CLOTHING
        (exists (?H ?P)
            (and
                (instance ?H Animal)
                (part ?P ?H)
                (covers ?CLOTHING ?P)))))
Merge.kif 15632-15639
(=>
    (instance ?CLOTHING Clothing)
    (modalAttribute
        (exists (?FABRIC)
            (and
                (instance ?FABRIC Fabric)
                (part ?FABRIC ?CLOTHING))) Likely))
Merge.kif 15623-15630

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 29556-29566 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 29523-29531 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 the other entity 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 5195-5210
(=>
    (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 7509-7521
(=>
    (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 4794-4802
(=>
    (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 29538-29551
(=>
    (instance ?B Button)
    (hasPurpose ?B
        (exists (?C)
            (and
                (instance ?C Clothing)
                (part ?B ?C)))))
Mid-level-ontology.kif 4155-4161
(=>
    (instance ?POCKET Pocket)
    (exists (?CLOTHING)
        (and
            (instance ?CLOTHING Clothing)
            (part ?POCKET ?CLOTHING))))
Mid-level-ontology.kif 5112-5117
(=>
    (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 1784-1794
(=>
    (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 1760-1777
(=>
    (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 1802-1823
(=>
    (instance ?X IroningService)
    (exists (?IRON ?CLOTHES)
        (and
            (instance ?CLOTHES Clothing)
            (instance ?IRON Ironing)
            (patient ?IRON ?CLOTHES)
            (subProcess ?IRON ?X))))
Hotel.kif 1831-1838


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