|
|
   Rope
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Rope EnglishLanguage "Any Rope that is designed to be used in RockClimbing. This can include dynamic and static rope.") | Mid-level-ontology.kif 30859-30860 | |
| (documentation Rope EnglishLanguage "Any String that is a Collection of strings woven together.") | Mid-level-ontology.kif 30842-30843 | |
| (subclass Rope String) | Mid-level-ontology.kif 30841-30841 | Rope 是 串 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass ClimbingRope Rope) | Mid-level-ontology.kif 30858-30858 | ClimbingRope 是 Rope 的 subclass |
| (termFormat EnglishLanguage Rope "rope") | Mid-level-ontology.kif 30845-30845 |
| antecedent |
|
|
| (=> (instance ?R Rope) (exists (?S1 ?S2) (and (instance ?S1 String) (instance ?S2 String) (not (equal ?S1 ?S2)) (part ?S1 ?R) (part ?S2 ?R)))) |
Mid-level-ontology.kif 30847-30856 |
|
|
|