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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subString

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 24390-24396
(domain subString 1 SymbolicString) Mid-level-ontology.kif 24388-24388 Il numero 1 argomenti di subString è un istanza di Stringa
(domain subString 2 SymbolicString) Mid-level-ontology.kif 24389-24389 Il numero 2 argomenti di subString è un istanza di Stringa
(instance subString AntisymmetricRelation) Mid-level-ontology.kif 24384-24384 subString è un' istanza di RelazioneAntisimmetrica
(instance subString BinaryPredicate) Mid-level-ontology.kif 24386-24386 subString è un' istanza di PredicatoBinario
(instance subString ReflexiveRelation) Mid-level-ontology.kif 24385-24385 subString è un' istanza di RelazioneRiflessiva
(instance subString TotalValuedRelation) Mid-level-ontology.kif 24387-24387 subString è un' istanza di RelazioneAValoreTotale
(subrelation subString part) Mid-level-ontology.kif 24397-24397 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 3281-3281 keyName è una sottorelazione di subString
(subrelation telecomAreaCode subString) Mid-level-ontology.kif 24923-24923 telecomAreaCode è una sottorelazione di subString
(subrelation telecomCode2 subString) Mid-level-ontology.kif 24934-24934 telecomCode2 è una sottorelazione di subString
(subrelation telecomCoreNumber subString) Mid-level-ontology.kif 24890-24890 telecomCoreNumber è una sottorelazione di subString
(subrelation telecomCountryCode subString) Mid-level-ontology.kif 24908-24908 telecomCountryCode è una sottorelazione di subString
(termFormat EnglishLanguage subString "sub string") domainEnglishFormat.kif 65946-65946

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


(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))
Media.kif 3452-3457
(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (givenName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (not
        (keyName ?STRING ?NAMESTRING)))
Media.kif 3461-3466
(=>
    (and
        (subString ?S1 ?S2)
        (equal ?L1
            (StringLengthFn ?S1))
        (equal ?L2
            (StringLengthFn ?S2)))
    (lessThanOrEqualTo ?L1 ?L2))
Mid-level-ontology.kif 24399-24404
(=>
    (and
        (subString ?S1 ?S2)
        (inString ?CH ?S1))
    (inString ?CH ?S2))
Mid-level-ontology.kif 24406-24410

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 24513-24517


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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