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 14753-14757
(domain familyName 1 SymbolicString)	Mid-level-ontology.kif 14750-14750
(domain familyName 2 Human)	Mid-level-ontology.kif 14751-14751
(instance familyName AsymmetricRelation)	Mid-level-ontology.kif 14749-14749
(instance familyName BinaryPredicate)	Mid-level-ontology.kif 14748-14748
(subrelation familyName humanName)	Media.kif 3425-3425
(subrelation familyName names)	Mid-level-ontology.kif 14752-14752

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 23218-23218
(termFormat ChineseTraditionalLanguage familyName "姓")	domainEnglishFormat.kif 23217-23217
(termFormat EnglishLanguage familyName "family name")	domainEnglishFormat.kif 23216-23216

antecedent

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

Media.kif 3434-3439

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

KB Term:			Term intersection

English Word: