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

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1644-1644
No TPTP formula. May not be expressible in strict first order. Merge.kif 1299-1299
No TPTP formula. May not be expressible in strict first order. Merge.kif 1297-1297 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. ComputingBrands.kif 2021-2021 The range of EmailLocalPartFn is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 3049-3049 The range of the reverse of is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23945-23945 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 23889-23889 The range of SubstringFn is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3168-3168 AOC number is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29432-29432 AccountNumber is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 2924-2924 AlphaNumericString is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 2887-2887 AlphabeticString is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Merge.kif 1301-1301 Character is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2088-2088 Computer password is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 2897-2897 DecimalDigitString is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1856-1856 Digital data is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29443-29443 InvoiceNumber is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 216-216 Physical address is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24313-24313 PostalAddressText is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29516-29516 PurchaseOrderNumber is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2620-2620 Search query is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18890-18890 Syllable is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24341-24341 TelecomNumber is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 1566-1566 UnicodeString is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2052-2052 User name is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 834-834
No TPTP formula. May not be expressible in strict first order. english_format.kif 870-870

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5490-5490 The number 1 argument of kappa is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 3048-3048 The number 1 argument of the reverse of is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23943-23943 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 23944-23944 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 23916-23916 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 23886-23886 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 3140-3140 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 26717-26717 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 3018-3018 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 3408-3408 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 2583-2583 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 22739-22739 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 3108-3108 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 24050-24050 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 4726-4726 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 4757-4757 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 4736-4736 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 4747-4747 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 2251-2251 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 18100-18100 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 18101-18101 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 899-899 The number 5 argument of component data ID is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3832-3832 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 26700-26700 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 26712-26712 The number 1 argument of conventional short name 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 23848-23853
No TPTP formula. May not be expressible in strict first order. Merge.kif 1308-1313

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14715-14717
No TPTP formula. May not be expressible in strict first order. Media.kif 3220-3226


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