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 24420-24432
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24416-24416	域 SubstringFn, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24417-24417	域 SubstringFn, 2 and NonnegativeInteger
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24418-24418	域 SubstringFn, 3 and NonnegativeInteger
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24414-24414	例 SubstringFn and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24415-24415	例 SubstringFn and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24413-24413	例 SubstringFn and TernaryFunction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24419-24419	範圍 SubstringFn and SymbolicString

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4706-4706
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4705-4705
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4704-4704
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65554-65554

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 2889-2895	SymbolicString 在 ISO-4217-A denotes UnitOfCurrency SymbolicString 在 ISO-3166-1-alpha-2 denotes GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea 等於 SymbolicString and SymbolicString 的 sub-string 從 0 對於 2 UnitOfCurrency 是 GeopoliticalArea 的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Media.kif 3068-3089	等於 SymbolicString and ReverseFn SymbolicString 等於 NonnegativeInteger and SymbolicString 的 length 比較多 NonnegativeInteger and 1 比較多 NonnegativeInteger and 0 少於 NonnegativeInteger and NonnegativeInteger 等於 Integer and 天花板部減法 NonnegativeInteger and 1 and 2 等於 NonnegativeIntegerEW and 加成減法 Integer and NonnegativeInteger and Integer 等於 SymbolicString and SymbolicString 的 sub-string 從 NonnegativeInteger 對於加成 1 and NonnegativeInteger 等於 SymbolicString and SymbolicString 的 sub-string 從 NonnegativeIntegerEW 對於加成 1 and NonnegativeIntegerEW
No TPTP formula. May not be expressible in strict first order.	Media.kif 3319-3326	Entity 的 index order name 是 SymbolicString SymbolicString 是在 SymbolicString 的 key 等於 NonnegativeInteger and SymbolicString 的 length 等於 NonnegativeInteger and SymbolicString 的 length 等於 SymbolicString and SymbolicString 的 sub-string 從 NonnegativeInteger 對於 NonnegativeInteger SymbolicString 和 SymbolicString 的 concatenation 是 SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3346-3353	SymbolicString 是 indexable name 對於 Entity SymbolicString 是在 SymbolicString 的 key 等於 NonnegativeInteger and SymbolicString 的 length 等於 NonnegativeInteger and SymbolicString 的 length 等於 SymbolicString and SymbolicString 的 sub-string 從 NonnegativeInteger 對於 NonnegativeInteger SymbolicString 和 SymbolicString 的 concatenation 是 SymbolicString

consequent

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

Media.kif 3068-3089

等於 SymbolicString and ReverseFn SymbolicString 等於 NonnegativeInteger and SymbolicString 的 length 比較多 NonnegativeInteger and 1 比較多 NonnegativeInteger and 0 少於 NonnegativeInteger and NonnegativeInteger 等於 Integer and 天花板部減法 NonnegativeInteger and 1 and 2 等於 NonnegativeIntegerEW and 加成減法 Integer and NonnegativeInteger and Integer 等於 SymbolicString and SymbolicString 的 sub-string 從 NonnegativeInteger 對於加成 1 and NonnegativeInteger
等於 SymbolicString and SymbolicString 的 sub-string 從 NonnegativeIntegerEW 對於加成 1 and NonnegativeIntegerEW

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: