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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Clothing
Clothing

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


(disjoint Clothing StationaryArtifact) Merge.kif 15751-15751
(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 15752-15753
(externalImage Clothing "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ working/ businesses/ clothing.png") pictureList.kif 351-351
(subclass Clothing WearableItem) Merge.kif 15750-15750

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


(subclass Apron Clothing) Mid-level-ontology.kif 5013-5013
(subclass Belt Clothing) Mid-level-ontology.kif 5028-5028
(subclass Cloak Clothing) Mid-level-ontology.kif 5056-5056
(subclass Collar Clothing) Mid-level-ontology.kif 5067-5067
(subclass Dress Clothing) Mid-level-ontology.kif 5252-5252
(subclass Glove Clothing) Mid-level-ontology.kif 5090-5090
(subclass Hat Clothing) Mid-level-ontology.kif 5105-5105
(subclass Mask Clothing) Mid-level-ontology.kif 5060-5060
(subclass Oqal Clothing) ArabicCulture.kif 415-415
(subclass OutdoorClothing Clothing) Mid-level-ontology.kif 4999-4999
(subclass Pajamas Clothing) Mid-level-ontology.kif 5280-5280
(subclass SafetyVest Clothing) Cars.kif 3554-3554
(subclass Shirt Clothing) Mid-level-ontology.kif 5217-5217
(subclass Shoe Clothing) Mid-level-ontology.kif 5139-5139
(subclass Sleeve Clothing) Mid-level-ontology.kif 5228-5228
(subclass Sock Clothing) Mid-level-ontology.kif 5202-5202
(subclass TieClothing Clothing) Mid-level-ontology.kif 5042-5042
(subclass Trousers Clothing) Mid-level-ontology.kif 5124-5124
(subclass UniformClothing Clothing) Mid-level-ontology.kif 26579-26579
(subclass Veil Clothing) Mid-level-ontology.kif 5431-5431
(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 15764-15771
(=>
    (instance ?CLOTHING Clothing)
    (modalAttribute
        (exists (?FABRIC)
            (and
                (instance ?FABRIC Fabric)
                (part ?FABRIC ?CLOTHING))) Likely))
Merge.kif 15755-15762

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 30094-30104
(<=>
    (holdsDuring ?T
        (attribute ?A Naked))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C))))))
Mid-level-ontology.kif 30061-30069
(=>
    (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 5463-5478
(=>
    (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 5032-5040
(=>
    (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 30076-30089
(=>
    (instance ?B Button)
    (hasPurpose ?B
        (exists (?C)
            (and
                (instance ?C Clothing)
                (part ?B ?C)))))
Mid-level-ontology.kif 4224-4230
(=>
    (instance ?POCKET Pocket)
    (exists (?CLOTHING)
        (and
            (instance ?CLOTHING Clothing)
            (part ?POCKET ?CLOTHING))))
Mid-level-ontology.kif 5380-5385
(=>
    (instance ?S Sewing)
    (capability Clothing patient ?S))
Mid-level-ontology.kif 5583-5585
(=>
    (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 1809-1819
(=>
    (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 1785-1802
(=>
    (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 1827-1848
(=>
    (instance ?X IroningService)
    (exists (?IRON ?CLOTHES)
        (and
            (instance ?CLOTHES Clothing)
            (instance ?IRON Ironing)
            (patient ?IRON ?CLOTHES)
            (subProcess ?IRON ?X))))
Hotel.kif 1856-1863


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