TreeView Knowledge Base Browser

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
(domain givenName 2 Human)	Mid-level-ontology.kif 14744-14744
(instance givenName AsymmetricRelation)	Mid-level-ontology.kif 14741-14741
(instance givenName BinaryPredicate)	Mid-level-ontology.kif 14740-14740
(subrelation givenName humanName)	Media.kif 3444-3444
(subrelation givenName names)	Mid-level-ontology.kif 14742-14742

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 "Yehoshua" JesusOfNazareth)	Media.kif 1931-1931
(givenName "Yeshua" JesusOfNazareth)	Media.kif 1933-1933

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

KB Term:			Term intersection

English Word: