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 AutonomousAgent ?OBJ.") Media.kif 3407-3409
(domain agentName 1 SymbolicString) Media.kif 3404-3404
(domain agentName 2 AutonomousAgent) Media.kif 3405-3405
(instance agentName AsymmetricRelation) Media.kif 3402-3402
(instance agentName BinaryPredicate) Media.kif 3401-3401
(instance agentName PartialValuedRelation) Media.kif 3403-3403
(subrelation agentName names) Media.kif 3406-3406

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


(format ChineseLanguage agentName "%2 的 name 是 %1 ") domainEnglishFormat.kif 2718-2718
(format ChineseTraditionalLanguage agentName "%2 的 name 是 %1 ") domainEnglishFormat.kif 2717-2717
(format EnglishLanguage agentName "the name of %2 is %1") domainEnglishFormat.kif 2716-2716
(subrelation humanName agentName) Media.kif 3421-3421
(subrelation organizationName agentName) Media.kif 3457-3457
(termFormat EnglishLanguage agentName "agent name") domainEnglishFormat.kif 65775-65775

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


(=>
    (and
        (names ?STRING ?OBJ)
        (instance ?OBJ AutonomousAgent))
    (agentName ?STRING ?OBJ))
Media.kif 3411-3415


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