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 22256-22260
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22254-22254 The number 1 argument of stringLength is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22255-22255 The number 2 argument of stringLength is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22253-22253 stringLength is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22250-22250 stringLength is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22252-22252 stringLength is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22251-22251 stringLength 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 4679-4679
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4678-4678
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4677-4677

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22262-22264 A symbolic string is a nonnegative integer characters long if and only if the nonnegative integer is equal to the length of the symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 2962-2966
No TPTP formula. May not be expressible in strict first order. Media.kif 2947-2951
No TPTP formula. May not be expressible in strict first order. Media.kif 2929-2933

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2606-2611
No TPTP formula. May not be expressible in strict first order. Media.kif 2281-2286
No TPTP formula. May not be expressible in strict first order. Languages.kif 14689-14691
No TPTP formula. May not be expressible in strict first order. Media.kif 2958-2960
No TPTP formula. May not be expressible in strict first order. Media.kif 2943-2945
No TPTP formula. May not be expressible in strict first order. Media.kif 2925-2927


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