TreeView Knowledge Base Browser

appearance as argument number 1

(instance humanName BinaryPredicate)	Media.kif 3350-3350	human name is an instance of binary predicate
(instance humanName AsymmetricRelation)	Media.kif 3351-3351	human name is an instance of asymmetric relation
(domain humanName 1 SymbolicString)	Media.kif 3352-3352	The number 1 argument of human name is an instance of symbolic string
(domain humanName 2 Human)	Media.kif 3353-3353	The number 2 argument of human name is an instance of human
(subrelation humanName agentName)	Media.kif 3354-3354	human name is a subrelation of agent name
(documentation humanName EnglishLanguage "(humanName ?STRING ?OBJ) means that ?STRING is a full or partial name for the Human ?OBJ.")	Media.kif 3355-3357	human name is a subrelation of agent name

appearance as argument number 2

(subrelation familyName humanName)	Media.kif 3358-3358	family name is a subrelation of human name
(subrelation givenName humanName)	Media.kif 3359-3359	given name is a subrelation of human name
(format EnglishLanguage humanName "%2 is called %1")	domainEnglishFormat.kif 3674-3674	given name is a subrelation of human name
(format ChineseTraditionalLanguage humanName "%2 是 called %1 ")	domainEnglishFormat.kif 3675-3675	given name is a subrelation of human name
(format ChineseLanguage humanName "%2 是 called %1")	domainEnglishFormat.kif 3676-3676	given name is a subrelation of human name
(termFormat EnglishLanguage humanName "human name")	domainEnglishFormat.kif 65871-65871	given name is a subrelation of human name

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
(=> (and (humanName ?NAMESTRING ?HUMAN) (givenName ?STRING ?HUMAN) (subString ?STRING ?NAMESTRING)) (not (keyName ?STRING ?NAMESTRING)))	Media.kif 3376-3381	If X is called Y, Z is a given name of X, and Z is a sub-string of Y, then Z is a key in Y

consequent

(=>
    (and
        (names ?STRING ?OBJ)
        (instance ?OBJ Human))
    (humanName ?STRING ?OBJ))

If X has name Y and X is an instance of human, then X is called Y