TreeView Knowledge Base Browser - AlphabeticString

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

AlphabeticString

Sigma KEE - AlphabeticString

AlphabeticString(alphabetic string)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 2902-2902	Alphabetic string is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order.	Media.kif 2901-2901	Alphabetic string is a subclass of symbolic string

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 2986-2986	Alpha2 string is a subclass of alphabetic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 2971-2971	Alpha3 string is a subclass of alphabetic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 2969-2969	Alpha ID string is a subclass of alphabetic string
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64435-64435

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 2904-2909	If an object is an instance of alphabetic string and another object is a part of the object and the other object is an instance of character, then the other object is an instance of alphabetic character
No TPTP formula. May not be expressible in strict first order.	Media.kif 2992-2996	If a symbolic string is an instance of alphabetic string and the symbolic string is 2 characters long, then the symbolic string is an instance of alpha2 string
No TPTP formula. May not be expressible in strict first order.	Media.kif 2977-2981	If a symbolic string is an instance of alphabetic string and the symbolic string is 3 characters long, then the symbolic string is an instance of alpha3 string

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 2636-2641	If a symbolic string in ISO-3166-1-alpha-2 denotes an entity, then the entity is an instance of geographic area and the symbolic string is an instance of alphabetic string and the symbolic string is 2 characters long
No TPTP formula. May not be expressible in strict first order.	Media.kif 2286-2291	If a symbolic string in ISO-4217-A denotes an entity, then the entity is an instance of unit of measure and the symbolic string is 3 characters long and the symbolic string is an instance of alphabetic string

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