TreeView Knowledge Base Browser - familyName

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - familyName

familyName

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16099-16103
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16096-16096	The number 1 argument of family name is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16097-16097	The number 2 argument of family name is an instance of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16095-16095	family name is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16094-16094	family name is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Media.kif 3427-3427	family name is a subrelation of human name
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16098-16098	family name is a subrelation of names

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 995-995
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 994-994
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 993-993
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23221-23221
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23220-23220
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23219-23219

antecedent

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

Media.kif 3436-3441

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

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