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


KB Term:  Term intersection
English Word: 

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 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 26044-26050
(domain subString 1 SymbolicString) Mid-level-ontology.kif 26042-26042 The number 1 argument of subString is an instance of symbolic string
(domain subString 2 SymbolicString) Mid-level-ontology.kif 26043-26043 The number 2 argument of subString is an instance of symbolic string
(instance subString AntisymmetricRelation) Mid-level-ontology.kif 26038-26038 subString is an instance of antisymmetric relation
(instance subString BinaryPredicate) Mid-level-ontology.kif 26040-26040 subString is an instance of binary predicate
(instance subString ReflexiveRelation) Mid-level-ontology.kif 26039-26039 subString is an instance of reflexive relation
(instance subString TotalValuedRelation) Mid-level-ontology.kif 26041-26041 subString is an instance of total valued relation
(subrelation subString part) Mid-level-ontology.kif 26051-26051 subString is a subrelation of part

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


(format ChineseLanguage subString "%1 是 %2 的 sub-string ") domainEnglishFormat.kif 4706-4706
(format ChineseTraditionalLanguage subString "%1 是 %2 的 sub-string ") domainEnglishFormat.kif 4705-4705
(format EnglishLanguage subString "%1 is a sub-string of %2") domainEnglishFormat.kif 4704-4704
(subrelation keyName subString) Media.kif 3265-3265 keyName is a subrelation of subString
(subrelation telecomAreaCode subString) Mid-level-ontology.kif 26577-26577 telecomAreaCode is a subrelation of subString
(subrelation telecomCode2 subString) Mid-level-ontology.kif 26588-26588 telecomCode2 is a subrelation of subString
(subrelation telecomCoreNumber subString) Mid-level-ontology.kif 26544-26544 telecomCoreNumber is a subrelation of subString
(subrelation telecomCountryCode subString) Mid-level-ontology.kif 26562-26562 telecomCountryCode is a subrelation of subString
(termFormat EnglishLanguage subString "sub string") domainEnglishFormat.kif 65972-65972 telecomCountryCode is a subrelation of subString

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


(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))		 Media.kif 3436-3441
(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (givenName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (not
        (keyName ?STRING ?NAMESTRING)))		 Media.kif 3445-3450
(=>
    (and
        (subString ?S1 ?S2)
        (equal ?L1
            (StringLengthFn ?S1))
        (equal ?L2
            (StringLengthFn ?S2)))
    (lessThanOrEqualTo ?L1 ?L2))		 Mid-level-ontology.kif 26053-26058
(=>
    (and
        (subString ?S1 ?S2)
        (inString ?CH ?S1))
    (inString ?CH ?S2))		 Mid-level-ontology.kif 26060-26064

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


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 is open source software produced by Articulate Software and its partners