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 |
|
|
| (documentation Declaring ChineseLanguage "这个 Class 属于由主管当局执行，并能在制度上作出改变的 LinguisticCommunication。一些例子如：提名、证婚和免职。") | chinese_format.kif 3279-3280 | |
| (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 13288-13290 | |
| (externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Us_declaration_independence.jpg") | pictureList.kif 3069-3069 | |
| (externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ Declaration_independence.jpg") | pictureList.kif 2946-2946 | |
| (externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ USA_declaration_independence.jpg") | pictureList.kif 3068-3068 | |
| (externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ a/ a0/ Declaration_of_Human_Rights.jpg") | pictureList.kif 3067-3067 | |
| (externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ b/ b6/ Us_declaration_independence_signatures.jpg") | pictureList.kif 3071-3071 | |
| (externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Declaration_of_Independence.jpg") | pictureList.kif 3070-3070 | |
| (externalImage Declaring "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Declaration_of_Independence_%28USA%29.jpg") | pictureList.kif 3065-3065 | |
| (subclass Declaring LinguisticCommunication) | Merge.kif 13287-13287 | Declaring is a subclass of linguistic communication |
| appearance as argument number 2 |
|
|
| (subclass Accrediting Declaring) | Mid-level-ontology.kif 1001-1001 | Accrediting is a subclass of declaring |
| (subclass Appointing Declaring) | Mid-level-ontology.kif 1029-1029 | Appointing is a subclass of declaring |
| (subclass Divorcing Declaring) | Mid-level-ontology.kif 1014-1014 | Divorcing is a subclass of declaring |
| (subclass Founding Declaring) | Mid-level-ontology.kif 924-924 | Founding is a subclass of declaring |
| (subclass GameCall Declaring) | Mid-level-ontology.kif 16303-16303 | Game call is a subclass of declaring |
| (subclass LegalDecision Declaring) | Merge.kif 10822-10822 | Legal decision is a subclass of declaring |
| (subclass Naming Declaring) | Merge.kif 13299-13299 | Naming is a subclass of declaring |
| (subclass PassingABill Declaring) | Mid-level-ontology.kif 13849-13849 | PassingA bill is a subclass of declaring |
| (subclass Proclaiming Declaring) | Mid-level-ontology.kif 15904-15904 | Proclaiming is a subclass of declaring |
| (subclass Wedding Declaring) | Mid-level-ontology.kif 7988-7988 | Wedding is a subclass of declaring |
| (termFormat ChineseLanguage Declaring "声明") | chinese_format.kif 1205-1205 | |
| (termFormat EnglishLanguage Declaring "declaring") | english_format.kif 1627-1627 | |
| (termFormat FrenchLanguage Declaring "d�clarer") | french_format.kif 883-883 | |
| (termFormat Hindi Declaring "ghoshanaa") | terms-hindi.txt 416-416 | |
| (termFormat ItalianLanguage Declaring "Dichiarare") | terms-it.txt 419-419 | |
| (termFormat JapaneseLanguage Declaring "declaring") | japanese_format.kif 2567-2567 | |
| (termFormat PortugueseLanguage Declaring "Declarar") | portuguese_format.kif 835-835 | |
| (termFormat cb Declaring "pagdeklarar") | terms-cb.txt 421-421 | |
| (termFormat cz Declaring "declaring") | terms-cz.txt 455-455 | |
| (termFormat ro Declaring "declarare") | relations-ro.kif 904-904 | |
| (termFormat tg Declaring "nag-uulat") | terms-tg.txt 420-420 |
| antecedent |
|
|
| (=> (instance ?DECLARE Declaring) (exists (?PROP ?NORM) (or (confersNorm ?DECLARE ?PROP ?NORM) (deprivesNorm ?DECLARE ?PROP ?NORM)))) |
Merge.kif 13292-13297 |
|
| consequent |
|
|
| (=> (instance ?X ForeignTerroristOrganization) (exists (?EV) (and (instance ?EV Declaring) (agent ?EV USStateDepartment) (patient ?EV ?X)))) |
Government.kif 2357-2363 |
|
| (=> (legalRelation ?AGENT1 ?AGENT2) (exists (?DECLARE ?OBLIGATION) (and (instance ?DECLARE Declaring) (confersObligation ?OBLIGATION ?DECLARE ?AGENT1) (confersObligation ?OBLIGATION ?DECLARE ?AGENT2)))) |
Merge.kif 16596-16602 |
|
|
|
|