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 16063-16063 disjoint 衣類 and 固定アーチファクト
(documentation Clothing ChineseLanguage "这是由面料和可能是其他物料所造成,是给 Human 蔽体用的 Artifact。") Merge.kif 16066-16067
(documentation Clothing EnglishLanguage "Artifact made out of fabrics and possibly other materials that are used to cover the bodies of Humans.") Merge.kif 16064-16065
(externalImage Clothing "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ working/ businesses/ clothing.png") pictureList.kif 351-351 externalImage 衣類 and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ working/ businesses/ clothing.png"
(subclass Clothing WearableItem) Merge.kif 16062-16062 subclass 衣類 and WearableItem

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


(subclass Apron Clothing) Mid-level-ontology.kif 5353-5353 subclass Apron and 衣類
(subclass Belt Clothing) Mid-level-ontology.kif 5367-5367 subclass Belt and 衣類
(subclass Cloak Clothing) Mid-level-ontology.kif 5394-5394 subclass Cloak and 衣類
(subclass Collar Clothing) Mid-level-ontology.kif 5398-5398 subclass Collar and 衣類
(subclass Dress Clothing) Mid-level-ontology.kif 5567-5567 subclass Dress and 衣類
(subclass Glove Clothing) Mid-level-ontology.kif 5420-5420 subclass Glove and 衣類
(subclass Hat Clothing) Mid-level-ontology.kif 5434-5434 subclass Hat and 衣類
(subclass Oqal Clothing) ArabicCulture.kif 400-400 subclass Oqal and 衣類
(subclass OutdoorClothing Clothing) Mid-level-ontology.kif 5340-5340 subclass OutdoorClothing and 衣類
(subclass SafetyVest Clothing) Cars.kif 3524-3524 subclass SafetyVest and 衣類
(subclass Shirt Clothing) Mid-level-ontology.kif 5535-5535 subclass Shirt and 衣類
(subclass Shoe Clothing) Mid-level-ontology.kif 5466-5466 subclass Shoe and 衣類
(subclass Sleeve Clothing) Mid-level-ontology.kif 5545-5545 subclass Sleeve and 衣類
(subclass Sock Clothing) Mid-level-ontology.kif 5522-5522 subclass Sock and 衣類
(subclass TieClothing Clothing) Mid-level-ontology.kif 5380-5380 subclass TieClothing and 衣類
(subclass Trousers Clothing) Mid-level-ontology.kif 5452-5452 subclass Trousers and 衣類
(subclass UniformClothing Clothing) Mid-level-ontology.kif 24816-24816 subclass UniformClothing and 衣類
(subclass Veil Clothing) Mid-level-ontology.kif 5714-5714 subclass Veil and 衣類
(termFormat ChineseLanguage Clothing "服装") chinese_format.kif 1055-1055 termFormat ChineseLanguage, 衣類 and "服装"
(termFormat EnglishLanguage Clothing "clothing") english_format.kif 1236-1236 termFormat EnglishLanguage, 衣類 and "clothing"
(termFormat JapaneseLanguage Clothing "衣類") english_format.kif 1237-1237 termFormat JapaneseLanguage, 衣類 and "衣類"

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


(=>
    (instance ?CLOTHING Clothing)
    (exists (?FABRIC)
        (and
            (instance ?FABRIC Fabric)
            (part ?FABRIC ?CLOTHING))))
Merge.kif 16069-16074

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 28332-28342 instance エンティティー and 体の部分 holdsDuring 時間位置 and attribute エンティティー and Bare holdsDuring 時間位置 and エンティティー instance エンティティー and 衣類 covers エンティティー and エンティティー
(<=>
    (holdsDuring ?T
        (attribute ?A Naked))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C))))))
Mid-level-ontology.kif 28301-28309 holdsDuring 時間位置 and attribute エンティティー and Naked holdsDuring 時間位置 and エンティティー instance エンティティー and 衣類 wears エンティティー and エンティティー
(=>
    (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 5744-5759
(=>
    (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 7516-7528
(=>
    (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 5370-5378
(=>
    (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 28315-28328
(=>
    (instance ?B Button)
    (hasPurpose ?B
        (exists (?C)
            (and
                (instance ?C Clothing)
                (part ?B ?C)))))
Mid-level-ontology.kif 4738-4744
(=>
    (instance ?POCKET Pocket)
    (exists (?CLOTHING)
        (and
            (instance ?CLOTHING Clothing)
            (part ?POCKET ?CLOTHING))))
Mid-level-ontology.kif 5665-5670
(=>
    (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 1753-1763
(=>
    (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 1729-1746
(=>
    (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 1771-1792
(=>
    (instance ?X IroningService)
    (exists (?IRON ?CLOTHES)
        (and
            (instance ?CLOTHES Clothing)
            (instance ?IRON Ironing)
            (patient ?IRON ?CLOTHES)
            (subProcess ?IRON ?X))))
Hotel.kif 1800-1807


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners