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	域給予的名稱, 1 and SymbolicString
(domain givenName 2 Human)	Mid-level-ontology.kif 14744-14744	域給予的名稱, 2 and Human
(instance givenName AsymmetricRelation)	Mid-level-ontology.kif 14741-14741	例給予的名稱 and AsymmetricRelation
(instance givenName BinaryPredicate)	Mid-level-ontology.kif 14740-14740	例給予的名稱 and BinaryPredicate
(subrelation givenName humanName)	Media.kif 3444-3444	子關係給予的名稱 and humanName
(subrelation givenName names)	Mid-level-ontology.kif 14742-14742	子關係給予的名稱 and 名

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

Human 是 called SymbolicString SymbolicString 是 Human 的 given name SymbolicString 是 SymbolicString 的 sub-string
SymbolicString 是在 SymbolicString 的 key

appearance as argument number 0

(givenName "Jesus" JesusOfNazareth)	Media.kif 1930-1930	"Jesus" 是 JesusOfNazareth 的 given name
(givenName "Yehoshua" JesusOfNazareth)	Media.kif 1931-1931	"Yehoshua" 是 JesusOfNazareth 的 given name
(givenName "Yeshua" JesusOfNazareth)	Media.kif 1933-1933	"Yeshua" 是 JesusOfNazareth 的 given name

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

KB Term:			Term intersection

English Word: