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 是 串 的 subclass |
appearance as argument number 2 |
(subclass ClimbingRope Rope) | Mid-level-ontology.kif 30894-30894 | ClimbingRope 是 Rope 的 subclass |
(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 |