more pictures...
| Declaring(declaring)
more pictures... | | abdication, abnegate, abrogate, absolution, accession, adjourn, adjudge, admission, admittance, advocacy, allege, alliance, amnesty, anathema, announce, annul, annulment, apostatise, apostatize, appeal, appointive, appointment, arraign, arrogate, attainder, authorisation, authorization, aver, avoid, baronetise, baronetize, beatify, benefit_of_clergy, benison, betrothal, boycott, break, breakaway, breaking_away, breakup, bridal, call, cancel, cancellation, canonise, canonize, celebration, censure, certification, certified... |
| appearance as argument number 1 |
|
|
| (subclass Declaring LinguisticCommunication) | Merge.kif 13417-13417 | Declaring is a subclass of linguistic communication |
| (documentation Declaring EnglishLanguage "The Class of LinguisticCommunications that effect an institutional alteration when performed by competent authority. Some examples are nominating, marrying, and excommunicating.") | Merge.kif 13418-13420 | Declaring is a subclass of linguistic communication |
| (externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ Declaration_independence.jpg") | pictureList.kif 2945-2945 | Declaring is a subclass of linguistic communication |
| (externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Declaration_of_Independence_%28USA%29.jpg") | pictureList.kif 3064-3064 | Declaring is a subclass of linguistic communication |
| (externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ a/ a0/ Declaration_of_Human_Rights.jpg") | pictureList.kif 3066-3066 | Declaring is a subclass of linguistic communication |
| (externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ USA_declaration_independence.jpg") | pictureList.kif 3067-3067 | Declaring is a subclass of linguistic communication |
| (externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Us_declaration_independence.jpg") | pictureList.kif 3068-3068 | Declaring is a subclass of linguistic communication |
| (externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Declaration_of_Independence.jpg") | pictureList.kif 3069-3069 | Declaring is a subclass of linguistic communication |
| (externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ b/ b6/ Us_declaration_independence_signatures.jpg") | pictureList.kif 3070-3070 | Declaring is a subclass of linguistic communication |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?DECLARE Declaring) (exists (?PROP ?NORM) (or (confersNorm ?DECLARE ?PROP ?NORM) (deprivesNorm ?DECLARE ?PROP ?NORM)))) |
Merge.kif 13422-13427 | If X is an instance of declaring, then there exist Y and Z such that X confers norm Y for Z or X deprives norm Y for Z |
| consequent |
|
|
| (=> (instance ?X ForeignTerroristOrganization) (exists (?EV) (and (instance ?EV Declaring) (agent ?EV USStateDepartment) (patient ?EV ?X)))) |
Government.kif 2354-2360 | If X is an instance of foreign terrorist organization, then there exists Y such that Y is an instance of declaring, US state department is an agent of Y, and X is a patient of Y |
| (=> (legalRelation ?AGENT1 ?AGENT2) (exists (?DECLARE ?OBLIGATION) (and (instance ?DECLARE Declaring) (confersObligation ?OBLIGATION ?DECLARE ?AGENT1) (confersObligation ?OBLIGATION ?DECLARE ?AGENT2)))) |
Merge.kif 16725-16731 | If there is a legal relation between X and Y, then there exist Z, W such that Z is an instance of declaring, Z obligates X to perform task of the type W, and Z obligates Y to perform task of the type W |
|
|
|