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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 3410-3412
(domain humanName 1 SymbolicString) Media.kif 3407-3407
(domain humanName 2 Human) Media.kif 3408-3408
(instance humanName AsymmetricRelation) Media.kif 3406-3406
(instance humanName BinaryPredicate) Media.kif 3405-3405
(subrelation humanName agentName) Media.kif 3409-3409

appearance as argument number 2

(format ChineseLanguage humanName "%2 是 called %1") domainEnglishFormat.kif 3683-3683
(format ChineseTraditionalLanguage humanName "%2 是 called %1 ") domainEnglishFormat.kif 3682-3682
(format EnglishLanguage humanName "%2 is called %1") domainEnglishFormat.kif 3681-3681
(subrelation familyName humanName) Media.kif 3413-3413
(subrelation givenName humanName) Media.kif 3414-3414


        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))
Media.kif 3422-3427
        (humanName ?NAMESTRING ?HUMAN)
        (givenName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
        (keyName ?STRING ?NAMESTRING)))
Media.kif 3431-3436


        (names ?STRING ?OBJ)
        (instance ?OBJ Human))
    (humanName ?STRING ?OBJ))
Media.kif 3416-3420

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 3.0 is open source software produced by Articulate Software and its partners