SymbolicString
(symbolic string)
(
domain
recoveryKey
1
SymbolicString
)
ComputingBrands.kif 4420-4420
The number 1 argument of
recovery key
is an
instance
of
symbolic string
(
domain
referenceTitle
1
SymbolicString
)
Media.kif 3172-3172
The number 1 argument of
reference title
is an
instance
of
symbolic string
(
domain
relatedExternalConcept
1
SymbolicString
)
Merge.kif 626-626
The number 1 argument of
related external concept
is an
instance
of
symbolic string
(
domain
sortingTitle
1
SymbolicString
)
Media.kif 3132-3132
The number 1 argument of
sorting title
is an
instance
of
symbolic string
(
domain
spellingInLanguage
1
SymbolicString
)
Media.kif 3051-3051
The number 1 argument of
spelling in language
is an
instance
of
symbolic string
(
domain
stockSymbol
2
SymbolicString
)
FinancialOntology.kif 3444-3444
The number 2 argument of
stock symbol
is an
instance
of
symbolic string
(
domain
stringConcatenation
1
SymbolicString
)
Mid-level-ontology.kif 24484-24484
The number 1 argument of
string concatenation
is an
instance
of
symbolic string
(
domain
stringConcatenation
2
SymbolicString
)
Mid-level-ontology.kif 24485-24485
The number 2 argument of
string concatenation
is an
instance
of
symbolic string
(
domain
stringConcatenation
3
SymbolicString
)
Mid-level-ontology.kif 24486-24486
The number 3 argument of
string concatenation
is an
instance
of
symbolic string
(
domain
stringLength
2
SymbolicString
)
Mid-level-ontology.kif 24458-24458
The number 2 argument of
string length
is an
instance
of
symbolic string
(
domain
subString
1
SymbolicString
)
Mid-level-ontology.kif 24388-24388
The number 1 argument of
sub string
is an
instance
of
symbolic string
(
domain
subString
2
SymbolicString
)
Mid-level-ontology.kif 24389-24389
The number 2 argument of
sub string
is an
instance
of
symbolic string
(
domain
subsumedExternalConcept
1
SymbolicString
)
Merge.kif 663-663
The number 1 argument of
subsumed external concept
is an
instance
of
symbolic string
(
domain
subsumingExternalConcept
1
SymbolicString
)
Merge.kif 657-657
The number 1 argument of
subsuming external concept
is an
instance
of
symbolic string
(
domain
subtitle
1
SymbolicString
)
Media.kif 3225-3225
The number 1 argument of
subtitle
is an
instance
of
symbolic string
(
domain
synonymousExternalConcept
1
SymbolicString
)
Merge.kif 636-636
The number 1 argument of
synonymous external concept
is an
instance
of
symbolic string
(
domain
telecomAreaCode
1
SymbolicString
)
Mid-level-ontology.kif 24912-24912
The number 1 argument of
telecom area code
is an
instance
of
symbolic string
(
domain
telecomCode2
1
SymbolicString
)
Mid-level-ontology.kif 24927-24927
The number 1 argument of
telecom code2
is an
instance
of
symbolic string
(
domain
telecomCoreNumber
1
SymbolicString
)
Mid-level-ontology.kif 24888-24888
The number 1 argument of
telecom core number
is an
instance
of
symbolic string
(
domain
telecomCountryCode
1
SymbolicString
)
Mid-level-ontology.kif 24899-24899
The number 1 argument of
telecom country code
is an
instance
of
symbolic string
(
domain
telecomExtension
1
SymbolicString
)
Mid-level-ontology.kif 24938-24938
The number 1 argument of
telecom extension
is an
instance
of
symbolic string
(
domain
termFormat
3
SymbolicString
)
Merge.kif 389-389
The number 3 argument of
term format
is an
instance
of
symbolic string
(
domain
titleInLanguage
1
SymbolicString
)
Media.kif 3104-3104
The number 1 argument of
title in language
is an
instance
of
symbolic string
(
domain
titles
1
SymbolicString
)
Mid-level-ontology.kif 14706-14706
The number 1 argument of
titles
is an
instance
of
symbolic string
(
domain
translatedTitle
1
SymbolicString
)
Media.kif 3250-3250
The number 1 argument of
translated title
is an
instance
of
symbolic string
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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
