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	域 nameBeforeKeyName, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3394-3394	域 nameBeforeKeyName, 2 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3395-3395	域 nameBeforeKeyName, 3 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3392-3392	例 nameBeforeKeyName and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Media.kif 3396-3396	子關係 nameBeforeKeyName and 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	名 SymbolicString and Entity SymbolicString 是 before key SymbolicString 在 SymbolicString 等於 SymbolicString and SymbolicString SymbolicString 是 &ameIndexOrder$"indexable" &ameIndexOrder$"name" 對於 Entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 3402-3404	SymbolicString 是 before key SymbolicString 在 SymbolicString SymbolicString 是在 SymbolicString 的 key

consequent

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

Media.kif 3413-3417

SymbolicString 是在 SymbolicString 的 key SymbolicString precedes SymbolicString 在 SymbolicString
SymbolicString 是 before 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