|
|
   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 3644-3646 | |
| (externalImage String "http://upload.wikimedia.org/wikipedia/commons/1/1d/ Twine.jpg") | pictureList.kif 4831-4831 | |
| (subclass String Artifact) | Mid-level-ontology.kif 3643-3643 | String è una sottoclasse di Manufatto |
| appearance as argument number 2 |
|
|
| (subclass Rope String) | Mid-level-ontology.kif 30877-30877 | Rope è una sottoclasse di String |
| (termFormat ChineseLanguage String "串") | domainEnglishFormat.kif 55652-55652 | |
| (termFormat ChineseTraditionalLanguage String "串") | domainEnglishFormat.kif 55651-55651 | |
| (termFormat EnglishLanguage String "string") | domainEnglishFormat.kif 55650-55650 |
| antecedent |
|
|
| (=> (instance ?S String) (material Fabric ?S)) |
Mid-level-ontology.kif 3648-3650 |
|
| 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 18504-18515 |
|
| (=> (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 30883-30892 |
|
|
|
