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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SymbolicString

Sigma KEE - SymbolicString
SymbolicString(symbolic string)Maxwell's_equations, character_set, expression, formula, mathematical_statement, primitive, simultaneous_equations, substring, symbolic_string, 符号串, 記号文字列

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1379-1379
No TPTP formula. May not be expressible in strict first order. Merge.kif 1378-1378
No TPTP formula. May not be expressible in strict first order. Merge.kif 1377-1377 Symbolic string is a subclass of content bearing object

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22227-22227 The range of StringConcatenateFn is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22170-22170 The range of SubstringFn is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3113-3113 AOC number is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28096-28096 AccountNumber is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 2908-2908 AlphaNumericString is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 2871-2871 AlphabeticString is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Merge.kif 1382-1382 Character is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2065-2065 Computer password is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 2881-2881 DecimalDigitString is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1846-1846 Digital data is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28108-28108 InvoiceNumber is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 213-213 Physical address is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22640-22640 PostalAddressText is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28173-28173 PurchaseOrderNumber is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2617-2617 Search query is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17234-17234 Syllable is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22776-22776 TelecomNumber is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 1570-1570 UnicodeString is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2035-2035 User name is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 834-834 "符号串" is the printable form of symbolic string in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 563-563 "symbolic string" is the printable form of symbolic string in english language
No TPTP formula. May not be expressible in strict first order. english_format.kif 564-564 "記号文字列" is the printable form of symbolic string in japanese language

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 5695-5695 The number 1 argument of kappa is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22225-22225 The number 1 argument of StringConcatenateFn is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22226-22226 The number 2 argument of StringConcatenateFn is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22197-22197 The number 1 argument of StringLengthFn is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22167-22167 The number 1 argument of SubstringFn is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 3090-3090 The number 1 argument of abbreviatedDisplayTitle is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25487-25487 The number 1 argument of abbreviation is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 3002-3002 The number 1 argument of acronym is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 3358-3358 The number 1 argument of agentName is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Government.kif 2533-2533 The number 2 argument of aim of organization is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21107-21107 The number 1 argument of alias is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 3058-3058 The number 1 argument of alternativeTitle is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22373-22373 The number 3 argument of canonicalPlaceName is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Government.kif 4670-4670 The number 2 argument of chancery address in area is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Government.kif 4701-4701 The number 2 argument of chanceryFAX number in area is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Government.kif 4680-4680 The number 2 argument of chancery mailing address in area is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Government.kif 4691-4691 The number 2 argument of chancery telephone number in area is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 2260-2260 The number 2 argument of codeMapping is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Merge.kif 18763-18763 The number 2 argument of comment is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Merge.kif 18764-18764 The number 3 argument of comment is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 889-889 The number 5 argument of component dataI d is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3715-3715 The number 2 argument of confirmation number is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25470-25470 The number 1 argument of conventional long name is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25482-25482 The number 1 argument of conventional short name is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Economy.kif 3617-3617 The number 1 argument of currency code is an instance of symbolic string

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22114-22119
No TPTP formula. May not be expressible in strict first order. Merge.kif 1391-1396

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14693-14695
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28098-28105
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28110-28117
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28175-28182
No TPTP formula. May not be expressible in strict first order. Media.kif 3170-3176


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners