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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pliable
Pliable(pliable)bendability, bouncy, compressibility, ductile, ductileness, ductility, elastic, elasticity, fictile, flexibility, flexible, flexibleness, live, lively, malleability, malleable, moldable, plastic, plasticity, pliability, pliable, pliancy, pliant, pliantness, resilient, rubberlike, rubbery, semirigid, snap, softness, sponginess, springlike, springy, squeezability, stretch, stretchable, stretchy, supple, suppleness, tensile, tractile, viscoelastic, whip, whippy

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3962-3962
No TPTP formula. May not be expressible in strict first order. Merge.kif 17487-17488
No TPTP formula. May not be expressible in strict first order. Merge.kif 17486-17486 Pliable is an instance of internal attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17500-17500 Rigid is the opposite of pliable
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46273-46273
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46272-46272
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46271-46271

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4290-4302
No TPTP formula. May not be expressible in strict first order. Cars.kif 4304-4317
No TPTP formula. May not be expressible in strict first order. Merge.kif 17490-17497

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3593-3595
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4351-4353
No TPTP formula. May not be expressible in strict first order. Cars.kif 2315-2317
No TPTP formula. May not be expressible in strict first order. Cars.kif 4266-4269
No TPTP formula. May not be expressible in strict first order. Cars.kif 4801-4803
No TPTP formula. May not be expressible in strict first order. Cars.kif 4278-4288
No TPTP formula. May not be expressible in strict first order. Cars.kif 3671-3677


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