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 3397-3400
No TPTP formula. May not be expressible in strict first order.	Media.kif 3393-3393	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 3394-3394	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 3395-3395	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 3392-3392	name before key name is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Media.kif 3396-3396	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 65882-65882

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3406-3411	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 3402-3404	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 3413-3417

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