Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Rigid
|
|
|
| appearance as argument number 1 |
|
|
| (instance Rigid InternalAttribute) | Merge.kif 18112-18112 | Rigid is an instance of internal attribute |
| (contraryAttribute Rigid Pliable) | Merge.kif 18113-18113 | Rigid is the opposite of pliable |
| (documentation Rigid EnglishLanguage "The shape of an Object with this Attribute cannot be altered without breaking.") | Merge.kif 18114-18115 | Rigid is the opposite of pliable |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?S Spear) (attribute ?S Rigid)) |
Mid-level-ontology.kif 1224-1226 | If X is an instance of spear, then rigid is an attribute of X |
| (=> (instance ?SPINE PlantSpinoseStructure) (and (attribute ?SPINE LongAndThin) (attribute ?SPINE Rigid))) |
Mid-level-ontology.kif 11072-11076 | If X is an instance of plant spinose structure, then long and thin is an attribute of X and rigid is an attribute of X |
| (=> (instance ?R Ruler) (attribute ?R Rigid)) |
Mid-level-ontology.kif 34307-34309 | If X is an instance of ruler, then rigid is an attribute of X |
| (=> (instance ?WR WheelRim) (attribute ?WR Rigid)) |
Cars.kif 4703-4705 | If X is an instance of rim, then rigid is an attribute of X |
|