TreeView Knowledge Base Browser - stringLength

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - stringLength

stringLength

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24460-24464
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24458-24458	域 stringLength, 1 and NonnegativeInteger
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24459-24459	域 stringLength, 2 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24455-24455	例 stringLength and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24457-24457	例 stringLength and SingleValuedRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24456-24456	例 stringLength and TotalValuedRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4670-4670
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4669-4669
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4668-4668
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65943-65943

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24466-24468	SymbolicString 是 NonnegativeInteger characters long 等於 NonnegativeInteger and SymbolicString 的 length
No TPTP formula. May not be expressible in strict first order.	Media.kif 2992-2996	例 SymbolicString and AlphabeticString SymbolicString 是 2 characters long 例 SymbolicString and Alpha2String
No TPTP formula. May not be expressible in strict first order.	Media.kif 2977-2981	例 SymbolicString and AlphabeticString SymbolicString 是 3 characters long 例 SymbolicString and Alpha3String
No TPTP formula. May not be expressible in strict first order.	Media.kif 2959-2963	例 SymbolicString and DecimalDigitString SymbolicString 是 4 characters long 例 SymbolicString and NumericString4

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 2636-2641	SymbolicString 在 ISO-3166-1-alpha-2 denotes Entity 例 Entity and GeographicArea 例 SymbolicString and AlphabeticString SymbolicString 是 2 characters long
No TPTP formula. May not be expressible in strict first order.	Media.kif 2286-2291	SymbolicString 在 ISO-4217-A denotes Entity 例 Entity and UnitOfMeasure SymbolicString 是 3 characters long 例 SymbolicString and AlphabeticString
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14711-14713	SymbolicString 在 ISO-639-1 denotes Entity SymbolicString 是 2 characters long
No TPTP formula. May not be expressible in strict first order.	Media.kif 2988-2990	例 SymbolicString and Alpha2String SymbolicString 是 2 characters long
No TPTP formula. May not be expressible in strict first order.	Media.kif 2973-2975	例 SymbolicString and Alpha3String SymbolicString 是 3 characters long
No TPTP formula. May not be expressible in strict first order.	Media.kif 2955-2957	例 SymbolicString and NumericString4 SymbolicString 是 4 characters long

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