Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(subclass Clothing WearableItem) Merge.kif 16244-16244 Clothing is a subclass of wearable item
(disjoint Clothing StationaryArtifact) Merge.kif 16245-16245 Clothing is disjoint from stationary artifact
(documentation Clothing EnglishLanguage "Artifact made out of fabrics and possibly other materials that are used to cover the bodies of Humans.") Merge.kif 16246-16247 Clothing is disjoint from stationary artifact
(defaultMinimumMeasure Clothing
    (MeasureFn 0.1 PoundMass))		 DimensioningAmenities.kif 920-920 The minimum expected value of clothing is 0.1 pound mass(s)
(defaultMaximumMeasure Clothing
    (MeasureFn 3 PoundMass))		 DimensioningAmenities.kif 921-921 The maximum expected value of clothing is 3 pound mass(s)
(externalImage Clothing "http://articulatesoftware.com/SUMOpictures/working/ businesses/ clothing.png") pictureList.kif 351-351 The maximum expected value of clothing is 3 pound mass(s)

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


(subclass OutdoorClothing Clothing) Mid-level-ontology.kif 6096-6096 Outdoor clothing is a subclass of clothing
(subclass Apron Clothing) Mid-level-ontology.kif 6110-6110 Apron is a subclass of clothing
(subclass Belt Clothing) Mid-level-ontology.kif 6125-6125 Belt is a subclass of clothing
(subclass TieClothing Clothing) Mid-level-ontology.kif 6139-6139 Tie is a subclass of clothing
(subclass Cloak Clothing) Mid-level-ontology.kif 6153-6153 Cloak is a subclass of clothing
(subclass Mask Clothing) Mid-level-ontology.kif 6157-6157 Mask is a subclass of clothing
(subclass Collar Clothing) Mid-level-ontology.kif 6164-6164 Collar is a subclass of clothing
(subclass Glove Clothing) Mid-level-ontology.kif 6187-6187 Glove is a subclass of clothing
(subclass Hat Clothing) Mid-level-ontology.kif 6202-6202 Hat is a subclass of clothing
(subclass Trousers Clothing) Mid-level-ontology.kif 6221-6221 Trousers is a subclass of clothing
(subclass Shoe Clothing) Mid-level-ontology.kif 6236-6236 Shoe is a subclass of clothing
(subclass Sock Clothing) Mid-level-ontology.kif 6299-6299 Sock is a subclass of clothing
(subclass Shirt Clothing) Mid-level-ontology.kif 6314-6314 Shirt is a subclass of clothing
(subclass Sleeve Clothing) Mid-level-ontology.kif 6325-6325 Sleeve is a subclass of clothing
(subclass Dress Clothing) Mid-level-ontology.kif 6349-6349 Dress is a subclass of clothing
(subclass Pajamas Clothing) Mid-level-ontology.kif 6378-6378 Pajamas is a subclass of clothing
(subclass Veil Clothing) Mid-level-ontology.kif 6552-6552 Veil is a subclass of clothing
(subclass UniformClothing Clothing) Mid-level-ontology.kif 29229-29229 Uniform is a subclass of clothing
(subclass Oqal Clothing) ArabicCulture.kif 414-414 Oqal is a subclass of clothing
(subclass SafetyVest Clothing) Cars.kif 3418-3418 Safety vest is a subclass of clothing
(termFormat EnglishLanguage Clothing "clothing") english_format.kif 1325-1325 Safety vest is a subclass of clothing

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


(=>
    (instance ?CLOTHING Clothing)
    (modalAttribute
        (exists (?FABRIC)
            (and
                (instance ?FABRIC Fabric)
                (part ?FABRIC ?CLOTHING))) Likely))		 Merge.kif 16249-16256 If X is an instance of clothing, then the statement there exists Y such that Y is an instance of fabric and Y is a part of X has the modal force of likely
(=>
    (instance ?CLOTHING Clothing)
    (hasPurpose ?CLOTHING
        (exists (?H ?P)
            (and
                (instance ?H Animal)
                (part ?P ?H)
                (covers ?CLOTHING ?P)))))		 Merge.kif 16258-16265 If X is an instance of clothing, then X has the purpose there exist Y, Z such that Y is an instance of animal, Z is a part of Y, and X covers Z
(=>
    (holdsDuring ?T
        (and
            (not
                (exists (?C)
                    (and
                        (instance ?C Clothing)
                        (covers ?C ?F))))
            (instance ?F Foot)
            (part ?F ?A)))
    (holdsDuring ?T
        (attribute ?A Barefoot)))		 Mid-level-ontology.kif 32703-32714 If there doesn't exist X such that X is an instance of clothing, X covers Y, Y is an instance of foot, and Y is a part of Z holds during W, then barefoot is an attribute of Z holds during W
(=>
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C)))))
    (holdsDuring ?T
        (attribute ?A Naked)))		 Mid-level-ontology.kif 32729-32737 If there doesn't exist X such that X is an instance of clothing and Y wears X holds during Z, then naked is an attribute of Y holds during Z

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


(=>
    (instance ?B Button)
    (hasPurpose ?B
        (exists (?C)
            (and
                (instance ?C Clothing)
                (part ?B ?C)))))		 Mid-level-ontology.kif 4882-4888 If X is an instance of button, then X has the purpose there exists Y such that Y is an instance of clothing and X is a part of Y
(=>
    (and
        (wears ?P ?B)
        (instance ?B Belt))
    (exists (?C)
        (and
            (instance ?C Clothing)
            (wears ?P ?C)
            (meetsSpatially ?B ?C))))		 Mid-level-ontology.kif 6129-6137 If X wears Y and Y is an instance of belt, then there exists Z such that Z is an instance of clothing, X wears Z, and Y meets Z
(=>
    (instance ?POCKET Pocket)
    (exists (?CLOTHING)
        (and
            (instance ?CLOTHING Clothing)
            (part ?POCKET ?CLOTHING))))		 Mid-level-ontology.kif 6501-6506 If X is an instance of pocket, then there exists Y such that Y is an instance of clothing and X is a part of Y
(=>
    (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 6584-6599 If X is an instance of dressing, Y is an agent of X, and Z is a patient of X, then Z is an instance of clothing, Y doesn't wear Z holds during the beginning of the time of existence of X, and Y wears Z holds during the end of the time of existence of X
(=>
    (instance ?S Sewing)
    (capability Clothing patient ?S))		 Mid-level-ontology.kif 6704-6706 If X is an instance of sewing, then X is capable of doing clothing as a patient
(=>
    (holdsDuring ?T
        (and
            (attribute ?A Barefoot)
            (instance ?F Foot)
            (part ?F ?A)))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (covers ?C ?F))))))		 Mid-level-ontology.kif 32690-32701 If barefoot is an attribute of X, Y is an instance of foot, and Y is a part of X holds during Z, then there doesn't exist W such that W is an instance of clothing and W covers Y holds during Z
(=>
    (holdsDuring ?T
        (attribute ?A Naked))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C))))))		 Mid-level-ontology.kif 32719-32727 If naked is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of clothing and X wears Z holds during Y
(=>
    (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 32744-32757 If clothed is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of reproductive body, Z is a part of X, there doesn't exist W such that W is an instance of clothing, and W covers Z holds during Y
(<=>
    (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 32762-32772 X is an instance of body part, bare is an attribute of X holds during Y if, only if there doesn't exist Z such that Z is an instance of clothing, and Z covers X holds during Y
(=>
    (instance ?SVC LaundryService)
    (exists (?CLOTHES ?WASH ?DRY ?IRON)
        (and
            (instance ?CLOTHES Clothing)
            (patient ?SVC ?CLOTHES)
            (subProcess ?WASH ?SVC)
            (instance ?WASH Washing)
            (patient ?WASH ?CLOTHES)
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?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 1796-1816 If X is an instance of laundry service, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of clothing (3) Y is a patient of X (4) Z is a subprocess of X (5) Z is an instance of washing (6) Y is a patient of Z (7) clean is an attribute of Y holds during immediately after the time of existence of Z (8) W is a subprocess of X (9) W is an instance of drying (10) Y is a patient of W (11) V is an instance of ironing (12) V is a subprocess of X (13) Y is a patient of V (14) the beginning of the time of existence of Z happens before the beginning of the time of existence of W (15) the beginning of the time of existence of W happens before the beginning of the time of existence of V
(=>
    (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)
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?SVC))
                (attribute ?CLOTHES Clean)))))		 Hotel.kif 1823-1836 If X is an instance of dry-clean, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of clothing (3) Z is not an instrument for X (4) Z is an instance of water (5) W is an instance of chemical product (6) W is an instrument for X (7) Y is a patient of X (8) clean is an attribute of Y holds during immediately after the time of existence of X
(=>
    (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 1844-1865 If X is an instance of valet laundry, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U,, , T (2) S such that Z is a customer of Y (3) Y stays at W (4) Z is an agent of X (5) V is an instance of clothing (6) T is an instance of getting (7) T is located at W (8) V is a patient of T (9) Z is an agent of T (10) U is an instance of laundry service or U is an instance of dry-clean (11) Z is an agent of U (12) V is a patient of U (13) S is an instance of delivery service (14) V is a patient of S (15) S ends up at W (16) the beginning of the time of existence of T happens before the beginning of the time of existence of U (17) the beginning of the time of existence of U happens before the beginning of the time of existence of S
(=>
    (instance ?X IroningService)
    (exists (?IRON ?CLOTHES)
        (and
            (instance ?CLOTHES Clothing)
            (instance ?IRON Ironing)
            (patient ?IRON ?CLOTHES)
            (subProcess ?IRON ?X))))		 Hotel.kif 1873-1880 If X is an instance of ironing service, then there exist Y, Z such that Z is an instance of clothing, Y is an instance of ironing, Z is a patient of Y, and Y is a subprocess of X
(=>
    (instance ?DEVICE ClothesWashingMachine)
    (hasPurpose ?DEVICE
        (exists (?CLOTH ?CLEANING)
            (and
                (or
                    (instance ?CLOTH Fabric)
                    (instance ?CLOTH Clothing))
                (instance ?CLEANING Washing)
                (patient ?CLEANING ?CLOTH)
                (instrument ?CLEANING ?DEVICE)))))		 HouseholdAppliances.kif 660-670 If X is an instance of clothes washing machine, then X has the purpose there exist Y, Z such that Y is an instance of fabric or Y is an instance of clothing, Z is an instance of washing, Y is a patient of Z, and X is an instrument for Z
(=>
    (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 2188-2204 If X is an instance of organization and apparel manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of clothing (7) W is a patient of Y (8) V is a member of X (9) U is an instance of selling (10) V is an agent of U (11) W is a patient of U
(=>
    (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 2451-2469 If X is an instance of organization and leather and allied product manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of clothing or W is an instance of fabric (7) W is a patient of Y (8) V is a member of X (9) U is an instance of selling (10) V is an agent of U (11) W is a patient of U
(=>
    (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 7506-7518 If X is an instance of organization and clothing and clothing accessories stores is an attribute of X, then there exist Y, Z such that Z is a member of X, Y is an agent of Z, there exists W such that Y is an instance of selling, W is an instance of clothing, and W is a patient of Y


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.0-59f850aa (2026-04-26) is open source software produced by Articulate Software and its partners