Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
precedesInString
Sigma KEE - precedesInString
precedesInString
appearance as argument number 1
(
documentation
precedesInString
EnglishLanguage
"(
precedesInString
?
SymbolicString
-1 ?
SymbolicString
-2 ?
SymbolicString
-3) means that ?
SymbolicString
-1 and ?
SymbolicString
-2 are
subString
s of ?
SymbolicString
-3, and ?
SymbolicString
-1 occurs sequentially before ?
SymbolicString
-2 in ?
SymbolicString
-3. Example: (
precedesInString
"Johann" "Bach" "Johann Sebastian Bach").")
Mid-level-ontology.kif 23881-23888
(
domain
precedesInString
1
SymbolicString
)
Mid-level-ontology.kif 23878-23878
The number 1 argument of
precedesInString
is an
instance
of
symbolic string
(
domain
precedesInString
2
SymbolicString
)
Mid-level-ontology.kif 23879-23879
The number 2 argument of
precedesInString
is an
instance
of
symbolic string
(
domain
precedesInString
3
SymbolicString
)
Mid-level-ontology.kif 23880-23880
The number 3 argument of
precedesInString
is an
instance
of
symbolic string
(
instance
precedesInString
TernaryPredicate
)
Mid-level-ontology.kif 23877-23877
precedesInString
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
precedesInString
"%1 precedes %2 在 %3 ")
domainEnglishFormat.kif 4203-4203
(
format
ChineseTraditionalLanguage
precedesInString
"%1 precedes %2 在 %3 ")
domainEnglishFormat.kif 4202-4202
(
format
EnglishLanguage
precedesInString
"%1 precedes %2 in %3")
domainEnglishFormat.kif 4201-4201
(
subrelation
nameBeforeKeyName
precedesInString
)
Media.kif 3384-3384
nameBeforeKeyName
is a
subrelation
of
precedesInString
(
subrelation
stringConcatenation
precedesInString
)
Mid-level-ontology.kif 23889-23889
stringConcatenation
is a
subrelation
of
precedesInString
antecedent
(=>
(
and
(
keyName
?KEY ?NAMESTRING)
(
precedesInString
?KEY ?STRING ?NAMESTRING))
(
nameAfterKeyName
?STRING ?KEY ?NAMESTRING))
Media.kif 3374-3378
If
a symbolic string
is a
key
in
another symbolic string
and
the symbolic string
precedes
a third symbolic string
in
the other symbolic string
,
then
the third symbolic string
is
after
key
the symbolic string
in
the other symbolic string
(=>
(
and
(
keyName
?KEY ?NAMESTRING)
(
precedesInString
?STRING ?KEY ?NAMESTRING))
(
nameBeforeKeyName
?STRING ?KEY ?NAMESTRING))
Media.kif 3401-3405
If
a symbolic string
is a
key
in
another symbolic string
and
a third symbolic string
precedes
the symbolic string
in
the other symbolic string
,
then
the third symbolic string
is
before
key
the symbolic string
in
the other symbolic string
(=>
(
and
(
precedesInString
?S1 ?S2 ?S4)
(
precedesInString
?S2 ?S3 ?S4))
(
precedesInString
?S1 ?S3 ?S4))
Mid-level-ontology.kif 23897-23901
If
a symbolic string
precedes
another symbolic string
in
a third symbolic string
and
the other symbolic string
precedes
a fourth symbolic string
in
the third symbolic string
,
then
the symbolic string
precedes
the fourth symbolic string
in
the third symbolic string
(=>
(
precedesInString
?S1 ?S2 ?S3)
(
and
(
subString
?S1 ?S3)
(
subString
?S2 ?S3)))
Mid-level-ontology.kif 23891-23895
If
a symbolic string
precedes
another symbolic string
in
a third symbolic string
,
then
the symbolic string
is a
sub
-string of
the third symbolic string
and
the other symbolic string
is a
sub
-string of
the third symbolic string
consequent
(=>
(
and
(
precedesInString
?S1 ?S2 ?S4)
(
precedesInString
?S2 ?S3 ?S4))
(
precedesInString
?S1 ?S3 ?S4))
Mid-level-ontology.kif 23897-23901
If
a symbolic string
precedes
another symbolic string
in
a third symbolic string
and
the other symbolic string
precedes
a fourth symbolic string
in
the third symbolic string
,
then
the symbolic string
precedes
the fourth symbolic string
in
the third symbolic string
(=>
(
and
(
telecomAreaCode
?AC ?WHOLE)
(
telecomCountryCode
?CC ?WHOLE))
(
precedesInString
?CC ?AC ?WHOLE))
Mid-level-ontology.kif 24333-24337
If the
area
code
in
a TelecomNumber
is
a symbolic string
and
another symbolic string
is the
country
code
in
the TelecomNumber
,
then
the other symbolic string
precedes
the symbolic string
in
the TelecomNumber
(=>
(
and
(
telecomCode2
?C2 ?WHOLE)
(
telecomAreaCode
?AC ?WHOLE))
(
precedesInString
?AC ?C2 ?WHOLE))
Mid-level-ontology.kif 24345-24349
If the
secondary
code
in
a TelecomNumber
is
a symbolic string
and the
area
code
in
the TelecomNumber
is
another symbolic string
,
then
the other symbolic string
precedes
the symbolic string
in
the TelecomNumber
(=>
(
and
(
telecomCode2
?C2 ?WHOLE)
(
telecomCountryCode
?CC ?WHOLE))
(
precedesInString
?CC ?C2 ?WHOLE))
Mid-level-ontology.kif 24351-24355
If the
secondary
code
in
a TelecomNumber
is
a symbolic string
and
another symbolic string
is the
country
code
in
the TelecomNumber
,
then
the other symbolic string
precedes
the symbolic string
in
the TelecomNumber
(=>
(
and
(
telecomCoreNumber
?CN ?WHOLE)
(
telecomAreaCode
?AC ?WHOLE))
(
precedesInString
?AC ?CN ?WHOLE))
Mid-level-ontology.kif 24321-24325
If
a symbolic string
is the
core
number
in
a TelecomNumber
and the
area
code
in
the TelecomNumber
is
another symbolic string
,
then
the other symbolic string
precedes
the symbolic string
in
the TelecomNumber
(=>
(
and
(
telecomCoreNumber
?CN ?WHOLE)
(
telecomCountryCode
?CC ?WHOLE))
(
precedesInString
?CC ?CN ?WHOLE))
Mid-level-ontology.kif 24327-24331
If
a symbolic string
is the
core
number
in
a TelecomNumber
and
another symbolic string
is the
country
code
in
the TelecomNumber
,
then
the other symbolic string
precedes
the symbolic string
in
the TelecomNumber
(=>
(
and
(
telecomCoreNumber
?CN ?WHOLE)
(
telecomExtension
?EX ?WHOLE))
(
precedesInString
?CN ?EX ?WHOLE))
Mid-level-ontology.kif 24339-24343
If
a symbolic string
is the
core
number
in
a TelecomNumber
and
another symbolic string
is the
extension
in
the TelecomNumber
,
then
the symbolic string
precedes
the other symbolic string
in
the TelecomNumber
(=>
(
nameAfterKeyName
?STRING ?KEY ?NAMESTRING)
(
precedesInString
?KEY ?STRING ?NAMESTRING))
Media.kif 3370-3372
If
a symbolic string
is
after
key
another symbolic string
in
a third symbolic string
,
then
the other symbolic string
precedes
the symbolic string
in
the third symbolic string
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