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 14745-14749
(domain givenName 1 SymbolicString) Mid-level-ontology.kif 14743-14743 givenName の数値 1 引数は 記号文字列instance では %n
(domain givenName 2 Human) Mid-level-ontology.kif 14744-14744 givenName の数値 2 引数は 人[人間]instance では %n
(instance givenName AsymmetricRelation) Mid-level-ontology.kif 14741-14741 givenName非対称関係instance では %n
(instance givenName BinaryPredicate) Mid-level-ontology.kif 14740-14740 givenName2進述語instance では %n
(subrelation givenName humanName) Media.kif 3444-3444 givenNamehumanNamesubrelation では %n
(subrelation givenName names) Mid-level-ontology.kif 14742-14742 givenNamenamessubrelation では %n

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

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


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

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


(givenName "Jesus" JesusOfNazareth) Media.kif 1930-1930 givenName "Jesus" and JesusOfNazareth
(givenName "Yehoshua" JesusOfNazareth) Media.kif 1931-1931 givenName "Yehoshua" and JesusOfNazareth
(givenName "Yeshua" JesusOfNazareth) Media.kif 1933-1933 givenName "Yeshua" and JesusOfNazareth


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 is open source software produced by Articulate Software and its partners