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 17926-17927
No TPTP formula. May not be expressible in strict first order. Merge.kif 17925-17925 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 17939-17939 Rigid is the opposite of pliable
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46292-46292 Rigid is the opposite of pliable
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46291-46291 Rigid is the opposite of pliable
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46290-46290 Rigid is the opposite of pliable

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4348-4360
No TPTP formula. May not be expressible in strict first order. Cars.kif 4362-4375
No TPTP formula. May not be expressible in strict first order. Merge.kif 17929-17936

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


No TPTP formula. May not be expressible in strict first order. Military.kif 193-212
No TPTP formula. May not be expressible in strict first order. Cars.kif 3650-3652
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4902-4904
No TPTP formula. May not be expressible in strict first order. Cars.kif 2299-2301
No TPTP formula. May not be expressible in strict first order. Cars.kif 4324-4327
No TPTP formula. May not be expressible in strict first order. Cars.kif 4859-4861
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5037-5039
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5071-5085
No TPTP formula. May not be expressible in strict first order. Cars.kif 4336-4346
No TPTP formula. May not be expressible in strict first order. Cars.kif 3728-3734


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