diplomaticRepresentationType |
appearance as argument number 1 |
(documentation diplomaticRepresentationType EnglishLanguage "(diplomaticRepresentationType ?AGENT1 ?RANK ?AGENT2) means that the AutonomousAgent ?AGENT1 sends a representative with the Position ?RANK to the AutonomousAgent ?AGENT2.") | Government.kif 4526-4529 | |
(domain diplomaticRepresentationType 1 AutonomousAgent) | Government.kif 4522-4522 | diplomaticRepresentationType の数値 1 引数は AutonomousAgent の instance では %n |
(domain diplomaticRepresentationType 2 Position) | Government.kif 4523-4523 | diplomaticRepresentationType の数値 2 引数は ポジション の instance では %n |
(domain diplomaticRepresentationType 3 AutonomousAgent) | Government.kif 4524-4524 | diplomaticRepresentationType の数値 3 引数は AutonomousAgent の instance では %n |
(instance diplomaticRepresentationType TernaryPredicate) | Government.kif 4521-4521 | diplomaticRepresentationType は 3進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage diplomaticRepresentationType "") | domainEnglishFormat.kif 748-748 | |
(format ChineseTraditionalLanguage diplomaticRepresentationType "% %n %1 %3 ") | domainEnglishFormat.kif 747-747 | |
(format EnglishLanguage diplomaticRepresentationType "%1 %n{doesn't} diplomatic representation type %2 for %3") | domainEnglishFormat.kif 746-746 | |
(termFormat ChineseLanguage diplomaticRepresentationType "外交代表类型") | domainEnglishFormat.kif 19626-19626 | |
(termFormat ChineseTraditionalLanguage diplomaticRepresentationType "外交代表類型") | domainEnglishFormat.kif 19625-19625 | |
(termFormat EnglishLanguage diplomaticRepresentationType "diplomatic representation type") | domainEnglishFormat.kif 19624-19624 |
antecedent |
consequent |