KB Term:  Term intersection
English Word: 

  middleName

Sigma KEE - middleName
middleName

appearance as argument number 1
-------------------------


(documentation middleName EnglishLanguage "(middleName ?CHAR ?INDIV) means that the SymbolicString ?CHAR contains the middle name of the Human ?INDIV.") Mid-level-ontology.kif 16339-16340
(instance middleName BinaryPredicate) Mid-level-ontology.kif 16341-16341 middle name is an instance of binary predicate
(instance middleName AsymmetricRelation) Mid-level-ontology.kif 16342-16342 middle name is an instance of asymmetric relation
(domain middleName 1 SymbolicString) Mid-level-ontology.kif 16343-16343 The number 1 argument of middle name is an instance of symbolic string
(domain middleName 2 Human) Mid-level-ontology.kif 16344-16344 The number 2 argument of middle name is an instance of human
(subrelation middleName names) Mid-level-ontology.kif 16345-16345 middle name is a subrelation of names

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-a0cce400 (2026-06-02) is open source software produced by Articulate Software and its partners