nameIndexOrder - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - nameIndexOrder

nameIndexOrder

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 3316-3319
No TPTP formula. May not be expressible in strict first order.	Media.kif 3314-3314	The number 1 argument of name index order is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3315-3315	The number 2 argument of name index order is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 3313-3313	name index order is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Media.kif 3312-3312	name index order is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Media.kif 3321-3321	name index order is a subrelation of names

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3952-3952
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3951-3951
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3950-3950
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
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65924-65924	full name index order is a subrelation of name index order

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3339-3343	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
No TPTP formula. May not be expressible in strict first order.	Media.kif 3330-3337	If a symbolic string is the indexable name for an entity 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 3390-3395	If an entity has name a symbolic string and another symbolic string is before key a third symbolic string in the symbolic string and the other symbolic string is not equal to the third symbolic string, then the symbolic string is the ¬ameIndexOrder$"indexable" ¬ameIndexOrder$"name" for the entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 3358-3364	If an entity has name a symbolic string and another symbolic string is after key a third symbolic string in the symbolic string or the other symbolic string is equal to the third symbolic string, then the symbolic string is the indexable name for the entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 3323-3328	If an entity has name 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 symbolic string is the indexable name for the entity

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