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 3409-3411 | |
(domain agentName 1 SymbolicString) | Media.kif 3406-3406 | agentName の数値 1 引数は 記号文字列 の instance では |
(domain agentName 2 AutonomousAgent) | Media.kif 3407-3407 | agentName の数値 2 引数は AutonomousAgent の instance では |
(instance agentName AsymmetricRelation) | Media.kif 3404-3404 | agentName は 非対称関係 の instance では |
(instance agentName BinaryPredicate) | Media.kif 3403-3403 | agentName は 2進述語 の instance では |
(instance agentName PartialValuedRelation) | Media.kif 3405-3405 | agentName は 部分的価値関係 の instance では |
(subrelation agentName names) | Media.kif 3408-3408 | agentName は names の subrelation では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage agentName "%2 的 name 是 %1 ") | domainEnglishFormat.kif 2714-2714 | |
(format ChineseTraditionalLanguage agentName "%2 的 name 是 %1 ") | domainEnglishFormat.kif 2713-2713 | |
(format EnglishLanguage agentName "the name of %2 is %1") | domainEnglishFormat.kif 2712-2712 | |
(subrelation humanName agentName) | Media.kif 3423-3423 | humanName は agentName の subrelation では |
(subrelation organizationName agentName) | Media.kif 3459-3459 | organizationName は agentName の subrelation では |
(termFormat EnglishLanguage agentName "agent name") | domainEnglishFormat.kif 65767-65767 | organizationName は agentName の subrelation では |
consequent |
![]() |
(=> (and (names ?STRING ?OBJ) (instance ?OBJ AutonomousAgent)) (agentName ?STRING ?OBJ)) |
Media.kif 3413-3417 |
|
![]() |
![]() |