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 15973-15973 不相交的 Clothing and StationaryArtifact
(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 15974-15975
(externalImage Clothing "http://articulatesoftware.com/SUMOpictures/working/ businesses/ clothing.png") pictureList.kif 351-351
(subclass Clothing WearableItem) Merge.kif 15972-15972 子類 Clothing and 可穿戴物品

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


(subclass Apron Clothing) Mid-level-ontology.kif 5047-5047 子類 圍裙 and Clothing
(subclass Belt Clothing) Mid-level-ontology.kif 5062-5062 子類 and Clothing
(subclass Cloak Clothing) Mid-level-ontology.kif 5090-5090 子類 披風 and Clothing
(subclass Collar Clothing) Mid-level-ontology.kif 5101-5101 子類 and Clothing
(subclass Dress Clothing) Mid-level-ontology.kif 5286-5286 子類 連衣裙 and Clothing
(subclass Glove Clothing) Mid-level-ontology.kif 5124-5124 子類 手套 and Clothing
(subclass Hat Clothing) Mid-level-ontology.kif 5139-5139 子類 帽子 and Clothing
(subclass Mask Clothing) Mid-level-ontology.kif 5094-5094 子類 Mask and Clothing
(subclass Oqal Clothing) ArabicCulture.kif 415-415 子類 oqal and Clothing
(subclass OutdoorClothing Clothing) Mid-level-ontology.kif 5033-5033 子類 戶外服裝 and Clothing
(subclass Pajamas Clothing) Mid-level-ontology.kif 5314-5314 子類 睡衣 and Clothing
(subclass SafetyVest Clothing) Cars.kif 3539-3539 子類 SafetyVest and Clothing
(subclass Shirt Clothing) Mid-level-ontology.kif 5251-5251 子類 襯衫 and Clothing
(subclass Shoe Clothing) Mid-level-ontology.kif 5173-5173 子類 and Clothing
(subclass Sleeve Clothing) Mid-level-ontology.kif 5262-5262 子類 and Clothing
(subclass Sock Clothing) Mid-level-ontology.kif 5236-5236 子類 襪子 and Clothing
(subclass TieClothing Clothing) Mid-level-ontology.kif 5076-5076 子類 領帶服裝 and Clothing
(subclass Trousers Clothing) Mid-level-ontology.kif 5158-5158 子類 長褲 and Clothing
(subclass UniformClothing Clothing) Mid-level-ontology.kif 26718-26718 子類 UniformClothing and Clothing
(subclass Veil Clothing) Mid-level-ontology.kif 5465-5465 子類 面紗 and Clothing
(termFormat ChineseLanguage Clothing "服装") chinese_format.kif 1055-1055
(termFormat EnglishLanguage Clothing "clothing") english_format.kif 1321-1321
(termFormat FrenchLanguage Clothing "v�tement") french_format.kif 733-733
(termFormat Hindi Clothing "paridhaana") terms-hindi.txt 264-264

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?CLOTHING Clothing)
    (hasPurpose ?CLOTHING
        (exists (?H ?P)
            (and
                (instance ?H Animal)
                (part ?P ?H)
                (covers ?CLOTHING ?P)))))
Merge.kif 15986-15993
(=>
    (instance ?CLOTHING Clothing)
    (modalAttribute
        (exists (?FABRIC)
            (and
                (instance ?FABRIC Fabric)
                (part ?FABRIC ?CLOTHING))) Likely))
Merge.kif 15977-15984

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 30202-30212 Entity and BodyPart 持有期間 TimePosition and attribute Entity and Bare 持有期間 TimePosition and entity entity and Clothing covers entity and Entity
(<=>
    (holdsDuring ?T
        (attribute ?A Naked))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C))))))
Mid-level-ontology.kif 30169-30177 持有期間 TimePosition and attribute entity and Naked 持有期間 TimePosition and entity entity and Clothing 穿 entity and entity
(=>
    (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 5497-5512
(=>
    (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 5066-5074
(=>
    (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 30184-30197
(=>
    (instance ?B Button)
    (hasPurpose ?B
        (exists (?C)
            (and
                (instance ?C Clothing)
                (part ?B ?C)))))
Mid-level-ontology.kif 4257-4263
(=>
    (instance ?POCKET Pocket)
    (exists (?CLOTHING)
        (and
            (instance ?CLOTHING Clothing)
            (part ?POCKET ?CLOTHING))))
Mid-level-ontology.kif 5414-5419
(=>
    (instance ?S Sewing)
    (capability Clothing patient ?S))
Mid-level-ontology.kif 5617-5619
(=>
    (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