TreeView Knowledge Base Browser - humanName

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - humanName

humanName

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 3422-3424
No TPTP formula. May not be expressible in strict first order.	Media.kif 3419-3419	The number 1 argument of human name is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3420-3420	The number 2 argument of human name is an instance of human
No TPTP formula. May not be expressible in strict first order.	Media.kif 3418-3418	human name is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Media.kif 3417-3417	human name is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Media.kif 3421-3421	human name is a subrelation of agent name

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3678-3678
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3677-3677
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3676-3676
No TPTP formula. May not be expressible in strict first order.	Media.kif 3425-3425	family name is a subrelation of human name
No TPTP formula. May not be expressible in strict first order.	Media.kif 3426-3426	given name is a subrelation of human name
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65857-65857

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3434-3439	If a human is called a symbolic string and another symbolic string is a family name of the human and the other symbolic string is a sub-string of the symbolic string, then the other symbolic string is a key in the symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3443-3448	If a human is called a symbolic string and another symbolic string is a given name of the human and the other symbolic string is a sub-string of the symbolic string, then not the other symbolic string is a key in the symbolic string

consequent

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

Media.kif 3428-3432

If a human has name a symbolic string and the human is an instance of human,
then the human is called 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