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
SubstringFn
Sigma KEE - SubstringFn
SubstringFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23773-23785
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.
Mid-level-ontology.kif 23770-23770
The number 2 argument of
SubstringFn
is an
instance
of
nonnegative integer
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23771-23771
The number 3 argument of
SubstringFn
is an
instance
of
nonnegative integer
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23767-23767
SubstringFn
is an
instance
of
partial valued relation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23768-23768
SubstringFn
is an
instance
of
single valued relation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23766-23766
SubstringFn
is an
instance
of
ternary function
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
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4715-4715
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4714-4714
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 4713-4713
antecedent
No TPTP formula. May not be expressible in strict first order.
Media.kif 2877-2883
If
a symbolic string
in
ISO-4217-A
denotes
an UnitOfCurrency
and
another symbolic string
in
ISO-3166-1-alpha-2
denotes
a class
and
the class
is a
subclass
of
geopolitical area
and
the other symbolic string
is
equal
to the
sub
-string of
the symbolic string
from 0 to 2,
then
the UnitOfCurrency
is a
currency
type of
the class
No TPTP formula. May not be expressible in strict first order.
Media.kif 3056-3077
If
a symbolic string
is
equal
to the reverse of
another symbolic string
and
a nonnegative integer
is
equal
to the
length
of
the other symbolic string
and
the nonnegative integer
is
greater
than 1 and
another nonnegative integer
is
greater
than 0 and
the other nonnegative integer
is
less
than
the nonnegative integer
and
an integer
is
equal
to the
ceiling
of (
the nonnegative integer
and 1) and 2 and
the other nonnegative integer
EW is
equal
to ((
the integer
and
the other nonnegative integer
) and
the integer
) and
a third symbolic string
is
equal
to the
sub
-string of
the other symbolic string
from
the other nonnegative integer
to (1 and
the other nonnegative integer
),
then
the third symbolic string
is
equal
to the
sub
-string of
the symbolic string
from
the other nonnegative integer
EW to (1 and
the other nonnegative integer
EW)
No TPTP formula. May not be expressible in strict first order.
Media.kif 3307-3314
If the
index
order
name
of
an entity
is
a symbolic string
and
another symbolic string
is a
key
in
the symbolic string
and
a nonnegative integer
is
equal
to the
length
of
the other symbolic string
and
another nonnegative integer
is
equal
to the
length
of
the symbolic string
and
a third symbolic string
is
equal
to the
sub
-string of
the symbolic string
from
the nonnegative integer
to
the other nonnegative integer
,
then the
concatenation
of
the other symbolic string
and
the third symbolic string
is
the symbolic string
No TPTP formula. May not be expressible in strict first order.
Media.kif 3334-3341
If
a symbolic string
is the
indexable
name
for
an entity
and
another symbolic string
is a
key
in
the symbolic string
and
a nonnegative integer
is
equal
to the
length
of
the other symbolic string
and
another nonnegative integer
is
equal
to the
length
of
the symbolic string
and
a third symbolic string
is
equal
to the
sub
-string of
the symbolic string
from
the nonnegative integer
to
the other nonnegative integer
,
then the
concatenation
of
the other symbolic string
and
the third symbolic string
is
the symbolic string
consequent
No TPTP formula. May not be expressible in strict first order.
Media.kif 3056-3077
If
a symbolic string
is
equal
to the reverse of
another symbolic string
and
a nonnegative integer
is
equal
to the
length
of
the other symbolic string
and
the nonnegative integer
is
greater
than 1 and
another nonnegative integer
is
greater
than 0 and
the other nonnegative integer
is
less
than
the nonnegative integer
and
an integer
is
equal
to the
ceiling
of (
the nonnegative integer
and 1) and 2 and
the other nonnegative integer
EW is
equal
to ((
the integer
and
the other nonnegative integer
) and
the integer
) and
a third symbolic string
is
equal
to the
sub
-string of
the other symbolic string
from
the other nonnegative integer
to (1 and
the other nonnegative integer
),
then
the third symbolic string
is
equal
to the
sub
-string of
the symbolic string
from
the other nonnegative integer
EW to (1 and
the other nonnegative integer
EW)
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
SubstringFn