Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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 26766-26766 sub string is an instance of antisymmetric relation
(instance subString ReflexiveRelation) Mid-level-ontology.kif 26767-26767 sub string is an instance of reflexive relation
(instance subString BinaryPredicate) Mid-level-ontology.kif 26768-26768 sub string is an instance of binary predicate
(instance subString TotalValuedRelation) Mid-level-ontology.kif 26769-26769 sub string is an instance of total valued relation
(domain subString 1 SymbolicString) Mid-level-ontology.kif 26770-26770 The number 1 argument of sub string is an instance of symbolic string
(domain subString 2 SymbolicString) Mid-level-ontology.kif 26771-26771 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 26772-26778 The number 2 argument of sub string is an instance of symbolic string
(subrelation subString part) Mid-level-ontology.kif 26779-26779 sub string is a subrelation of part

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


(subrelation keyName subString) Media.kif 3265-3265 key name is a subrelation of sub string
(subrelation telecomCoreNumber subString) Mid-level-ontology.kif 27272-27272 telecom core number is a subrelation of sub string
(subrelation telecomCountryCode subString) Mid-level-ontology.kif 27290-27290 telecom country code is a subrelation of sub string
(subrelation telecomAreaCode subString) Mid-level-ontology.kif 27305-27305 telecom area code is a subrelation of sub string
(subrelation telecomCode2 subString) Mid-level-ontology.kif 27316-27316 telecom code2 is a subrelation of sub string
(format EnglishLanguage subString "%1 is a sub-string of %2") domainEnglishFormat.kif 4704-4704 telecom code2 is a subrelation of sub string
(format ChineseTraditionalLanguage subString "%1 是 %2 的 sub-string ") domainEnglishFormat.kif 4705-4705 telecom code2 is a subrelation of sub string
(format ChineseLanguage subString "%1 是 %2 的 sub-string ") domainEnglishFormat.kif 4706-4706 telecom code2 is a subrelation of sub string
(termFormat EnglishLanguage subString "sub string") domainEnglishFormat.kif 65966-65966 telecom code2 is a subrelation of sub string

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


(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))		 Media.kif 3436-3441 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 3445-3450 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
(=>
    (and
        (subString ?S1 ?S2)
        (equal ?L1
            (StringLengthFn ?S1))
        (equal ?L2
            (StringLengthFn ?S2)))
    (lessThanOrEqualTo ?L1 ?L2))		 Mid-level-ontology.kif 26781-26786 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 26788-26792 If X is a sub-string of Y and Z is part of X, then Z is part of Y

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


(=>
    (precedesInString ?S1 ?S2 ?S3)
    (and
        (subString ?S1 ?S3)
        (subString ?S2 ?S3)))		 Mid-level-ontology.kif 26895-26899 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 is open source software produced by Articulate Software and its partners