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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fabric
Fabric(fabric)Acrilan, Aertex, Bedford_cord, Brussels_carpet, Brussels_lace, Canton_crepe, Courtelle, Dacron, Harris_Tweed, Mackinaw_blanket, Orlon, Terylene, Turkish_towel, Ultrasuede, Valenciennes, Valenciennes_lace, Velcro, Viyella, aba, acetate, acetate_rayon, acrylic, adhesive_bandage, afghan, alpaca, antimacassar, apishamore, bagging, baize, balbriggan, band, bandage, banding, banner, basket_weave, bath_linen, bath_mat, bath_towel, batik, batiste, bed_cover, bed_covering, bedcover, bedding, bedding_material, bedroll, bedspread, blindfold, bobbin_lace, bombazine...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14726-14726 Fabric is disjoint from stationary artifact
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3609-3611
No TPTP formula. May not be expressible in strict first order. Merge.kif 14727-14732
No TPTP formula. May not be expressible in strict first order. Merge.kif 14725-14725 Fabric is a subclass of artifact

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1890-1890 Fabric is an industry product type of fabric mills
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5932-5932 Bandage is a subclass of fabric
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5682-5682 Blanket is a subclass of fabric
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5701-5701 Cotton fabric is a subclass of fabric
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12882-12882 Curtain is a subclass of fabric
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5625-5625 Leather is a subclass of fabric
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5667-5667 Pocket is a subclass of fabric
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5597-5597 Rug is a subclass of fabric
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5638-5638 Silk is a subclass of fabric
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5611-5611 Towel is a subclass of fabric
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5653-5653 Wool is a subclass of fabric
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1054-1054
No TPTP formula. May not be expressible in strict first order. english_format.kif 1324-1324

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23192-23203

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


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. naics.kif 1944-1960
No TPTP formula. May not be expressible in strict first order. naics.kif 2085-2101
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23130-23141
No TPTP formula. May not be expressible in strict first order. Merge.kif 14751-14756
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10888-10893
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5859-5864
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4192-4194
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24440-24446
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4705-4712
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6462-6467
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4602-4604
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4490-4501
No TPTP formula. May not be expressible in strict first order. Cars.kif 3642-3648


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