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, Sequencia_Simbolica, Stringa, character_set, cha�ne_sympbolique, expression, formula, mathematical_statement, primitive, saanketika_taara, sembolong_pisi, simultaneous_equations, substring, symbolic_string, teksto, 符号串

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1362-1362
No TPTP formula. May not be expressible in strict first order. Merge.kif 1361-1361
No TPTP formula. May not be expressible in strict first order. Merge.kif 1360-1360 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 21835-21835 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 21778-21778 The range of SubstringFn is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3085-3085 AOC number is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27655-27655 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 1365-1365 Character is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2066-2066 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 1847-1847 Digital data is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27667-27667 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 22248-22248 PostalAddressText is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27732-27732 PurchaseOrderNumber is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2618-2618 Search query is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16875-16875 Syllable is a subclass of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22384-22384 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 2036-2036 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 521-521 "symbolic string" is the printable form of symbolic string in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 510-510 "cha�ne sympbolique" is the printable form of symbolic string in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 42-42 "saanketika taara" is the printable form of symbolic string in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 43-43 "Stringa" is the printable form of symbolic string in italian language

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5661-5661 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 21833-21833 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 21834-21834 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 21805-21805 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 21775-21775 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 3069-3069 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 25046-25046 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 3337-3337 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 20715-20715 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 3037-3037 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 21981-21981 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 18625-18625 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 18626-18626 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 891-891 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 25029-25029 The number 1 argument of official name is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25041-25041 The number 1 argument of acronym 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 21722-21727
No TPTP formula. May not be expressible in strict first order. Merge.kif 1374-1379

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 27657-27664
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27669-27676
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27734-27741
No TPTP formula. May not be expressible in strict first order. Media.kif 3149-3155


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