| 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 4094-4096 | |
| (externalImage String "http://upload.wikimedia.org/wikipedia/commons/1/1d/ Twine.jpg") | pictureList.kif 4830-4830 | |
| (subclass String Artifact) | Mid-level-ontology.kif 4093-4093 |
| appearance as argument number 2 |
|
|
| (subclass Rope String) | Mid-level-ontology.kif 32791-32791 | |
| (termFormat ChineseLanguage String "串") | domainEnglishFormat.kif 55654-55654 | |
| (termFormat ChineseTraditionalLanguage String "串") | domainEnglishFormat.kif 55653-55653 | |
| (termFormat EnglishLanguage String "string") | domainEnglishFormat.kif 55652-55652 |
| antecedent |
|
|
| (=> (instance ?S String) (material Fabric ?S)) |
Mid-level-ontology.kif 4098-4100 |
| 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 20048-20059 | |
| (=> (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 32797-32806 |
|
|
|