| String
| |
| appearance as argument number 1 |
|
|
| (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 3644-3646 | |
| (externalImage String "http://upload.wikimedia.org/wikipedia/commons/1/1d/ Twine.jpg") | pictureList.kif 4830-4830 | |
| (subclass String Artifact) | Mid-level-ontology.kif 3643-3643 |
| appearance as argument number 2 |
|
|
| (subclass Rope String) | Mid-level-ontology.kif 31142-31142 | |
| (termFormat ChineseLanguage String "串") | domainEnglishFormat.kif 55685-55685 | |
| (termFormat ChineseTraditionalLanguage String "串") | domainEnglishFormat.kif 55684-55684 | |
| (termFormat EnglishLanguage String "string") | domainEnglishFormat.kif 55683-55683 |
| antecedent |
|
|
| (=> (instance ?S String) (material Fabric ?S)) |
Mid-level-ontology.kif 3648-3650 |
| 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 18767-18778 | |
| (=> (instance ?MI StringInstrument) (exists (?S) (and (instance ?S String) (part ?S ?MI)))) |
Music.kif 1191-1196 | |
| (=> (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 31148-31157 |
|
|
|