TreeView Knowledge Base Browser - nameAfterKeyName

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

nameAfterKeyName

Sigma KEE - nameAfterKeyName

nameAfterKeyName

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 3365-3368
No TPTP formula. May not be expressible in strict first order.	Media.kif 3362-3362	域 nameAfterKeyName, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3363-3363	域 nameAfterKeyName, 2 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3364-3364	域 nameAfterKeyName, 3 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3361-3361	例 nameAfterKeyName and TernaryPredicate

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 65881-65881

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3374-3380	名 SymbolicString and Entity SymbolicString 是 after key SymbolicString 在 SymbolicString 等於 SymbolicString and SymbolicString SymbolicString 是 indexable name 對於 Entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 3370-3372	SymbolicString 是 after key SymbolicString 在 SymbolicString SymbolicString 是在 SymbolicString 的 key
No TPTP formula. May not be expressible in strict first order.	Media.kif 3382-3384	SymbolicString 是 after key SymbolicString 在 SymbolicString SymbolicString precedes SymbolicString 在 SymbolicString

consequent

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

Media.kif 3386-3390

SymbolicString 是在 SymbolicString 的 key SymbolicString precedes SymbolicString 在 SymbolicString
SymbolicString 是 after key SymbolicString 在 SymbolicString

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