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

Formal Language: 



KB Term:  Term intersection
English Word: 

  agentName

 Sigma KEE - agentName
agentName

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


(documentation agentName EnglishLanguage "(agentName ?STRING ?OBJ) means that ?STRING is a full or partial name for the Agent ?OBJ.") Media.kif 3395-3397
(domain agentName 1 SymbolicString) Media.kif 3392-3392
(domain agentName 2 Agent) Media.kif 3393-3393
(instance agentName AsymmetricRelation) Media.kif 3390-3390
(instance agentName BinaryPredicate) Media.kif 3389-3389
(instance agentName PartialValuedRelation) Media.kif 3391-3391
(subrelation agentName names) Media.kif 3394-3394

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


(format ChineseLanguage agentName "%2 的 name 是 %1 ") domainEnglishFormat.kif 2719-2719
(format ChineseTraditionalLanguage agentName "%2 的 name 是 %1 ") domainEnglishFormat.kif 2718-2718
(format EnglishLanguage agentName "the name of %2 is %1") domainEnglishFormat.kif 2717-2717
(subrelation humanName agentName) Media.kif 3409-3409
(subrelation organizationName agentName) Media.kif 3445-3445

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


(=>
    (and
        (names ?STRING ?OBJ)
        (instance ?OBJ Agent))
    (agentName ?STRING ?OBJ))		 Media.kif 3399-3403


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