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	Le nombre 1 argument de nameBeforeKeyName est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 3394-3394	Le nombre 2 argument de nameBeforeKeyName est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 3395-3395	Le nombre 3 argument de nameBeforeKeyName est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 3392-3392	nameBeforeKeyName est une instance de pr�dicat ternaire
No TPTP formula. May not be expressible in strict first order.	Media.kif 3396-3396	nameBeforeKeyName est une sous-relation de precedesInString

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	Entit� s'appele nom cha�ne sympbolique nameBeforeKeyName cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique cha�ne sympbolique est cha�ne sympbolique nameIndexOrder cha�ne sympbolique and entit�
No TPTP formula. May not be expressible in strict first order.	Media.kif 3402-3404	nameBeforeKeyName cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique keyName cha�ne sympbolique and cha�ne sympbolique

consequent

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

Media.kif 3413-3417

keyName cha�ne sympbolique and cha�ne sympbolique precedesInString cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique
nameBeforeKeyName cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique

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