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 24448-24454
(domain subString 1 SymbolicString) Mid-level-ontology.kif 24446-24446 Il numero 1 argomenti di subString è un istanza di Stringa
(domain subString 2 SymbolicString) Mid-level-ontology.kif 24447-24447 Il numero 2 argomenti di subString è un istanza di Stringa
(instance subString AntisymmetricRelation) Mid-level-ontology.kif 24442-24442 subString è un' istanza di RelazioneAntisimmetrica
(instance subString BinaryPredicate) Mid-level-ontology.kif 24444-24444 subString è un' istanza di PredicatoBinario
(instance subString ReflexiveRelation) Mid-level-ontology.kif 24443-24443 subString è un' istanza di RelazioneRiflessiva
(instance subString TotalValuedRelation) Mid-level-ontology.kif 24445-24445 subString è un' istanza di RelazioneAValoreTotale
(subrelation subString part) Mid-level-ontology.kif 24455-24455 subString è una sottorelazione di part

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


(format ChineseLanguage subString "%1 是 %2 的 sub-string ") domainEnglishFormat.kif 4702-4702
(format ChineseTraditionalLanguage subString "%1 是 %2 的 sub-string ") domainEnglishFormat.kif 4701-4701
(format EnglishLanguage subString "%1 is a sub-string of %2") domainEnglishFormat.kif 4700-4700
(subrelation keyName subString) Media.kif 3263-3263 keyName è una sottorelazione di subString
(subrelation telecomAreaCode subString) Mid-level-ontology.kif 24981-24981 telecomAreaCode è una sottorelazione di subString
(subrelation telecomCode2 subString) Mid-level-ontology.kif 24992-24992 telecomCode2 è una sottorelazione di subString
(subrelation telecomCoreNumber subString) Mid-level-ontology.kif 24948-24948 telecomCoreNumber è una sottorelazione di subString
(subrelation telecomCountryCode subString) Mid-level-ontology.kif 24966-24966 telecomCountryCode è una sottorelazione di subString
(termFormat EnglishLanguage subString "sub string") domainEnglishFormat.kif 65948-65948

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


(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))		 Media.kif 3434-3439
(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (givenName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (not
        (keyName ?STRING ?NAMESTRING)))		 Media.kif 3443-3448
(=>
    (and
        (subString ?S1 ?S2)
        (equal ?L1
            (StringLengthFn ?S1))
        (equal ?L2
            (StringLengthFn ?S2)))
    (lessThanOrEqualTo ?L1 ?L2))		 Mid-level-ontology.kif 24457-24462
(=>
    (and
        (subString ?S1 ?S2)
        (inString ?CH ?S1))
    (inString ?CH ?S2))		 Mid-level-ontology.kif 24464-24468

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 24571-24575


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