Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  String

Sigma KEE - String
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 3584-3586
(externalImage String "http://upload.wikimedia.org/wikipedia/commons/1/1d/ Twine.jpg") pictureList.kif 4832-4832
(subclass String Artifact) Mid-level-ontology.kif 3583-3583

appearance as argument number 2
-------------------------


(subclass Rope String) Mid-level-ontology.kif 28992-28992
(termFormat ChineseLanguage String "串") domainEnglishFormat.kif 55628-55628
(termFormat ChineseTraditionalLanguage String "串") domainEnglishFormat.kif 55627-55627
(termFormat EnglishLanguage String "string") domainEnglishFormat.kif 55626-55626

antecedent
-------------------------


(=>
    (instance ?S String)
    (material Fabric ?S))
Mid-level-ontology.kif 3588-3590

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 16615-16626
(=>
    (instance ?MI StringInstrument)
    (exists (?S)
        (and
            (instance ?S String)
            (part ?S ?MI))))
Music.kif 1183-1188
(=>
    (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 28998-29007


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners