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 30871-30872 | |
(documentation Rope EnglishLanguage "Any String that is a Collection of strings woven together.") | Mid-level-ontology.kif 30854-30855 | |
(subclass Rope String) | Mid-level-ontology.kif 30853-30853 |
appearance as argument number 2 |
(subclass ClimbingRope Rope) | Mid-level-ontology.kif 30870-30870 | |
(termFormat EnglishLanguage Rope "rope") | Mid-level-ontology.kif 30857-30857 |
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 30859-30868 |