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 humanNameagentNamesubrelation
(subrelation organizationName agentName) Media.kif 3411-3411 organizationNameagentNamesubrelation

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