SubstringFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23773-23785
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23769-23769	The number 1 argument of SubstringFn is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23770-23770	The number 2 argument of SubstringFn is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23771-23771	The number 3 argument of SubstringFn is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23767-23767	SubstringFn is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23768-23768	SubstringFn is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23766-23766	SubstringFn is an instance of ternary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23772-23772	The range of SubstringFn is an instance of symbolic string

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4715-4715
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4714-4714
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4713-4713

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 2877-2883	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
No TPTP formula. May not be expressible in strict first order.	Media.kif 3056-3077	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)
No TPTP formula. May not be expressible in strict first order.	Media.kif 3307-3314	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
No TPTP formula. May not be expressible in strict first order.	Media.kif 3334-3341	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

No TPTP formula. May not be expressible in strict first order.

Media.kif 3056-3077

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: