|
|
   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 30895-30896 | |
| (documentation Rope EnglishLanguage "Any String that is a Collection of strings woven together.") | Mid-level-ontology.kif 30878-30879 | |
| (subclass Rope String) | Mid-level-ontology.kif 30877-30877 | Rope は String の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass ClimbingRope Rope) | Mid-level-ontology.kif 30894-30894 | ClimbingRope は Rope の subclass では %n |
| (termFormat EnglishLanguage Rope "rope") | Mid-level-ontology.kif 30881-30881 |
| 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 30883-30892 |
|
|
|