TreeView Knowledge Base Browser - fullName

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - fullName

fullName

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 3273-3279
No TPTP formula. May not be expressible in strict first order.	Media.kif 3270-3270	The number 1 argument of full name is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3271-3271	The number 2 argument of full name is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 3269-3269	full name is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Media.kif 3268-3268	full name is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Media.kif 3272-3272	full name is a subrelation of names

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3506-3506
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3505-3505
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3504-3504
No TPTP formula. May not be expressible in strict first order.	Media.kif 3280-3280	conventional long name is a subrelation of full name
No TPTP formula. May not be expressible in strict first order.	Media.kif 3292-3292	full name index order is a subrelation of full name
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65837-65837

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3294-3299	If the full name of an entity is a symbolic string and another symbolic string is a key in the symbolic string and the concatenation of the other symbolic string and a third symbolic string is the symbolic string, then the index order name of the entity is the symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3337-3341	If a symbolic string is the indexable name for an entity and the full name of the entity is the symbolic string, then the index order name of the entity is the symbolic string

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