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

Formal Language: 



KB Term:  Term intersection
English Word: 

  humanName

 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 3422-3424
(domain humanName 1 SymbolicString) Media.kif 3419-3419 O argumento numero 1 de humanName e' uma instancia de Sequencia Simbolica
(domain humanName 2 Human) Media.kif 3420-3420 O argumento numero 2 de humanName e' uma instancia de Humano
(instance humanName AsymmetricRelation) Media.kif 3418-3418 humanName e' uma instancia de Relacao Assimetrica
(instance humanName BinaryPredicate) Media.kif 3417-3417 humanName e' uma instancia de Predicado Binario
(subrelation humanName agentName) Media.kif 3421-3421 humanName e' uma sub-relacao de agentName

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


(format ChineseLanguage humanName "%2 是 called %1") domainEnglishFormat.kif 3678-3678
(format ChineseTraditionalLanguage humanName "%2 是 called %1 ") domainEnglishFormat.kif 3677-3677
(format EnglishLanguage humanName "%2 is called %1") domainEnglishFormat.kif 3676-3676
(subrelation familyName humanName) Media.kif 3425-3425 familyName e' uma sub-relacao de humanName
(subrelation givenName humanName) Media.kif 3426-3426 givenName e' uma sub-relacao de humanName
(termFormat EnglishLanguage humanName "human name") domainEnglishFormat.kif 65857-65857

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


(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (familyName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (keyName ?STRING ?NAMESTRING))		 Media.kif 3434-3439
(=>
    (and
        (humanName ?NAMESTRING ?HUMAN)
        (givenName ?STRING ?HUMAN)
        (subString ?STRING ?NAMESTRING))
    (not
        (keyName ?STRING ?NAMESTRING)))		 Media.kif 3443-3448

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


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


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

Show without tree


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