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 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

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


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

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


(=>
    (and
        (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