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 3361-3363
(domain agentName 1 SymbolicString) Media.kif 3358-3358 agentName 的 1 数量 是 符号串 的 instance
(domain agentName 2 Agent) Media.kif 3359-3359 agentName 的 2 数量 是 施事体 的 instance
(instance agentName AsymmetricRelation) Media.kif 3356-3356 agentName 是 非对称关系 的 instance
(instance agentName BinaryPredicate) Media.kif 3355-3355 agentName 是 二元谓语 的 instance
(instance agentName PartialValuedRelation) Media.kif 3357-3357 agentName 是 部分值关系 的 instance
(subrelation agentName names) Media.kif 3360-3360 agentName 是 命名 的 subrelation

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


(format EnglishLanguage agentName "the name of %2 is %1") domainEnglishFormat.kif 688-688
(subrelation humanName agentName) Media.kif 3375-3375 humanName 是 agentName 的 subrelation
(subrelation organizationName agentName) Media.kif 3411-3411 organizationName 是 agentName 的 subrelation

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners