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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SubstringFn
SubstringFn

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


s__documentation(s__SubstringFn__m,s__EnglishLanguage,'"(SubstringFn ?SymbolicString ?NonnegativeInteger-1 ?NonnegativeInteger-2) denotes a string that is a subString of ?SymbolicString, begins with the Character at the index ?NonnegativeInteger-1, and ends with the Character at the index (SubtractionFn ?NonnegativeInteger-2 1). The first Character in ?SymbolicString is denoted by the index 0. If the value of ?NonnegativeInteger-1 or ?NonnegativeInteger-2 is greater than the value of (StringLengthFn ?SymbolicString), or if ?NonnegativeInteger-1 is greater than ?NonnegativeInteger-2, the result of evaluating the SubstringFn expression is undefined. Example: (equal "Charle" (SubstringFn "Charles Darwin" 0 6))."')

Mid-level-ontology.kif 23627-23639
s__domain(s__SubstringFn__m,n__1,s__SymbolicString)

Mid-level-ontology.kif 23623-23623 The number 1 argument of SubstringFn is an instance of symbolic string
s__domain(s__SubstringFn__m,n__2,s__NonnegativeInteger)

Mid-level-ontology.kif 23624-23624 The number 2 argument of SubstringFn is an instance of nonnegative integer
s__domain(s__SubstringFn__m,n__3,s__NonnegativeInteger)

Mid-level-ontology.kif 23625-23625 The number 3 argument of SubstringFn is an instance of nonnegative integer
s__instance(s__SubstringFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Mid-level-ontology.kif 23621-23621 SubstringFn is an instance of partial valued relation
s__instance(s__SingleValuedRelation,s__Class)

s__instance(s__SubstringFn__m,s__SingleValuedRelation)

Mid-level-ontology.kif 23622-23622 SubstringFn is an instance of single valued relation
s__instance(s__SubstringFn__m,s__TernaryFunction)

s__instance(s__TernaryFunction,s__Class)

Mid-level-ontology.kif 23620-23620 SubstringFn is an instance of ternary function
s__range(s__SubstringFn__m,s__SymbolicString)

Mid-level-ontology.kif 23626-23626 The range of SubstringFn is an instance of symbolic string

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


s__format(s__ChineseLanguage,s__SubstringFn__m,'"%1 的 sub-string 从 %2 对于 %3 "')

domainEnglishFormat.kif 4715-4715
s__format(s__ChineseTraditionalLanguage,s__SubstringFn__m,'"%1 的 sub-string 從 %2 對於 %3 "')

domainEnglishFormat.kif 4714-4714
s__format(s__EnglishLanguage,s__SubstringFn__m,'"the sub-string of %1 from %2 to %3"')

domainEnglishFormat.kif 4713-4713

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


( ! [V__A2,V__A3,V__CURRENCY,V__AREA] :
   (((s__instance(V__A2,s__SymbolicString) &
         s__instance(V__A3,s__SymbolicString) &
         s__instance(V__CURRENCY,s__UnitOfCurrency) &
         s__instance(V__AREA,s__Class) &
         s__instance(V__AREA,s__GeopoliticalArea))
       =>
       (((s__codeMapping(s__ISO_4217_A,V__A3,V__CURRENCY)
           &
           s__codeMapping(s__ISO_3166_1_alpha_2,V__A2,V__AREA)
         &
         s__subclass(V__AREA,s__GeopoliticalArea) &
         (V__A2 = s__SubstringFn(V__A3,n__0,n__2)))
     =>
     (s__currencyType(V__AREA,V__CURRENCY)))))
)
)

Media.kif 2871-2877
( ! [V__OUT,V__IN,V__S,V__PIVOT,V__LEN,V__NEW,V__N] :
   (((s__instance(V__OUT,s__SymbolicString) &
         s__instance(V__IN,s__SymbolicString) &
         s__instance(V__S,s__SymbolicString) &
         s__instance(V__PIVOT,s__Integer) &
         s__instance(V__LEN,s__NonnegativeInteger) &
         s__instance(V__NEW,s__NonnegativeInteger) &
         s__instance(V__N,s__NonnegativeInteger))
       =>
       ((((V__OUT = s__ReverseFn(V__IN))
           &
           (V__LEN = s__StringLengthFn(V__IN))
         &
         s__greaterThan(V__LEN,n__1)
       &
       s__greaterThan(V__N,n__0)
     &
     s__lessThan(V__N,V__LEN)
   &
   (V__PIVOT = s__CeilingFn(s__DivisionFn(s__SubtractionFn(V__LEN,n__1)
  ,n__2)))
&
(V__NEW = s__AdditionFn(s__SubtractionFn(V__PIVOT,V__N)
,V__PIVOT))
&
(V__S = s__SubstringFn(V__IN,V__N,s__AdditionFn(n__1,V__N))))
=>
((V__S = s__SubstringFn(V__OUT,V__NEW,s__AdditionFn(n__1,V__NEW)))))))
)
)

Media.kif 3050-3071
( ! [V__END,V__NAMESTRING,V__START,V__REST,V__THING,V__FIRST] :
   (((s__instance(V__END,s__NonnegativeInteger) &
         s__instance(V__NAMESTRING,s__SymbolicString) &
         s__instance(V__START,s__NonnegativeInteger) &
         s__instance(V__REST,s__SymbolicString) &
         s__instance(V__FIRST,s__SymbolicString))
       =>
       (((s__fullNameIndexOrder(V__NAMESTRING,V__THING)
           &
           s__keyName(V__FIRST,V__NAMESTRING)
         &
         (V__START = s__StringLengthFn(V__FIRST))
       &
       (V__END = s__StringLengthFn(V__NAMESTRING))
     &
     (V__REST = s__SubstringFn(V__NAMESTRING,V__START,V__END)))
=>
(s__stringConcatenation(V__FIRST,V__REST,V__NAMESTRING)))))
)
)

Media.kif 3301-3308
( ! [V__END,V__NAMESTRING,V__START,V__REST,V__THING,V__FIRST] :
   (((s__instance(V__END,s__NonnegativeInteger) &
         s__instance(V__NAMESTRING,s__SymbolicString) &
         s__instance(V__START,s__NonnegativeInteger) &
         s__instance(V__REST,s__SymbolicString) &
         s__instance(V__FIRST,s__SymbolicString))
       =>
       (((s__nameIndexOrder(V__NAMESTRING,V__THING)
           &
           s__keyName(V__FIRST,V__NAMESTRING)
         &
         (V__START = s__StringLengthFn(V__FIRST))
       &
       (V__END = s__StringLengthFn(V__NAMESTRING))
     &
     (V__REST = s__SubstringFn(V__NAMESTRING,V__START,V__END)))
=>
(s__stringConcatenation(V__FIRST,V__REST,V__NAMESTRING)))))
)
)

Media.kif 3328-3335

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


( ! [V__OUT,V__IN,V__S,V__PIVOT,V__LEN,V__NEW,V__N] :
   (((s__instance(V__OUT,s__SymbolicString) &
         s__instance(V__IN,s__SymbolicString) &
         s__instance(V__S,s__SymbolicString) &
         s__instance(V__PIVOT,s__Integer) &
         s__instance(V__LEN,s__NonnegativeInteger) &
         s__instance(V__NEW,s__NonnegativeInteger) &
         s__instance(V__N,s__NonnegativeInteger))
       =>
       ((((V__OUT = s__ReverseFn(V__IN))
           &
           (V__LEN = s__StringLengthFn(V__IN))
         &
         s__greaterThan(V__LEN,n__1)
       &
       s__greaterThan(V__N,n__0)
     &
     s__lessThan(V__N,V__LEN)
   &
   (V__PIVOT = s__CeilingFn(s__DivisionFn(s__SubtractionFn(V__LEN,n__1)
  ,n__2)))
&
(V__NEW = s__AdditionFn(s__SubtractionFn(V__PIVOT,V__N)
,V__PIVOT))
&
(V__S = s__SubstringFn(V__IN,V__N,s__AdditionFn(n__1,V__N))))
=>
((V__S = s__SubstringFn(V__OUT,V__NEW,s__AdditionFn(n__1,V__NEW)))))))
)
)

Media.kif 3050-3071


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