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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Clothing

Sigma KEE - Clothing
Clothing
ชุดชาวอาหรับ, ชุดอาบา, ชุดนักศึกษา, ชุดนิสิต, ชุดนิสิตนักศึกษา, เสื้อครุย, ครุย, ชุดครุย, วิกผมแอฟโฟร, ชุดทรงเอไลน์, ชุดอาวหญ่าย, ชุด, เสื้อผ้า, ผ้านุ่ง, ผ้าผ่อน, อาภรณ์, รองเท้ายางกันน้ำ, ปลอกแขน, หมวกเกราะอาร์เมต, สนับแขน, ปลอกแขน, เครื่องนุ่งห่ม, เครื่องแต่งกาย, แอสคอต, กระจับ, เครื่องแต่งกาย, ผ้าคลุมศีรษะบาบุชก้า, ผ้าโพกศีรษะ, เกราะป้องกันหลัง, หมวกไอ้โม่ง, ไอ้โม่ง, กระโปรงบัลเลต์, สายคาด, สายรัด, สายสะพายกระสุน, เสื้อแบนเยิน, บาร์แมสก์, กิ๊บติดผมทรงยาว, หมวกเกราะบาซิเนต, เสื้อคลุมอาบน้ำ, เครื่องนุ่งห่มชายหาด, ชุดชายหาด, ที่นอนหมอนมุ้ง, เครื่องนอน, แจ็คเก็ตใส่นอน, หมวกทรงกลม, หมวกเบเรต์, ผ้ากันเปื้อน, หมวกบิกกิน, ชุดบิกินี, ทูพีซ, กางเกงบิกินี, หน้ากากกรงนก...

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


(defaultMaximumMeasure Clothing
    (MeasureFn 3 PoundMass))
DimensioningAmenities.kif 919-919
(defaultMinimumMeasure Clothing
    (MeasureFn 0.1 PoundMass))
DimensioningAmenities.kif 918-918
(disjoint Clothing StationaryArtifact) Merge.kif 16011-16011
(documentation Clothing ChineseLanguage "这是由面料和可能是其他物料所造成,是给 Human 蔽体用的 Artifact。") Merge.kif 16014-16015
(documentation Clothing EnglishLanguage "Artifact made out of fabrics and possibly other materials that are used to cover the bodies of Humans.") Merge.kif 16012-16013
(externalImage Clothing "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ working/ businesses/ clothing.png") pictureList.kif 351-351
(subclass Clothing WearableItem) Merge.kif 16010-16010

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


(subclass Apron Clothing) Mid-level-ontology.kif 5353-5353
(subclass Belt Clothing) Mid-level-ontology.kif 5367-5367
(subclass Cloak Clothing) Mid-level-ontology.kif 5394-5394
(subclass Collar Clothing) Mid-level-ontology.kif 5398-5398
(subclass Dress Clothing) Mid-level-ontology.kif 5567-5567
(subclass Glove Clothing) Mid-level-ontology.kif 5420-5420
(subclass Hat Clothing) Mid-level-ontology.kif 5434-5434
(subclass Oqal Clothing) ArabicCulture.kif 400-400
(subclass OutdoorClothing Clothing) Mid-level-ontology.kif 5340-5340
(subclass SafetyVest Clothing) Cars.kif 3524-3524
(subclass Shirt Clothing) Mid-level-ontology.kif 5535-5535
(subclass Shoe Clothing) Mid-level-ontology.kif 5466-5466
(subclass Sleeve Clothing) Mid-level-ontology.kif 5545-5545
(subclass Sock Clothing) Mid-level-ontology.kif 5522-5522
(subclass TieClothing Clothing) Mid-level-ontology.kif 5380-5380
(subclass Trousers Clothing) Mid-level-ontology.kif 5452-5452
(subclass UniformClothing Clothing) Mid-level-ontology.kif 24736-24736
(subclass Veil Clothing) Mid-level-ontology.kif 5714-5714
(termFormat ChineseLanguage Clothing "服装") chinese_format.kif 1055-1055
(termFormat EnglishLanguage Clothing "clothing") english_format.kif 742-742
(termFormat FrenchLanguage Clothing "v�tement") french_format.kif 733-733
(termFormat Hindi Clothing "paridhaana") terms-hindi.txt 264-264
(termFormat ItalianLanguage Clothing "Vestito") terms-it.txt 265-265
(termFormat PortugueseLanguage Clothing "Roupa") portuguese_format.kif 685-685
(termFormat cb Clothing "sanina") terms-cb.txt 269-269

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


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

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 28252-28262
(<=>
    (holdsDuring ?T
        (attribute ?A Naked))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C))))))
Mid-level-ontology.kif 28221-28229
(=>
    (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 28235-28248
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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