Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - subString
subString

appearance as argument number 1
-------------------------


(instance subString AntisymmetricRelation) Mid-level-ontology.kif 26684-26684 sub string is an instance of antisymmetric relation
(instance subString ReflexiveRelation) Mid-level-ontology.kif 26685-26685 sub string is an instance of reflexive relation
(instance subString BinaryPredicate) Mid-level-ontology.kif 26686-26686 sub string is an instance of binary predicate
(instance subString TotalValuedRelation) Mid-level-ontology.kif 26687-26687 sub string is an instance of total valued relation
(domain subString 1 SymbolicString) Mid-level-ontology.kif 26688-26688 The number 1 argument of sub string is an instance of symbolic string
(domain subString 2 SymbolicString) Mid-level-ontology.kif 26689-26689 The number 2 argument of sub string is an instance of symbolic string
(documentation subString EnglishLanguage "(subString ?SymbolicString-1 ?SymbolicString-2) means that ?SymbolicString-1 is part of ?SymbolicString-2. ?SymbolicString-2 includes all the same Characters as ?SymbolicString-1 and in the same order, but ?SymbolicString-2 may include more Characters than ?SymbolicString-1. See also inString.") Mid-level-ontology.kif 26690-26696 The number 2 argument of sub string is an instance of symbolic string
(subrelation subString part) Mid-level-ontology.kif 26697-26697 sub string is a subrelation of part

appearance as argument number 2
-------------------------


(subrelation telecomCoreNumber subString) Mid-level-ontology.kif 27173-27173 telecom core number is a subrelation of sub string
(subrelation telecomCountryCode subString) Mid-level-ontology.kif 27191-27191 telecom country code is a subrelation of sub string
(subrelation telecomAreaCode subString) Mid-level-ontology.kif 27206-27206 telecom area code is a subrelation of sub string
(subrelation telecomCode2 subString) Mid-level-ontology.kif 27217-27217 telecom code2 is a subrelation of sub string
(subrelation keyName subString) Media.kif 3210-3210 key name is a subrelation of sub string
(format EnglishLanguage subString "%1 is a sub-string of %2") domainEnglishFormat.kif 4704-4704 key name is a subrelation of sub string
(format ChineseTraditionalLanguage subString "%1 是 %2 的 sub-string ") domainEnglishFormat.kif 4705-4705 key name is a subrelation of sub string
(format ChineseLanguage subString "%1 是 %2 的 sub-string ") domainEnglishFormat.kif 4706-4706 key name is a subrelation of sub string
(termFormat EnglishLanguage subString "sub string") domainEnglishFormat.kif 65982-65982 key name is a subrelation of sub string

antecedent
-------------------------


(=>
    (and
        (subString ?S1 ?S2)
        (equal ?L1
            (StringLengthFn ?S1))
        (equal ?L2
            (StringLengthFn ?S2)))
    (lessThanOrEqualTo ?L1 ?L2))		 Mid-level-ontology.kif 26699-26704 If X is a sub-string of Y, equal Z and the length of X, and equal W and the length of Y, then Z is less than or equal to W
(=>
    (and
        (subString ?S1 ?S2)
        (inString ?CH ?S1))
    (inString ?CH ?S2))		 Mid-level-ontology.kif 26706-26710 If X is a sub-string of Y and Z is part of X, then Z is part of Y
(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))		 Media.kif 3367-3372 If X is called Y, Z is a family name of X, and Z is a sub-string of Y, then Z is a key in Y
(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (givenName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (not
        (keyName ?STRING ?NAMESTRING)))		 Media.kif 3376-3381 If X is called Y, Z is a given name of X, and Z is a sub-string of Y, then Z is a key in Y

consequent
-------------------------


(=>
    (precedesInString ?S1 ?S2 ?S3)
    (and
        (subString ?S1 ?S3)
        (subString ?S2 ?S3)))		 Mid-level-ontology.kif 26813-26817 If X precedes Y in Z, then X is a sub-string of Z and Y is a sub-string of Z
(=>
    (hostedOn ?LISTING ?SITE)
    (exists (?PAGE)
        (and
            (instance ?PAGE WebPage)
            (subString ?LISTING ?PAGE)
            (subString ?PAGE ?SITE))))		 UXExperimentalTerms.kif 125-131 If X is hosted on Y, then there exists Z such that Z is an instance of web page, X is a sub-string of Z, and Z is a sub-string of Y
(=>
    (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 If X is the ID of Y when accessing Z, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of web page (3) W is a sub-string of Z (4) V is an instance of accessing web page (5) U is an instance of agent (6) U is an agent of V (7) Y is a program running of T (8) T causes V (9) V ends up at W (10) X expresses U


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners