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 26072-26078
(domain subString 1 SymbolicString) Mid-level-ontology.kif 26070-26070 The number 1 argument of sub string is an instance of symbolic string
(domain subString 2 SymbolicString) Mid-level-ontology.kif 26071-26071 The number 2 argument of sub string is an instance of symbolic string
(instance subString AntisymmetricRelation) Mid-level-ontology.kif 26066-26066 sub string is an instance of antisymmetric relation
(instance subString BinaryPredicate) Mid-level-ontology.kif 26068-26068 sub string is an instance of binary predicate
(instance subString ReflexiveRelation) Mid-level-ontology.kif 26067-26067 sub string is an instance of reflexive relation
(instance subString TotalValuedRelation) Mid-level-ontology.kif 26069-26069 sub string is an instance of total valued relation
(subrelation subString part) Mid-level-ontology.kif 26079-26079 sub string 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 key name is a subrelation of sub string
(subrelation telecomAreaCode subString) Mid-level-ontology.kif 26605-26605 telecom area code is a subrelation of sub string
(subrelation telecomCode2 subString) Mid-level-ontology.kif 26616-26616 telecom code2 is a subrelation of sub string
(subrelation telecomCoreNumber subString) Mid-level-ontology.kif 26572-26572 telecom core number is a subrelation of sub string
(subrelation telecomCountryCode subString) Mid-level-ontology.kif 26590-26590 telecom country code is a subrelation of sub string
(termFormat EnglishLanguage subString "sub string") domainEnglishFormat.kif 66004-66004 telecom country code is a subrelation of sub string

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 26081-26086
(=>
    (and
        (subString ?S1 ?S2)
        (inString ?CH ?S1))
    (inString ?CH ?S2))		 Mid-level-ontology.kif 26088-26092

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 26195-26199


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