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 est une sous-classe de String |
appearance as argument number 2 |
(subclass ClimbingRope Rope) | Mid-level-ontology.kif 30858-30858 | ClimbingRope est une sous-classe de Rope |
(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 |