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	Le nombre 1 argument de stringLength est une instance de nombre entier non n�gatif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24459-24459	Le nombre 2 argument de stringLength est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24455-24455	stringLength est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24457-24457	stringLength est une instance de relation simple
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24456-24456	stringLength est une instance de relation total

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	stringLength nombre entier non n�gatif and cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 2992-2996	Cha�ne sympbolique est une instance de AlphabeticString stringLength 2 and cha�ne sympbolique cha�ne sympbolique est une instance de Alpha2String
No TPTP formula. May not be expressible in strict first order.	Media.kif 2977-2981	Cha�ne sympbolique est une instance de AlphabeticString stringLength 3 and cha�ne sympbolique cha�ne sympbolique est une instance de Alpha3String
No TPTP formula. May not be expressible in strict first order.	Media.kif 2959-2963	Cha�ne sympbolique est une instance de DecimalDigitString stringLength 4 and cha�ne sympbolique cha�ne sympbolique est une instance de NumericString4

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 2636-2641	codeMapping ISO-3166-1-alpha-2, cha�ne sympbolique and entit� entit� est une instance de secteur g�ographique cha�ne sympbolique est une instance de AlphabeticString stringLength 2 and cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 2286-2291	codeMapping ISO-4217-A, cha�ne sympbolique and entit� entit� est une instance de unit� de mesure stringLength 3 and cha�ne sympbolique cha�ne sympbolique est une instance de AlphabeticString
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14711-14713	codeMapping ISO-639-1, cha�ne sympbolique and entit� stringLength 2 and cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 2988-2990	Cha�ne sympbolique est une instance de Alpha2String stringLength 2 and cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 2973-2975	Cha�ne sympbolique est une instance de Alpha3String stringLength 3 and cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 2955-2957	Cha�ne sympbolique est une instance de NumericString4 stringLength 4 and cha�ne sympbolique

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