keyName - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - keyName

keyName

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 3266-3268
No TPTP formula. May not be expressible in strict first order.	Media.kif 3263-3263	The number 1 argument of key name is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3264-3264	The number 2 argument of key name is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3260-3260	key name is an instance of antisymmetric relation
No TPTP formula. May not be expressible in strict first order.	Media.kif 3259-3259	key name is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Media.kif 3262-3262	key name is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Media.kif 3261-3261	key name is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order.	Media.kif 3265-3265	key name is a subrelation of sub string

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3716-3716
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3715-3715
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3714-3714
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65899-65899

antecedent

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 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 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
No TPTP formula. May not be expressible in strict first order.	Media.kif 3370-3374	If a symbolic string is a key in another symbolic string and the symbolic string precedes a third symbolic string in the other symbolic string, then the third symbolic string is after key the symbolic string in the other symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3397-3401	If a symbolic string is a key in another symbolic string and a third symbolic string precedes the symbolic string in the other symbolic string, then the third symbolic string is before key the symbolic string in the other 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
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

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3436-3441	If a human is called a symbolic string and another symbolic string is a family name of the human and the other symbolic string is a sub_string of the symbolic string, then the other symbolic string is a key in the symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3445-3450	If a human is called a symbolic string and another symbolic string is a given name of the human and the other symbolic string is a sub_string of the symbolic string, then not the other symbolic string is a key in the symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3354-3356	If a symbolic string is after key another symbolic string in a third symbolic string, then the other symbolic string is a key in the third symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3386-3388	If a symbolic string is before key another symbolic string in a third symbolic string, then the other symbolic string is a key in the third 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