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 The number 1 argument of humanName is an instance of symbolic string
(domain humanName 2 Human) Media.kif 3406-3406 The number 2 argument of humanName is an instance of human
(instance humanName AsymmetricRelation) Media.kif 3404-3404 humanName is an instance of asymmetric relation
(instance humanName BinaryPredicate) Media.kif 3403-3403 humanName is an instance of binary predicate
(subrelation humanName agentName) Media.kif 3407-3407 humanName is a subrelation of agentName

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 family name is a subrelation of humanName
(subrelation givenName humanName) Media.kif 3412-3412 given name is a subrelation of humanName

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