TreeView Knowledge Base Browser - nameAfterKeyName

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

PrintedCircuitAssemblyElectronicAssemblyManufacturing

Sigma KEE - nameAfterKeyName

nameAfterKeyName

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 3347-3350
No TPTP formula. May not be expressible in strict first order.	Media.kif 3344-3344	O argumento numero 1 de nameAfterKeyName e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Media.kif 3345-3345	O argumento numero 2 de nameAfterKeyName e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Media.kif 3346-3346	O argumento numero 3 de nameAfterKeyName e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Media.kif 3343-3343	nameAfterKeyName e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3946-3946
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3945-3945
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3944-3944
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65883-65883

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3356-3362	Entidade se chama nome Sequencia Simbolica nameAfterKeyName Sequencia Simbolica, Sequencia Simbolica and Sequencia Simbolica Sequencia Simbolica e' igual a Sequencia Simbolica nameIndexOrder Sequencia Simbolica and Entidade
No TPTP formula. May not be expressible in strict first order.	Media.kif 3352-3354	nameAfterKeyName Sequencia Simbolica, Sequencia Simbolica and Sequencia Simbolica keyName Sequencia Simbolica and Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Media.kif 3364-3366	nameAfterKeyName Sequencia Simbolica, Sequencia Simbolica and Sequencia Simbolica precedesInString Sequencia Simbolica, Sequencia Simbolica and Sequencia Simbolica

consequent

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

Media.kif 3368-3372

keyName Sequencia Simbolica and Sequencia Simbolica precedesInString Sequencia Simbolica, Sequencia Simbolica and Sequencia Simbolica
nameAfterKeyName Sequencia Simbolica, Sequencia Simbolica and Sequencia Simbolica

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