Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - givenName
givenName

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


(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 12488-12492
(domain givenName 1 SymbolicString) Mid-level-ontology.kif 12486-12486
(domain givenName 2 Human) Mid-level-ontology.kif 12487-12487
(instance givenName AsymmetricRelation) Mid-level-ontology.kif 12484-12484
(instance givenName BinaryPredicate) Mid-level-ontology.kif 12483-12483
(subrelation givenName humanName) Media.kif 3412-3412
(subrelation givenName names) Mid-level-ontology.kif 12485-12485

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


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

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


(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (givenName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (not
        (keyName ?STRING ?NAMESTRING)))
Media.kif 3429-3434

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


(givenName "Jesus" JesusOfNazareth) Media.kif 1932-1932
(givenName "Yehoshua" JesusOfNazareth) Media.kif 1933-1933
(givenName "Yeshua" JesusOfNazareth) Media.kif 1935-1935


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners