TreeView Knowledge Base Browser

appearance as argument number 1

(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 16088-16092
(domain familyName 1 SymbolicString)	Mid-level-ontology.kif 16085-16085	The number 1 argument of family name is an instance of symbolic string
(domain familyName 2 Human)	Mid-level-ontology.kif 16086-16086	The number 2 argument of family name is an instance of human
(instance familyName AsymmetricRelation)	Mid-level-ontology.kif 16084-16084	family name is an instance of asymmetric relation
(instance familyName BinaryPredicate)	Mid-level-ontology.kif 16083-16083	family name is an instance of binary predicate
(subrelation familyName humanName)	Media.kif 3427-3427	family name is a subrelation of human name
(subrelation familyName names)	Mid-level-ontology.kif 16087-16087	family name is a subrelation of names

appearance as argument number 2

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

antecedent

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

Media.kif 3436-3441

If a human is called a symbolic string and another symbolic string is a family name of the human and the other symbolic string is a sub-string of the symbolic string,
then the other symbolic string is a key in the symbolic string

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

KB Term:			Term intersection

English Word: