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 26122-26126
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26120-26120 The number 1 argument of string length is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26121-26121 The number 2 argument of string length is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26117-26117 string length is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26119-26119 string length is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26118-26118 string length is an instance of total valued relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4674-4674
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4673-4673
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4672-4672
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65970-65970

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26128-26130 A symbolic string is a nonnegative integer characters long if and only if equal the nonnegative integer and the length of the symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 2994-2998
No TPTP formula. May not be expressible in strict first order. Media.kif 2979-2983
No TPTP formula. May not be expressible in strict first order. Media.kif 2961-2965

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2638-2643
No TPTP formula. May not be expressible in strict first order. Media.kif 2288-2293
No TPTP formula. May not be expressible in strict first order. Languages.kif 14711-14713
No TPTP formula. May not be expressible in strict first order. Media.kif 2990-2992
No TPTP formula. May not be expressible in strict first order. Media.kif 2975-2977
No TPTP formula. May not be expressible in strict first order. Media.kif 2957-2959


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