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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Clothing

 Sigma KEE - Clothing
Clothing(Vestito)

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


(disjoint Clothing StationaryArtifact) Merge.kif 15901-15901 Vestito è disgiunto da ManufattoStatico
(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 15902-15903
(externalImage Clothing "http://articulatesoftware.com/SUMOpictures/working/ businesses/ clothing.png") pictureList.kif 351-351
(subclass Clothing WearableItem) Merge.kif 15900-15900 Vestito è una sottoclasse di WearableItem

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


(subclass Apron Clothing) Mid-level-ontology.kif 5053-5053 Apron è una sottoclasse di Vestito
(subclass Belt Clothing) Mid-level-ontology.kif 5068-5068 Belt è una sottoclasse di Vestito
(subclass Cloak Clothing) Mid-level-ontology.kif 5096-5096 Cloak è una sottoclasse di Vestito
(subclass Collar Clothing) Mid-level-ontology.kif 5107-5107 Collar è una sottoclasse di Vestito
(subclass Dress Clothing) Mid-level-ontology.kif 5292-5292 Dress è una sottoclasse di Vestito
(subclass Glove Clothing) Mid-level-ontology.kif 5130-5130 Glove è una sottoclasse di Vestito
(subclass Hat Clothing) Mid-level-ontology.kif 5145-5145 Hat è una sottoclasse di Vestito
(subclass Mask Clothing) Mid-level-ontology.kif 5100-5100 Mask è una sottoclasse di Vestito
(subclass Oqal Clothing) ArabicCulture.kif 415-415 Oqal è una sottoclasse di Vestito
(subclass OutdoorClothing Clothing) Mid-level-ontology.kif 5039-5039 OutdoorClothing è una sottoclasse di Vestito
(subclass Pajamas Clothing) Mid-level-ontology.kif 5320-5320 Pajamas è una sottoclasse di Vestito
(subclass SafetyVest Clothing) Cars.kif 3554-3554 SafetyVest è una sottoclasse di Vestito
(subclass Shirt Clothing) Mid-level-ontology.kif 5257-5257 Shirt è una sottoclasse di Vestito
(subclass Shoe Clothing) Mid-level-ontology.kif 5179-5179 Shoe è una sottoclasse di Vestito
(subclass Sleeve Clothing) Mid-level-ontology.kif 5268-5268 Sleeve è una sottoclasse di Vestito
(subclass Sock Clothing) Mid-level-ontology.kif 5242-5242 Sock è una sottoclasse di Vestito
(subclass TieClothing Clothing) Mid-level-ontology.kif 5082-5082 TieClothing è una sottoclasse di Vestito
(subclass Trousers Clothing) Mid-level-ontology.kif 5164-5164 Trousers è una sottoclasse di Vestito
(subclass UniformClothing Clothing) Mid-level-ontology.kif 26685-26685 UniformClothing è una sottoclasse di Vestito
(subclass Veil Clothing) Mid-level-ontology.kif 5471-5471 Veil è una sottoclasse di Vestito
(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 15914-15921
(=>
    (instance ?CLOTHING Clothing)
    (modalAttribute
        (exists (?FABRIC)
            (and
                (instance ?FABRIC Fabric)
                (part ?FABRIC ?CLOTHING))) Likely))		 Merge.kif 15905-15912

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 30178-30188 Entit� è un' istanza di ParteDelCorpo attribute Entit� and Bare vales durante PosizioneTemporale Entit� Entit� è un' istanza di Vestito covers Entit� and Entit� vales durante PosizioneTemporale
(<=>
    (holdsDuring ?T
        (attribute ?A Naked))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C))))))		 Mid-level-ontology.kif 30145-30153 attribute Entit� and Naked vales durante PosizioneTemporale Entit� Entit� è un' istanza di Vestito wears Entit� and Entit� vales durante PosizioneTemporale
(=>
    (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 5503-5518
(=>
    (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 5072-5080
(=>
    (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 30160-30173
(=>
    (instance ?B Button)
    (hasPurpose ?B
        (exists (?C)
            (and
                (instance ?C Clothing)
                (part ?B ?C)))))		 Mid-level-ontology.kif 4264-4270
(=>
    (instance ?POCKET Pocket)
    (exists (?CLOTHING)
        (and
            (instance ?CLOTHING Clothing)
            (part ?POCKET ?CLOTHING))))		 Mid-level-ontology.kif 5420-5425
(=>
    (instance ?S Sewing)
    (capability Clothing patient ?S))		 Mid-level-ontology.kif 5623-5625
(=>
    (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 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 3.0 is open source software produced by Articulate Software and its partners