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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Clothing

Sigma KEE - Clothing
Clothing(clothing)
A-line, Afro-wig, BVD, BVD's, Bermuda_shorts, Bikini, Blucher, Burberry, Eton_jacket, G-string, G._L._von_Blucher, Gebhard_Leberecht_von_Blucher, Geneva_gown, Glengarry, Hessian_boot, Jamaica_shorts, Jockey_shorts, Kurdistan, Mother_Hubbard, Norfolk_jacket, Prince_Albert, Skivvies, Sunday_best, Sunday_clothes, V_neck, Wellington, Wellington_boot, aba, abbreviated, academic_costume, academic_gown, academic_robe, accessory, accouterment, accoutrement, activewear, adjusted, aegis, alb, altogether, anorak, ao_dai, apparel, appareled, arctic, arm_band, arm_guard, arm_pad, armband, armet...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15619-15619 Clothing is disjoint from stationary artifact
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3614-3615
No TPTP formula. May not be expressible in strict first order. Merge.kif 15620-15621
No TPTP formula. May not be expressible in strict first order. pictureList.kif 351-351
No TPTP formula. May not be expressible in strict first order. Merge.kif 15618-15618 Clothing is a subclass of wearable item

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4775-4775 Apron is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4790-4790 Belt is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4818-4818 Cloak is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4829-4829 Collar is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5014-5014 Dress is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4852-4852 Glove is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4867-4867 Hat is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4822-4822 Mask is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 402-402 Oqal is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4761-4761 Outdoor clothing is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Cars.kif 3558-3558 SafetyVest is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4979-4979 Shirt is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4901-4901 Shoe is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4990-4990 Sleeve is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4964-4964 Sock is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4804-4804 Tie clothing is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4886-4886 Trousers is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26033-26033 Uniform is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5163-5163 Veil is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1055-1055
No TPTP formula. May not be expressible in strict first order. english_format.kif 1321-1321

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15632-15639
No TPTP formula. May not be expressible in strict first order. Merge.kif 15623-15630

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29556-29566 An entity is an instance of body part and Bare is an attribute of the entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the other entity covers the entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29523-29531 Naked is an attribute of an entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the entity wears the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5195-5210
No TPTP formula. May not be expressible in strict first order. naics.kif 2194-2210
No TPTP formula. May not be expressible in strict first order. naics.kif 7509-7521
No TPTP formula. May not be expressible in strict first order. naics.kif 2457-2475
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4794-4802
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29538-29551
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4155-4161
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5112-5117
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1784-1794
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1760-1777
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1802-1823
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1831-1838


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