Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - humanName
humanName

appearance as argument number 1
-------------------------


(documentation humanName EnglishLanguage "(humanName ?STRING ?OBJ) means that ?STRING is a full or partial name for the Human ?OBJ.") Media.kif 3408-3410
(domain humanName 1 SymbolicString) Media.kif 3405-3405
(domain humanName 2 Human) Media.kif 3406-3406
(instance humanName AsymmetricRelation) Media.kif 3404-3404
(instance humanName BinaryPredicate) Media.kif 3403-3403
(subrelation humanName agentName) Media.kif 3407-3407

appearance as argument number 2
-------------------------


(format ChineseLanguage humanName "%2 是 called %1") domainEnglishFormat.kif 3679-3679
(format ChineseTraditionalLanguage humanName "%2 是 called %1 ") domainEnglishFormat.kif 3678-3678
(format EnglishLanguage humanName "%2 is called %1") domainEnglishFormat.kif 3677-3677
(subrelation familyName humanName) Media.kif 3411-3411
(subrelation givenName humanName) Media.kif 3412-3412

antecedent
-------------------------


(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))
Media.kif 3420-3425
(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (givenName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (not
        (keyName ?STRING ?NAMESTRING)))
Media.kif 3429-3434

consequent
-------------------------


(=>
    (and
        (names ?STRING ?OBJ)
        (instance ?OBJ Human))
    (humanName ?STRING ?OBJ))
Media.kif 3414-3418


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners