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

Formal Language: 



KB Term:  Term intersection
English Word: 

  inString

 Sigma KEE - inString
inString

appearance as argument number 1
-------------------------


(documentation inString EnglishLanguage "(inString ?Character ?SymbolicString) means that ?Character is part of ?SymbolicString. See also subString.") Mid-level-ontology.kif 23726-23728
(domain inString 1 Character) Mid-level-ontology.kif 23724-23724
(domain inString 2 SymbolicString) Mid-level-ontology.kif 23725-23725
(instance inString BinaryPredicate) Mid-level-ontology.kif 23723-23723
(subrelation inString part) Mid-level-ontology.kif 23729-23729

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


(format ChineseLanguage inString "%1 是 %2 的 part ") domainEnglishFormat.kif 3715-3715
(format ChineseTraditionalLanguage inString "%1 是 %2 的 part ") domainEnglishFormat.kif 3714-3714
(format EnglishLanguage inString "%1 is part of %2") domainEnglishFormat.kif 3713-3713

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


(=>
    (and
        (acronym ?STRING ?THING)
        (inString ?CHAR ?STRING))
    (instance ?CHAR AlphabeticCharacter))		 Media.kif 3029-3033
(=>
    (and
        (subString ?S1 ?S2)
        (inString ?CH ?S1))
    (inString ?CH ?S2))		 Mid-level-ontology.kif 23760-23764

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


(=>
    (and
        (instance ?STRING SymbolicString)
        (part ?CHAR ?STRING)
        (instance ?CHAR Character))
    (inString ?CHAR ?STRING))		 Mid-level-ontology.kif 23731-23736
(=>
    (and
        (subString ?S1 ?S2)
        (inString ?CH ?S1))
    (inString ?CH ?S2))		 Mid-level-ontology.kif 23760-23764
(=>
    (instance ?ANS AlphaNumericString)
    (exists (?A ?N)
        (and
            (instance ?A AlphabeticCharacter)
            (inString ?A ?ANS)
            (instance ?N DigitCharacter)
            (inString ?N ?ANS))))		 Media.kif 2929-2936


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