Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - givenName
givenName

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


(instance givenName BinaryPredicate) Mid-level-ontology.kif 16347-16347 given name is an instance of binary predicate
(instance givenName AsymmetricRelation) Mid-level-ontology.kif 16348-16348 given name is an instance of asymmetric relation
(subrelation givenName names) Mid-level-ontology.kif 16349-16349 given name is a subrelation of names
(domain givenName 1 SymbolicString) Mid-level-ontology.kif 16350-16350 The number 1 argument of given name is an instance of symbolic string
(domain givenName 2 Human) Mid-level-ontology.kif 16351-16351 The number 2 argument of given name is an instance of human
(documentation givenName EnglishLanguage "(givenName ?STRING ?HUMAN) means that ?STRING is a name selected for ?HUMAN, usually from among many options, as opposed to a mandatory name (cf. familyName) that ?HUMAN has inherited by virtue of being born into a certain kin group, caste, or occupation.") Mid-level-ontology.kif 16352-16356 The number 2 argument of given name is an instance of human
(subrelation givenName humanName) Media.kif 3359-3359 given name is a subrelation of human name

appearance as argument number 2
-------------------------


(format EnglishLanguage givenName "%1 is %n a given name of %2") domainEnglishFormat.kif 1107-1107
(format ChineseTraditionalLanguage givenName "%1 %n 是 %2 的 given name ") domainEnglishFormat.kif 1108-1108
(format ChineseLanguage givenName "%1 %n 是 %2 的 given name") domainEnglishFormat.kif 1109-1109
(termFormat EnglishLanguage givenName "given name") domainEnglishFormat.kif 26084-26084
(termFormat ChineseTraditionalLanguage givenName "給予的名稱") domainEnglishFormat.kif 26085-26085
(termFormat ChineseLanguage givenName "给予的名称") domainEnglishFormat.kif 26086-26086

antecedent
-------------------------


(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (givenName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (not
        (keyName ?STRING ?NAMESTRING)))		 Media.kif 3376-3381 If X is called Y, Z is a given name of X, and Z is a sub-string of Y, then Z is a key in Y

appearance as argument number 0
-------------------------


(givenName "Jesus" JesusOfNazareth) Media.kif 1877-1877 "Jesus" is a given name of Jesus of Nazareth
(givenName "Yehoshua" JesusOfNazareth) Media.kif 1878-1878 "Yehoshua" is a given name of Jesus of Nazareth
(givenName "Yeshua" JesusOfNazareth) Media.kif 1880-1880 "Yeshua" is a given name of Jesus of Nazareth


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners