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 16519-16520
No TPTP formula. May not be expressible in strict first order. Merge.kif 16518-16518 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 16532-16532 Rigid is the opposite of pliable
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46210-46210
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46209-46209
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46208-46208

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4261-4273
No TPTP formula. May not be expressible in strict first order. Cars.kif 4275-4288
No TPTP formula. May not be expressible in strict first order. Merge.kif 16522-16529

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3567-3569
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4939-4941
No TPTP formula. May not be expressible in strict first order. Cars.kif 2302-2304
No TPTP formula. May not be expressible in strict first order. Cars.kif 4237-4240
No TPTP formula. May not be expressible in strict first order. Cars.kif 4779-4781
No TPTP formula. May not be expressible in strict first order. Cars.kif 4249-4259
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