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 3288-3293
No TPTP formula. May not be expressible in strict first order.	Media.kif 3286-3286	The number 1 argument of full name index order is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3287-3287	The number 2 argument of full name index order is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 3285-3285	full name index order is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Media.kif 3284-3284	full name index order is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Media.kif 3294-3294	full name index order is a subrelation of full name
No TPTP formula. May not be expressible in strict first order.	Media.kif 3320-3320	full name index order is a subrelation of name index order

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3508-3508
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3507-3507
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3506-3506
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65840-65840

antecedent

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

Media.kif 3303-3310

If the index order name of an entity is a symbolic string and another symbolic string is a key in the symbolic string and equal a nonnegative integer and the length of the other symbolic string and equal another nonnegative integer and the length of the symbolic string and equal a third symbolic string and 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 3296-3301	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 3339-3343	If a symbolic string is the &ameIndexOrder$"indexable" &ameIndexOrder$"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