String - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - String

String(string)

Lastex, agal, brail, clews, cord, guide_rope, metallic, piping, prolonge, ripcord, rope, rope_yarn, strand, string, thread, tier, twine, yarn

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 is a subclass of artifact

appearance as argument number 2

(subclass Rope String)	Mid-level-ontology.kif 31110-31110	Rope is a subclass of string
(termFormat ChineseLanguage String "串")	domainEnglishFormat.kif 55690-55690	Rope is a subclass of string
(termFormat ChineseTraditionalLanguage String "串")	domainEnglishFormat.kif 55689-55689	Rope is a subclass of string
(termFormat EnglishLanguage String "string")	domainEnglishFormat.kif 55688-55688	Rope is a subclass of string

antecedent

(=>
(instance ?S String)
(material Fabric ?S))

Mid-level-ontology.kif 3648-3650

If a corpuscular object is an instance of string,
then the corpuscular object is made of fabric

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 18735-18746	If a process is an instance of hanging, then there exist an object, another object and an agent such that the agent is an instance of human and the object is an instance of string and the other object is an instance of neck and the agent experiences the process and the other object is a proper part of the agent and the object is an instrument for the process and the object meets the other object holds during the time of existence of the process
(=> (instance ?MI StringInstrument) (exists (?S) (and (instance ?S String) (part ?S ?MI))))	Music.kif 1191-1196	If an object is an instance of string instrument, then there exists another object such that the other object is an instance of string and the other object is a part of the object
(=> (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 31116-31125	If an object is an instance of rope, then there exist another object and a third object such that the other object is an instance of string and the third object is an instance of string and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object

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

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