| 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 4113-4115 | |
| (externalImage String "http://upload.wikimedia.org/wikipedia/commons/1/1d/ Twine.jpg") | pictureList.kif 4830-4830 | |
| (subclass String Artifact) | Mid-level-ontology.kif 4112-4112 |
| appearance as argument number 2 |
|
|
| (subclass Rope String) | Mid-level-ontology.kif 32548-32548 | |
| (termFormat ChineseLanguage String "串") | domainEnglishFormat.kif 55683-55683 | |
| (termFormat ChineseTraditionalLanguage String "串") | domainEnglishFormat.kif 55682-55682 | |
| (termFormat EnglishLanguage String "string") | domainEnglishFormat.kif 55681-55681 |
| antecedent |
|
|
| (=> (instance ?S String) (material Fabric ?S)) |
Mid-level-ontology.kif 4117-4119 |
| 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 20065-20076 | |
| (=> (instance ?MI StringInstrument) (exists (?S) (and (instance ?S String) (part ?S ?MI)))) |
Music.kif 1193-1198 | |
| (=> (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 32554-32563 |
|
|
|