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
O argumento numero 1 de
subString
e' uma
instancia
de
Sequencia Simbolica
(
domain
subString
2
SymbolicString
)
Mid-level-ontology.kif 24390-24390
O argumento numero 2 de
subString
e' uma
instancia
de
Sequencia Simbolica
(
instance
subString
AntisymmetricRelation
)
Mid-level-ontology.kif 24385-24385
subString
e' uma
instancia
de
Relacao Anti-simetrica
(
instance
subString
BinaryPredicate
)
Mid-level-ontology.kif 24387-24387
subString
e' uma
instancia
de
Predicado Binario
(
instance
subString
ReflexiveRelation
)
Mid-level-ontology.kif 24386-24386
subString
e' uma
instancia
de
Relacao Reflexiva
(
instance
subString
TotalValuedRelation
)
Mid-level-ontology.kif 24388-24388
subString
e' uma
instancia
de
Relacao Total
(
subrelation
subString
part
)
Mid-level-ontology.kif 24398-24398
subString
e' uma
sub
-relacao de
part
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
e' uma
sub
-relacao de
subString
(
subrelation
telecomAreaCode
subString
)
Mid-level-ontology.kif 24924-24924
telecomAreaCode
e' uma
sub
-relacao de
subString
(
subrelation
telecomCode2
subString
)
Mid-level-ontology.kif 24935-24935
telecomCode2
e' uma
sub
-relacao de
subString
(
subrelation
telecomCoreNumber
subString
)
Mid-level-ontology.kif 24891-24891
telecomCoreNumber
e' uma
sub
-relacao de
subString
(
subrelation
telecomCountryCode
subString
)
Mid-level-ontology.kif 24909-24909
telecomCountryCode
e' uma
sub
-relacao de
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
humanName
Sequencia Simbolica
and
Humano
familyName
Sequencia Simbolica
and
Humano
subString
Sequencia Simbolica
and
Sequencia Simbolica
keyName
Sequencia Simbolica
and
Sequencia Simbolica
(=>
(
and
(
humanName
?NAMESTRING ?HUMAN)
(
givenName
?STRING ?HUMAN)
(
subString
?STRING ?NAMESTRING))
(
not
(
keyName
?STRING ?NAMESTRING)))
Media.kif 3461-3466
humanName
Sequencia Simbolica
and
Humano
givenName
Sequencia Simbolica
and
Humano
subString
Sequencia Simbolica
and
Sequencia Simbolica
keyName
Sequencia Simbolica
and
Sequencia Simbolica
(=>
(
and
(
subString
?S1 ?S2)
(
equal
?L1
(
StringLengthFn
?S1))
(
equal
?L2
(
StringLengthFn
?S2)))
(
lessThanOrEqualTo
?L1 ?L2))
Mid-level-ontology.kif 24400-24405
subString
Sequencia Simbolica
and
Sequencia Simbolica
Numero Inteiro nao-negativo
e'
igual
a
StringLengthFn
Sequencia Simbolica
Numero Inteiro nao-negativo
e'
igual
a
StringLengthFn
Sequencia Simbolica
Numero Inteiro nao-negativo
e'
menor
ou igual a
Numero Inteiro nao-negativo
(=>
(
and
(
subString
?S1 ?S2)
(
inString
?CH ?S1))
(
inString
?CH ?S2))
Mid-level-ontology.kif 24407-24411
subString
Sequencia Simbolica
and
Sequencia Simbolica
inString
Caracter
and
Sequencia Simbolica
inString
Caracter
and
Sequencia Simbolica
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
browserID
Identifier
,
WebBrowser
and
WebSite
Sequencia Simbolica
Processo
,
AutonomousAgent
and
ComputerProcess
Sequencia Simbolica
e' uma
instancia
de
WebPage
subString
Sequencia Simbolica
and
WebSite
Processo
e' uma
instancia
de
AccessingWebPage
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
programRunning
ComputerProcess
and
WebBrowser
ComputerProcess
causa
Processo
Processo
termina
em
Sequencia Simbolica
Identifier
define
AutonomousAgent
(=>
(
hostedOn
?LISTING ?SITE)
(
exists
(?PAGE)
(
and
(
instance
?PAGE
WebPage
)
(
subString
?LISTING ?PAGE)
(
subString
?PAGE ?SITE))))
UXExperimentalTerms.kif 125-131
hostedOn
Sequencia Simbolica
and
WebSite
Sequencia Simbolica
Sequencia Simbolica
e' uma
instancia
de
WebPage
subString
Sequencia Simbolica
and
Sequencia Simbolica
subString
Sequencia Simbolica
and
WebSite
(=>
(
precedesInString
?S1 ?S2 ?S3)
(
and
(
subString
?S1 ?S3)
(
subString
?S2 ?S3)))
Mid-level-ontology.kif 24514-24518
precedesInString
Sequencia Simbolica
,
Sequencia Simbolica
and
Sequencia Simbolica
subString
Sequencia Simbolica
and
Sequencia Simbolica
subString
Sequencia Simbolica
and
Sequencia Simbolica
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