TreeView Knowledge Base Browser - nameBeforeKeyName

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

nameBeforeKeyName

Sigma KEE - nameBeforeKeyName

nameBeforeKeyName

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 3379-3382
No TPTP formula. May not be expressible in strict first order.	Media.kif 3375-3375	The number 1 argument of name before key name is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3376-3376	The number 2 argument of name before key name is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3377-3377	The number 3 argument of name before key name is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3374-3374	name before key name is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Media.kif 3378-3378	name before key name is a subrelation of precedes in string

appearance as argument number 2

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.	domainEnglishFormat.kif 3949-3949
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3948-3948
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65884-65884

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3388-3393	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 3384-3386	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

consequent

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

Media.kif 3395-3399

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

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