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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ShapeChange

Sigma KEE - ShapeChange
ShapeChange(shape change)abrade, abrase, acuminate, arc, arch, arrange, bead, beaten, bend, bending, bevel, bloat, block, blow, blow_up, blunt, bob, boss, brecciate, buckle, butterfly, calender, cave, cavern, cavern_out, chamfer, change_form, change_shape, chase, chisel, cockle, cog, coif, coiffe, coiffure, coil, comb, cone, conglobate, conglobe, constellate, contort, contortion, convolute, convolve, convulse, core_out, corrade, corrugate, crank...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3198-3198
No TPTP formula. May not be expressible in strict first order. Merge.kif 12653-12654
No TPTP formula. May not be expressible in strict first order. Merge.kif 12652-12652 Shape change is a subclass of internal change

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


No TPTP formula. May not be expressible in strict first order. Food.kif 963-963 Crushing is a subclass of shape change
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3165-3165 Folding is a subclass of shape change
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1175-1175
No TPTP formula. May not be expressible in strict first order. english_format.kif 1567-1567
No TPTP formula. May not be expressible in strict first order. french_format.kif 853-853
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 385-385
No TPTP formula. May not be expressible in strict first order. terms-it.txt 388-388
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2537-2537
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 805-805
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 424-424
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 874-874
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 389-389

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12656-12669

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


No TPTP formula. May not be expressible in strict first order. Food.kif 980-992
No TPTP formula. May not be expressible in strict first order. Food.kif 994-1003
No TPTP formula. May not be expressible in strict first order. Merge.kif 17746-17753
No TPTP formula. May not be expressible in strict first order. Economy.kif 5990-5999
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3280-3288


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