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 3651-3653 | |
(externalImage String "http://upload.wikimedia.org/wikipedia/commons/1/1d/ Twine.jpg") | pictureList.kif 4831-4831 | |
(subclass String Artifact) | Mid-level-ontology.kif 3650-3650 | String ist eine teilkategorie von Artifact |
appearance as argument number 2 |
(subclass Rope String) | Mid-level-ontology.kif 30853-30853 | Rope ist eine teilkategorie von String |
(termFormat ChineseLanguage String "串") | domainEnglishFormat.kif 55650-55650 | |
(termFormat ChineseTraditionalLanguage String "串") | domainEnglishFormat.kif 55649-55649 | |
(termFormat EnglishLanguage String "string") | domainEnglishFormat.kif 55648-55648 |
antecedent |
(=> (instance ?S String) (material Fabric ?S)) |
Mid-level-ontology.kif 3655-3657 |
|
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 18477-18488 |
|
(=> (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 30859-30868 |
|