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
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3651-3653
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4831-4831
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3650-3650 String is a subclass of artifact

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30853-30853 Rope is a subclass of string
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55650-55650
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55649-55649
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55648-55648

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3655-3657

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18477-18488
No TPTP formula. May not be expressible in strict first order. Music.kif 1191-1196
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30859-30868


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