| String(string)
| | Lastex, agal, brail, clews, cord, guide_rope, metallic, piping, prolonge, ripcord, rope, rope_yarn, strand, string, thread, tier, twine, yarn |
| appearance as argument number 1 |
|
|
| (subclass String Artifact) | Mid-level-ontology.kif 4110-4110 | String is a subclass of artifact |
| (documentation String EnglishLanguage "A long, thin strand of Fabric that is used for Tying things together, etc. Note that this class covers a cord of any width, including rope, twine, and thread, for example.") | Mid-level-ontology.kif 4111-4113 | String is a subclass of artifact |
| (externalImage String "http://upload.wikimedia.org/wikipedia/commons/1/1d/ Twine.jpg") | pictureList.kif 4830-4830 | String is a subclass of artifact |
| appearance as argument number 2 |
|
|
| (subclass Rope String) | Mid-level-ontology.kif 33535-33535 | Rope is a subclass of string |
| (termFormat EnglishLanguage String "string") | domainEnglishFormat.kif 55645-55645 | Rope is a subclass of string |
| (termFormat ChineseTraditionalLanguage String "串") | domainEnglishFormat.kif 55646-55646 | Rope is a subclass of string |
| (termFormat ChineseLanguage String "串") | domainEnglishFormat.kif 55647-55647 | Rope is a subclass of string |
| antecedent |
|
|
| (=> (instance ?S String) (material Fabric ?S)) |
Mid-level-ontology.kif 4115-4117 | If X is an instance of string, then X is made of fabric |
| consequent |
|
|
| (=> (instance ?H Hanging) (exists (?S ?N ?P) (and (instance ?P Human) (instance ?S String) (instance ?N Neck) (experiencer ?H ?P) (properPart ?N ?P) (instrument ?H ?S) (holdsDuring (WhenFn ?H) (meetsSpatially ?S ?N))))) |
Mid-level-ontology.kif 20385-20396 | If X is an instance of hanging, then All of the following hold: (1) there exist Y, Z (2) W such that W is an instance of human (3) Y is an instance of string (4) Z is an instance of neck (5) W experiences X (6) Z is a proper part of W (7) Y is an instrument for X (8) Y meets Z holds during the time of existence of X |
| (=> (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 33541-33550 | 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 |
| (=> (instance ?MI StringInstrument) (exists (?S) (and (instance ?S String) (part ?S ?MI)))) |
Music.kif 1193-1198 | If X is an instance of string instrument, then there exists Y such that Y is an instance of string and Y is a part of X |
|
|
|