Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Rope(rope) |
| appearance as argument number 1 |
|
| (subclass Rope String) | Mid-level-ontology.kif 33461-33461 | Rope is a subclass of string |
| (documentation Rope EnglishLanguage "Any String that is a CollectionOfObjects of Strings woven together.") | Mid-level-ontology.kif 33462-33463 | Rope is a subclass of string |
| (documentation Rope EnglishLanguage "Any Rope that is designed to be used in RockClimbing. This can include dynamic and static rope.") | Mid-level-ontology.kif 33479-33480 | Rope is a subclass of string |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Rope "rope") | Mid-level-ontology.kif 33465-33465 | |
| (subclass ClimbingRope Rope) | Mid-level-ontology.kif 33478-33478 | Climbing rope is a subclass of rope |
| 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 33467-33476 | If X is an instance of rope, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of string (3) Z is an instance of string (4) equal Y (5) Z (6) Y is a part of X (7) Z is a part of X |
|