Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
subString
Sigma KEE - subString
subString
appearance as argument number 1
(
documentation
subString
EnglishLanguage
"(
subString
?
SymbolicString
-1 ?
SymbolicString
-2) means that ?
SymbolicString
-1 is
part
of ?
SymbolicString
-2. ?
SymbolicString
-2 includes all the same
Character
s as ?
SymbolicString
-1 and in the same order, but ?
SymbolicString
-2 may include more
Character
s than ?
SymbolicString
-1. See also
inString
.")
Mid-level-ontology.kif 24391-24397
(
domain
subString
1
SymbolicString
)
Mid-level-ontology.kif 24389-24389
Die Zahl 1 Argument von
subString
ist ein
fall
von
SymbolicString
%n{nicht}
(
domain
subString
2
SymbolicString
)
Mid-level-ontology.kif 24390-24390
Die Zahl 2 Argument von
subString
ist ein
fall
von
SymbolicString
%n{nicht}
(
instance
subString
AntisymmetricRelation
)
Mid-level-ontology.kif 24385-24385
subString
ist ein
fall
von
AntisymmetricRelation
%n{nicht}
(
instance
subString
BinaryPredicate
)
Mid-level-ontology.kif 24387-24387
subString
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
subString
ReflexiveRelation
)
Mid-level-ontology.kif 24386-24386
subString
ist ein
fall
von
ReflexiveRelation
%n{nicht}
(
instance
subString
TotalValuedRelation
)
Mid-level-ontology.kif 24388-24388
subString
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
subrelation
subString
part
)
Mid-level-ontology.kif 24398-24398
subString
ist eine
teilrelation
von
teil
appearance as argument number 2
(
format
ChineseLanguage
subString
"%1 是 %2 的 sub-string ")
domainEnglishFormat.kif 4702-4702
(
format
ChineseTraditionalLanguage
subString
"%1 是 %2 的 sub-string ")
domainEnglishFormat.kif 4701-4701
(
format
EnglishLanguage
subString
"%1 is a sub-string of %2")
domainEnglishFormat.kif 4700-4700
(
subrelation
keyName
subString
)
Media.kif 3281-3281
keyName
ist eine
teilrelation
von
subString
(
subrelation
telecomAreaCode
subString
)
Mid-level-ontology.kif 24924-24924
telecomAreaCode
ist eine
teilrelation
von
subString
(
subrelation
telecomCode2
subString
)
Mid-level-ontology.kif 24935-24935
telecomCode2
ist eine
teilrelation
von
subString
(
subrelation
telecomCoreNumber
subString
)
Mid-level-ontology.kif 24891-24891
telecomCoreNumber
ist eine
teilrelation
von
subString
(
subrelation
telecomCountryCode
subString
)
Mid-level-ontology.kif 24909-24909
telecomCountryCode
ist eine
teilrelation
von
subString
(
termFormat
EnglishLanguage
subString
"sub string")
domainEnglishFormat.kif 65946-65946
antecedent
(=>
(
and
(
humanName
?NAMESTRING ?HUMAN)
(
familyName
?STRING ?HUMAN)
(
subString
?STRING ?NAMESTRING))
(
keyName
?STRING ?NAMESTRING))
Media.kif 3452-3457
Wenn
humanName
SymbolicString
and
Human
und
familyName
** SymbolicString
and
** Human
und
subString
** ** SymbolicString
and
** SymbolicString
,
dann
keyName
** ** SymbolicString
and
** SymbolicString
(=>
(
and
(
humanName
?NAMESTRING ?HUMAN)
(
givenName
?STRING ?HUMAN)
(
subString
?STRING ?NAMESTRING))
(
not
(
keyName
?STRING ?NAMESTRING)))
Media.kif 3461-3466
Wenn
humanName
SymbolicString
and
Human
und
givenName
** SymbolicString
and
** Human
und
subString
** ** SymbolicString
and
** SymbolicString
,
dann
keyName
** ** SymbolicString
and
** SymbolicString
(=>
(
and
(
subString
?S1 ?S2)
(
equal
?L1
(
StringLengthFn
?S1))
(
equal
?L2
(
StringLengthFn
?S2)))
(
lessThanOrEqualTo
?L1 ?L2))
Mid-level-ontology.kif 24400-24405
Wenn
subString
SymbolicString
and
** SymbolicString
und
NonnegativeInteger
ist gleich
StringLengthFn
** SymbolicString
%n{nicht} und
** NonnegativeInteger
ist gleich
StringLengthFn
** ** SymbolicString
%n{nicht},
dann
** NonnegativeInteger
ist
kleinerAlsOderGleich
** ** NonnegativeInteger
%n{nicht}
(=>
(
and
(
subString
?S1 ?S2)
(
inString
?CH ?S1))
(
inString
?CH ?S2))
Mid-level-ontology.kif 24407-24411
Wenn
subString
SymbolicString
and
** SymbolicString
und
inString
Character
and
** SymbolicString
,
dann
inString
** Character
and
** ** SymbolicString
consequent
(=>
(
browserID
?STRING ?BROWSER ?SITE)
(
exists
(?WEBPAGE ?ACCESSING ?AGENT ?BPROC)
(
and
(
instance
?WEBPAGE
WebPage
)
(
subString
?WEBPAGE ?SITE)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?ACCESSING ?AGENT)
(
programRunning
?BPROC ?BROWSER)
(
causes
?BPROC ?ACCESSING)
(
destination
?ACCESSING ?WEBPAGE)
(
represents
?STRING ?AGENT))))
UXExperimentalTerms.kif 736-748
Wenn
browserID
Identifier
,
WebBrowser
and
WebSite
,
dann es gibt
SymbolicString
,
Process
,, ,
AutonomousAgent
, and und
ComputerProcess
um
** SymbolicString
ist ein
fall
von
WebPage
%n{nicht} und
subString
** SymbolicString
and
** WebSite
und
** Process
ist ein
fall
von
AccessingWebPage
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
programRunning
** ComputerProcess
and
** WebBrowser
und
** ComputerProcess
verursacht
** Process
%n{nicht} und
** Process
endet an
** SymbolicString
%n{nicht} und
** Identifier
drueckt
** AutonomousAgent
aus
(=>
(
hostedOn
?LISTING ?SITE)
(
exists
(?PAGE)
(
and
(
instance
?PAGE
WebPage
)
(
subString
?LISTING ?PAGE)
(
subString
?PAGE ?SITE))))
UXExperimentalTerms.kif 125-131
Wenn
hostedOn
SymbolicString
and
WebSite
,
dann es gibt
** SymbolicString
um
** ** SymbolicString
ist ein
fall
von
WebPage
%n{nicht} und
subString
** SymbolicString
and
** ** SymbolicString
und
subString
** ** SymbolicString
and
** WebSite
(=>
(
precedesInString
?S1 ?S2 ?S3)
(
and
(
subString
?S1 ?S3)
(
subString
?S2 ?S3)))
Mid-level-ontology.kif 24514-24518
Wenn
precedesInString
SymbolicString
,
** SymbolicString
and
** SymbolicString
,
dann
subString
** SymbolicString
and
** ** SymbolicString
und
subString
** ** SymbolicString
and
** ** SymbolicString
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