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
subString
的 1 数量 是
符号串
的
instance
(
domain
subString
2
SymbolicString
)
Mid-level-ontology.kif 24390-24390
subString
的 2 数量 是
符号串
的
instance
(
instance
subString
AntisymmetricRelation
)
Mid-level-ontology.kif 24385-24385
subString
是
反对称关系
的
instance
(
instance
subString
BinaryPredicate
)
Mid-level-ontology.kif 24387-24387
subString
是
二元谓语
的
instance
(
instance
subString
ReflexiveRelation
)
Mid-level-ontology.kif 24386-24386
subString
是
自反关系
的
instance
(
instance
subString
TotalValuedRelation
)
Mid-level-ontology.kif 24388-24388
subString
是
总值关系
的
instance
(
subrelation
subString
part
)
Mid-level-ontology.kif 24398-24398
subString
是
部分
的
subrelation
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
是
subString
的
subrelation
(
subrelation
telecomAreaCode
subString
)
Mid-level-ontology.kif 24924-24924
telecomAreaCode
是
subString
的
subrelation
(
subrelation
telecomCode2
subString
)
Mid-level-ontology.kif 24935-24935
telecomCode2
是
subString
的
subrelation
(
subrelation
telecomCoreNumber
subString
)
Mid-level-ontology.kif 24891-24891
telecomCoreNumber
是
subString
的
subrelation
(
subrelation
telecomCountryCode
subString
)
Mid-level-ontology.kif 24909-24909
telecomCountryCode
是
subString
的
subrelation
(
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
如果
人类
是
called
符号串
和
另一个 符号串
是
那个 人类
的
family
name 和
那个 另外 符号串
是
那个 符号串
的
sub
-string ,
然后
那个 另外 符号串
是在
那个 符号串
的
key
(=>
(
and
(
humanName
?NAMESTRING ?HUMAN)
(
givenName
?STRING ?HUMAN)
(
subString
?STRING ?NAMESTRING))
(
not
(
keyName
?STRING ?NAMESTRING)))
Media.kif 3461-3466
如果
人类
是
called
符号串
和
另一个 符号串
是
那个 人类
的
given
name 和
那个 另外 符号串
是
那个 符号串
的
sub
-string ,
然后 不
那个 另外 符号串
是在
那个 符号串
的
key
(=>
(
and
(
subString
?S1 ?S2)
(
equal
?L1
(
StringLengthFn
?S1))
(
equal
?L2
(
StringLengthFn
?S2)))
(
lessThanOrEqualTo
?L1 ?L2))
Mid-level-ontology.kif 24400-24405
如果
符号串
是
另一个 符号串
的
sub
-string 和
非负整数
equal
那个 符号串
的
length
和
另一个 非负整数
equal
那个 另外 符号串
的
length
,
然后
那个 非负整数
是
lessThanOrEqualTo
那个 另外 非负整数
(=>
(
and
(
subString
?S1 ?S2)
(
inString
?CH ?S1))
(
inString
?CH ?S2))
Mid-level-ontology.kif 24407-24411
如果
符号串
是
另一个 符号串
的
sub
-string 和
字符
是
那个 符号串
的
part
,
然后
那个 字符
是
那个 另外 符号串
的
part
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
如果
Identifier
是
WebBrowser
的
ID
当取用
WebSite
,
然后 有存在
符号串
,
过程
,, ,
施事体
, and 和
电脑程序
这样
那个 符号串
是
WebPage
的
instance
和
那个 符号串
是
那个 WebSite
的
sub
-string 和
那个 过程
是
AccessingWebPage
的
instance
和
那个 施事体
是
施事体
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 WebBrowser
是
那个 电脑程序
的执行
program
和
那个 电脑程序
causes
那个 过程
和
那个 过程
在
那个 符号串
结束 和
那个 Identifier
表达
那个 施事体
(=>
(
hostedOn
?LISTING ?SITE)
(
exists
(?PAGE)
(
and
(
instance
?PAGE
WebPage
)
(
subString
?LISTING ?PAGE)
(
subString
?PAGE ?SITE))))
UXExperimentalTerms.kif 125-131
如果
符号串
是在
WebSite
hosted
,
然后 有存在
另一个 符号串
这样
那个 另外 符号串
是
WebPage
的
instance
和
那个 符号串
是
那个 另外 符号串
的
sub
-string 和
那个 另外 符号串
是
那个 WebSite
的
sub
-string
(=>
(
precedesInString
?S1 ?S2 ?S3)
(
and
(
subString
?S1 ?S3)
(
subString
?S2 ?S3)))
Mid-level-ontology.kif 24514-24518
如果
符号串
precedes
另一个 符号串
在
第三 符号串
,
然后
那个 符号串
是
那个 第三 符号串
的
sub
-string 和
那个 另外 符号串
是
那个 第三 符号串
的
sub
-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