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

Formal Language: 



KB Term:  Term intersection
English Word: 

  givenName

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 14213-14217
(domain givenName 1 SymbolicString) Mid-level-ontology.kif 14211-14211 domain givenName, 1 and SymbolicString
(domain givenName 2 Human) Mid-level-ontology.kif 14212-14212 domain givenName, 2 and Human
(instance givenName AsymmetricRelation) Mid-level-ontology.kif 14209-14209 instance givenName and AsymmetricRelation
(instance givenName BinaryPredicate) Mid-level-ontology.kif 14208-14208 instance givenName and BinaryPredicate
(subrelation givenName humanName) Media.kif 3432-3432 subrelation givenName and humanName
(subrelation givenName names) Mid-level-ontology.kif 14210-14210 subrelation givenName and names

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 26073-26073
(termFormat ChineseTraditionalLanguage givenName "給予的名稱") domainEnglishFormat.kif 26072-26072
(termFormat EnglishLanguage givenName "given name") domainEnglishFormat.kif 26071-26071

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


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

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


(givenName "Jesus" JesusOfNazareth) Media.kif 1928-1928 givenName "Jesus" and JesusOfNazareth
(givenName "Yehoshua" JesusOfNazareth) Media.kif 1929-1929 givenName "Yehoshua" and JesusOfNazareth
(givenName "Yeshua" JesusOfNazareth) Media.kif 1931-1931 givenName "Yeshua" and JesusOfNazareth


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