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 24711-24717
(
domain
subString
1
SymbolicString
)
Mid-level-ontology.kif 24709-24709
Die Zahl 1 Argument von
subString
ist ein
fall
von
SymbolicString
%n{nicht}
(
domain
subString
2
SymbolicString
)
Mid-level-ontology.kif 24710-24710
Die Zahl 2 Argument von
subString
ist ein
fall
von
SymbolicString
%n{nicht}
(
instance
subString
AntisymmetricRelation
)
Mid-level-ontology.kif 24705-24705
subString
ist ein
fall
von
AntisymmetricRelation
%n{nicht}
(
instance
subString
BinaryPredicate
)
Mid-level-ontology.kif 24707-24707
subString
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
subString
ReflexiveRelation
)
Mid-level-ontology.kif 24706-24706
subString
ist ein
fall
von
ReflexiveRelation
%n{nicht}
(
instance
subString
TotalValuedRelation
)
Mid-level-ontology.kif 24708-24708
subString
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
subrelation
subString
part
)
Mid-level-ontology.kif 24718-24718
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 3263-3263
keyName
ist eine
teilrelation
von
subString
(
subrelation
telecomAreaCode
subString
)
Mid-level-ontology.kif 25244-25244
telecomAreaCode
ist eine
teilrelation
von
subString
(
subrelation
telecomCode2
subString
)
Mid-level-ontology.kif 25255-25255
telecomCode2
ist eine
teilrelation
von
subString
(
subrelation
telecomCoreNumber
subString
)
Mid-level-ontology.kif 25211-25211
telecomCoreNumber
ist eine
teilrelation
von
subString
(
subrelation
telecomCountryCode
subString
)
Mid-level-ontology.kif 25229-25229
telecomCountryCode
ist eine
teilrelation
von
subString
(
termFormat
EnglishLanguage
subString
"sub string")
domainEnglishFormat.kif 66006-66006
telecomCountryCode
ist eine
teilrelation
von
subString
antecedent
(=>
(
and
(
humanName
?NAMESTRING ?HUMAN)
(
familyName
?STRING ?HUMAN)
(
subString
?STRING ?NAMESTRING))
(
keyName
?STRING ?NAMESTRING))
Media.kif 3434-3439
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 3443-3448
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 24720-24725
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 24727-24731
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 24834-24838
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