TreeView Knowledge Base Browser - fullNameIndexOrder

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

fullNameIndexOrder

Sigma KEE - fullNameIndexOrder

fullNameIndexOrder

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 3286-3291
No TPTP formula. May not be expressible in strict first order.	Media.kif 3284-3284	域 fullNameIndexOrder, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3285-3285	域 fullNameIndexOrder, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 3283-3283	例 fullNameIndexOrder and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Media.kif 3282-3282	例 fullNameIndexOrder and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Media.kif 3292-3292	子關係 fullNameIndexOrder and fullName
No TPTP formula. May not be expressible in strict first order.	Media.kif 3318-3318	子關係 fullNameIndexOrder and nameIndexOrder

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3510-3510
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3509-3509
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3508-3508
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65838-65838

antecedent

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

Media.kif 3301-3308

Entity 的 index order name 是 SymbolicString SymbolicString 是在 SymbolicString 的 key 等於 NonnegativeInteger and SymbolicString 的 length 等於 NonnegativeInteger and SymbolicString 的 length 等於 SymbolicString and SymbolicString 的 sub-string 從 NonnegativeInteger 對於 NonnegativeInteger
SymbolicString 和 SymbolicString 的 concatenation 是 SymbolicString

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3294-3299	Entity 的 full name 是 SymbolicString SymbolicString 是在 SymbolicString 的 key SymbolicString 和 SymbolicString 的 concatenation 是 SymbolicString Entity 的 index order name 是 SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3337-3341	SymbolicString 是 indexable name 對於 Entity Entity 的 full name 是 SymbolicString Entity 的 index order name 是 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