| 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 | String est une sous-classe de artefact |
| appearance as argument number 2 |
|
|
| (subclass Rope String) | Mid-level-ontology.kif 32791-32791 | Rope est une sous-classe de String |
| (termFormat ChineseLanguage String "串") | domainEnglishFormat.kif 55654-55654 | Rope est une sous-classe de String |
| (termFormat ChineseTraditionalLanguage String "串") | domainEnglishFormat.kif 55653-55653 | Rope est une sous-classe de String |
| (termFormat EnglishLanguage String "string") | domainEnglishFormat.kif 55652-55652 | Rope est une sous-classe de String |
| 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 |
|
|
|