fullNameIndexOrder - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - fullNameIndexOrder

fullNameIndexOrder

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 3274-3279
No TPTP formula. May not be expressible in strict first order.	Media.kif 3272-3272	The number 1 argument of fullNameIndexOrder is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3273-3273	The number 2 argument of fullNameIndexOrder is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 3271-3271	fullNameIndexOrder is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Media.kif 3270-3270	fullNameIndexOrder is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Media.kif 3280-3280	fullNameIndexOrder is a subrelation of fullName
No TPTP formula. May not be expressible in strict first order.	Media.kif 3306-3306	fullNameIndexOrder is a subrelation of nameIndexOrder

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3515-3515
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3514-3514
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3513-3513

antecedent

No TPTP formula. May not be expressible in strict first order.

Media.kif 3289-3296

If the index order name of an entity is a symbolic string and another symbolic string is a key in the symbolic string and a nonnegative integer is equal to the length of the other symbolic string and another nonnegative integer is equal to the length of the symbolic string and a third symbolic string is equal to the sub-string of the symbolic string from the nonnegative integer to the other nonnegative integer,
then the concatenation of the other symbolic string and the third symbolic string is the symbolic string

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3282-3287	If the full name of an entity is a symbolic string and another symbolic string is a key in the symbolic string and the concatenation of the other symbolic string and a third symbolic string is the symbolic string, then the index order name of the entity is the symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3325-3329	If a symbolic string is the indexable name for an entity and the full name of the entity is the symbolic string, then the index order name of the entity is the symbolic string

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