TreeView Knowledge Base Browser

appearance as argument number 1

(instance familyName BinaryPredicate)	Mid-level-ontology.kif 16328-16328	family name is an instance of binary predicate
(instance familyName AsymmetricRelation)	Mid-level-ontology.kif 16329-16329	family name is an instance of asymmetric relation
(domain familyName 1 SymbolicString)	Mid-level-ontology.kif 16330-16330	The number 1 argument of family name is an instance of symbolic string
(domain familyName 2 Human)	Mid-level-ontology.kif 16331-16331	The number 2 argument of family name is an instance of human
(subrelation familyName names)	Mid-level-ontology.kif 16332-16332	family name is a subrelation of names
(documentation familyName EnglishLanguage "(familyName ?STRING ?HUMAN) means that the SymbolicString ?STRING denotes a non-optional name that ?HUMAN has inherited by virtue of being born into a particular family (kin group). surname is another word for this type of name. Cf. givenName.")	Mid-level-ontology.kif 16333-16337	family name is a subrelation of names
(subrelation familyName humanName)	Media.kif 3358-3358	family name is a subrelation of human name

appearance as argument number 2

(format EnglishLanguage familyName "%1 is %n a family name of %2")	domainEnglishFormat.kif 993-993
(format ChineseTraditionalLanguage familyName "%1 %n 是 %2 的 family name ")	domainEnglishFormat.kif 994-994
(format ChineseLanguage familyName "%1 %n 是 %2 的 family name ")	domainEnglishFormat.kif 995-995
(termFormat EnglishLanguage familyName "family name")	domainEnglishFormat.kif 23212-23212
(termFormat ChineseTraditionalLanguage familyName "姓")	domainEnglishFormat.kif 23213-23213
(termFormat ChineseLanguage familyName "姓")	domainEnglishFormat.kif 23214-23214

antecedent

(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))

Media.kif 3367-3372

If X is called Y, Z is a family name of X, and Z is a sub-string of Y, then Z is a key in Y

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

KB Term:			Term intersection

English Word: