Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 4296-4296 | 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 4297-4299 | 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 33461-33461 | 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 4301-4303 | 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 20382-20393 | 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 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 |
| (=> (instance ?MI StringInstrument) (exists (?S) (and (instance ?S String) (part ?S ?MI)))) |
Music.kif 1195-1200 | 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 |
|