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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 16077-16077 Clothing is disjoint from stationary artifact
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3614-3615 Clothing is disjoint from stationary artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 16078-16079 Clothing is disjoint from stationary artifact
No TPTP formula. May not be expressible in strict first order. pictureList.kif 351-351 Clothing is disjoint from stationary artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 16076-16076 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 5990-5990 Apron is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6005-6005 Belt is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6033-6033 Cloak is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6044-6044 Collar is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6229-6229 Dress is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6067-6067 Glove is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6082-6082 Hat is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6037-6037 Mask is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 415-415 Oqal is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5976-5976 Outdoor clothing is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6257-6257 Pajamas is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Cars.kif 3615-3615 Safety vest is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6194-6194 Shirt is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6116-6116 Shoe is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6205-6205 Sleeve is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6179-6179 Sock is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6019-6019 Tie clothing is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6101-6101 Trousers is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28584-28584 Uniform is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6408-6408 Veil is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1055-1055 Veil is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. english_format.kif 1321-1321 Veil is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. french_format.kif 733-733 Veil is a subclass of clothing
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 264-264 Veil is a subclass of clothing

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32037-32048
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32063-32071
No TPTP formula. May not be expressible in strict first order. Merge.kif 16090-16097
No TPTP formula. May not be expressible in strict first order. Merge.kif 16081-16088

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32096-32106 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 6440-6455
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 6009-6017
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32024-32035
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32078-32091
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32053-32061
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4707-4713
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6357-6362
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6560-6562
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1820-1830
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1796-1813
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1838-1859
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1867-1874


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