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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pliable

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 17743-17744
No TPTP formula. May not be expressible in strict first order. Merge.kif 17742-17742 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 17756-17756 Rigid is the opposite of pliable
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46290-46290
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46289-46289
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46288-46288

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4287-4299
No TPTP formula. May not be expressible in strict first order. Cars.kif 4301-4314
No TPTP formula. May not be expressible in strict first order. Merge.kif 17746-17753

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3589-3591
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4457-4459
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 4263-4266
No TPTP formula. May not be expressible in strict first order. Cars.kif 4798-4800
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4592-4594
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4626-4640
No TPTP formula. May not be expressible in strict first order. Cars.kif 4275-4285
No TPTP formula. May not be expressible in strict first order. Cars.kif 3667-3673


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