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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1291-1291
No TPTP formula. May not be expressible in strict first order. Merge.kif 1289-1289 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 3051-3051 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 23828-23828 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 23772-23772 The range of SubstringFn is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3176-3176 AOC number is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29316-29316 AccountNumber is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 2926-2926 AlphaNumericString is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 2889-2889 AlphabeticString is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Merge.kif 1293-1293 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 2899-2899 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 29327-29327 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 24196-24196 PostalAddressText is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29392-29392 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 18806-18806 Syllable is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24224-24224 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 5482-5482 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 3050-3050 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 23826-23826 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 23827-23827 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 23799-23799 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 23769-23769 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 3142-3142 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 26601-26601 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 3020-3020 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 3410-3410 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 2571-2571 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 22630-22630 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 3110-3110 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 23933-23933 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 4714-4714 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 4745-4745 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 4724-4724 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 4735-4735 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 2256-2256 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 18093-18093 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 18094-18094 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. Mid-level-ontology.kif 26584-26584 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 26596-26596 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 3624-3624 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 23731-23736
No TPTP formula. May not be expressible in strict first order. Merge.kif 1300-1305

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


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