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 16077-16077 衣類 と 固定アーチファクト は disjoint では
(documentation Clothing ChineseLanguage "这是由面料和可能是其他物料所造成，是给 Human 蔽体用的 Artifact。") chinese_format.kif 3614-3615 衣類 と 固定アーチファクト は disjoint では
(documentation Clothing EnglishLanguage "Artifact made out of fabrics and possibly other materials that are used to cover the bodies of Humans.") Merge.kif 16078-16079 衣類 と 固定アーチファクト は disjoint では
(externalImage Clothing "http://articulatesoftware.com/SUMOpictures/working/ businesses/ clothing.png") pictureList.kif 351-351 衣類 と 固定アーチファクト は disjoint では
(subclass Clothing WearableItem) Merge.kif 16076-16076 衣類 は WearableItem の subclass では

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


(subclass Apron Clothing) Mid-level-ontology.kif 5990-5990 Apron は 衣類 の subclass では
(subclass Belt Clothing) Mid-level-ontology.kif 6005-6005 Belt は 衣類 の subclass では
(subclass Cloak Clothing) Mid-level-ontology.kif 6033-6033 Cloak は 衣類 の subclass では
(subclass Collar Clothing) Mid-level-ontology.kif 6044-6044 Collar は 衣類 の subclass では
(subclass Dress Clothing) Mid-level-ontology.kif 6229-6229 Dress は 衣類 の subclass では
(subclass Glove Clothing) Mid-level-ontology.kif 6067-6067 Glove は 衣類 の subclass では
(subclass Hat Clothing) Mid-level-ontology.kif 6082-6082 Hat は 衣類 の subclass では
(subclass Mask Clothing) Mid-level-ontology.kif 6037-6037 Mask は 衣類 の subclass では
(subclass Oqal Clothing) ArabicCulture.kif 415-415 Oqal は 衣類 の subclass では
(subclass OutdoorClothing Clothing) Mid-level-ontology.kif 5976-5976 OutdoorClothing は 衣類 の subclass では
(subclass Pajamas Clothing) Mid-level-ontology.kif 6257-6257 Pajamas は 衣類 の subclass では
(subclass SafetyVest Clothing) Cars.kif 3615-3615 SafetyVest は 衣類 の subclass では
(subclass Shirt Clothing) Mid-level-ontology.kif 6194-6194 Shirt は 衣類 の subclass では
(subclass Shoe Clothing) Mid-level-ontology.kif 6116-6116 Shoe は 衣類 の subclass では
(subclass Sleeve Clothing) Mid-level-ontology.kif 6205-6205 Sleeve は 衣類 の subclass では
(subclass Sock Clothing) Mid-level-ontology.kif 6179-6179 Sock は 衣類 の subclass では
(subclass TieClothing Clothing) Mid-level-ontology.kif 6019-6019 TieClothing は 衣類 の subclass では
(subclass Trousers Clothing) Mid-level-ontology.kif 6101-6101 Trousers は 衣類 の subclass では
(subclass UniformClothing Clothing) Mid-level-ontology.kif 28584-28584 UniformClothing は 衣類 の subclass では
(subclass Veil Clothing) Mid-level-ontology.kif 6408-6408 Veil は 衣類 の subclass では
(termFormat ChineseLanguage Clothing "服装") chinese_format.kif 1055-1055 Veil は 衣類 の subclass では
(termFormat EnglishLanguage Clothing "clothing") english_format.kif 1321-1321 Veil は 衣類 の subclass では
(termFormat FrenchLanguage Clothing "v�tement") french_format.kif 733-733 Veil は 衣類 の subclass では
(termFormat Hindi Clothing "paridhaana") terms-hindi.txt 264-264 Veil は 衣類 の subclass では

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (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 32037-32048
(=>
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C)))))
    (holdsDuring ?T
        (attribute ?A Naked)))		 Mid-level-ontology.kif 32063-32071
(=>
    (instance ?CLOTHING Clothing)
    (hasPurpose ?CLOTHING
        (exists (?H ?P)
            (and
                (instance ?H Animal)
                (part ?P ?H)
                (covers ?CLOTHING ?P)))))		 Merge.kif 16090-16097
(=>
    (instance ?CLOTHING Clothing)
    (modalAttribute
        (exists (?FABRIC)
            (and
                (instance ?FABRIC Fabric)
                (part ?FABRIC ?CLOTHING))) Likely))		 Merge.kif 16081-16088

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 32096-32106 エンティティー は 体の部分 の instance では Bare は エンティティー の attribute では は 時間位置 の during holds エンティティー エンティティー は 衣類 の instance では covers エンティティー and エンティティー は 時間位置 の during holds
(=>
    (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 6440-6455
(=>
    (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 6009-6017
(=>
    (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 32024-32035
(=>
    (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 32078-32091
(=>
    (holdsDuring ?T
        (attribute ?A Naked))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C))))))		 Mid-level-ontology.kif 32053-32061
(=>
    (instance ?B Button)
    (hasPurpose ?B
        (exists (?C)
            (and
                (instance ?C Clothing)
                (part ?B ?C)))))		 Mid-level-ontology.kif 4707-4713
(=>
    (instance ?POCKET Pocket)
    (exists (?CLOTHING)
        (and
            (instance ?CLOTHING Clothing)
            (part ?POCKET ?CLOTHING))))		 Mid-level-ontology.kif 6357-6362
(=>
    (instance ?S Sewing)
    (capability Clothing patient ?S))		 Mid-level-ontology.kif 6560-6562
(=>
    (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 1820-1830
(=>
    (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 1796-1813
(=>
    (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 1838-1859
(=>
    (instance ?X IroningService)
    (exists (?IRON ?CLOTHES)
        (and
            (instance ?CLOTHES Clothing)
            (instance ?IRON Ironing)
            (patient ?IRON ?CLOTHES)
            (subProcess ?IRON ?X))))		 Hotel.kif 1867-1874


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