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
(instance subString ReflexiveRelation) Mid-level-ontology.kif 26685-26685
(instance subString BinaryPredicate) Mid-level-ontology.kif 26686-26686
(instance subString TotalValuedRelation) Mid-level-ontology.kif 26687-26687
(domain subString 1 SymbolicString) Mid-level-ontology.kif 26688-26688
(domain subString 2 SymbolicString) Mid-level-ontology.kif 26689-26689
(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
(subrelation subString part) Mid-level-ontology.kif 26697-26697

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


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

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


(=>
    (and
        (subString ?S1 ?S2)
        (equal ?L1
            (StringLengthFn ?S1))
        (equal ?L2
            (StringLengthFn ?S2)))
    (lessThanOrEqualTo ?L1 ?L2))		 Mid-level-ontology.kif 26699-26704
(=>
    (and
        (subString ?S1 ?S2)
        (inString ?CH ?S1))
    (inString ?CH ?S2))		 Mid-level-ontology.kif 26706-26710
(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))		 Media.kif 3367-3372
(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (givenName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (not
        (keyName ?STRING ?NAMESTRING)))		 Media.kif 3376-3381

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


(=>
    (precedesInString ?S1 ?S2 ?S3)
    (and
        (subString ?S1 ?S3)
        (subString ?S2 ?S3)))		 Mid-level-ontology.kif 26813-26817
(=>
    (hostedOn ?LISTING ?SITE)
    (exists (?PAGE)
        (and
            (instance ?PAGE WebPage)
            (subString ?LISTING ?PAGE)
            (subString ?PAGE ?SITE))))		 UXExperimentalTerms.kif 125-131
(=>
    (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


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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners