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 e' uma sub-classe de Artefato |
appearance as argument number 2 |
(subclass Rope String) | Mid-level-ontology.kif 30841-30841 | Rope e' uma sub-classe de 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 18476-18487 |
|
(=> (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 30847-30856 |