SubstringFn - Sigma Knowledge base Browser

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	If a symbolic string in ISO-4217-A denotes an UnitOfCurrency and another symbolic string in ISO-3166-1-alpha-2 denotes a class and the class is a subclass of geopolitical area and the other symbolic string is equal to the sub-string of the symbolic string from 0 to 2, then the UnitOfCurrency is a currency type of the class
( ! [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	If a symbolic string is equal to the reverse of another symbolic string and a nonnegative integer is equal to the length of the other symbolic string and the nonnegative integer is greater than 1 and another nonnegative integer is greater than 0 and the other nonnegative integer is less than the nonnegative integer and an integer is equal to the ceiling of (the nonnegative integer and 1) and 2 and the other nonnegative integerEW is equal to ((the integer and the other nonnegative integer) and the integer) and a third symbolic string is equal to the sub-string of the other symbolic string from the other nonnegative integer to (1 and the other nonnegative integer), then the third symbolic string is equal to the sub-string of the symbolic string from the other nonnegative integerEW to (1 and the other nonnegative integerEW)
( ! [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	If the index order name of an entity is a symbolic string and another symbolic string is a key in the symbolic string and a nonnegative integer is equal to the length of the other symbolic string and another nonnegative integer is equal to the length of the symbolic string and a third symbolic string is equal to the sub-string of the symbolic string from the nonnegative integer to the other nonnegative integer, then the concatenation of the other symbolic string and the third symbolic string is the symbolic string
( ! [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	If a symbolic string is the indexable name for an entity and another symbolic string is a key in the symbolic string and a nonnegative integer is equal to the length of the other symbolic string and another nonnegative integer is equal to the length of the symbolic string and a third symbolic string is equal to the sub-string of the symbolic string from the nonnegative integer to the other nonnegative integer, then the concatenation of the other symbolic string and the third symbolic string is the symbolic string

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

If a symbolic string is equal to the reverse of another symbolic string and a nonnegative integer is equal to the length of the other symbolic string and the nonnegative integer is greater than 1 and another nonnegative integer is greater than 0 and the other nonnegative integer is less than the nonnegative integer and an integer is equal to the ceiling of (the nonnegative integer and 1) and 2 and the other nonnegative integerEW is equal to ((the integer and the other nonnegative integer) and the integer) and a third symbolic string is equal to the sub-string of the other symbolic string from the other nonnegative integer to (1 and the other nonnegative integer),
then the third symbolic string is equal to the sub-string of the symbolic string from the other nonnegative integerEW to (1 and the other nonnegative integerEW)

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

KB Term:			Term intersection

English Word: