diplomaticOrganizationType |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(format ChineseLanguage diplomaticOrganizationType "%1 %p{是} %n{不是} 对于 %3 的 diplomatic 类别") | domainEnglishFormat.kif 740-740 | |
(format ChineseTraditionalLanguage diplomaticOrganizationType "%1 %p{是} %n{不是} 對於 %3 的 diplomatic 類別") | domainEnglishFormat.kif 739-739 | |
(format EnglishLanguage diplomaticOrganizationType "%1 %p{is} %n{isn't} diplomatic organization type %2 for %3") | domainEnglishFormat.kif 738-738 | |
(termFormat ChineseLanguage diplomaticOrganizationType "外交组织类型") | domainEnglishFormat.kif 19623-19623 | |
(termFormat ChineseTraditionalLanguage diplomaticOrganizationType "外交組織類型") | domainEnglishFormat.kif 19622-19622 | |
(termFormat EnglishLanguage diplomaticOrganizationType "diplomatic organization type") | domainEnglishFormat.kif 19621-19621 |
antecedent |
![]() |
consequent |
![]() |
(=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3)) |
Government.kif 4629-4634 |
|
(=> (and (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2) (instance ?AREA2 City) (equal ?AGENT2 (GovernmentFn ?AREA2))) (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2)) |
Government.kif 4636-4641 | |
(=> (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2) (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)) |
Government.kif 4648-4650 | |
(=> (diplomaticRepresentativeInRole ?AGENT1 ?PERSON Ambassador ?AGENT2) (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)) |
Government.kif 4644-4646 |
![]() |
![]() |