Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Agreement

Sigma KEE - Agreement
Agreement(agreement)Chemical_Weapons_Convention, Geneva_Convention, Lateran_Treaty, North_Atlantic_Treaty, Peace_of_Westphalia, SALT_I, SALT_II, Treaty_of_Versailles, agreement, bargain, combination, covenant, deal, entente, entente_cordiale, fair-trade_agreement, gentlemen's_agreement, golden_handshake, oral_contract, plea_bargain, plea_bargaining, severance_agreement, sign, submission, understanding, unilateral_contract, working_agreement, written_agreement, yellow-dog_contract

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13805-13809
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13804-13804 Agreement is a subclass of proposition

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 3077-3077 Air pollution- nitrogen oxides protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3083-3083 Air pollution- peristent organic pollutants protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3088-3088 Air pollution- sulphur85 protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3094-3094 Air pollution- sulphur94 protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3099-3099 Air pollution- volatile organic compounds protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3071-3071 Air pollution convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3105-3105 Antarctic- environmental protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3110-3110 Antarctic- marine living resources convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3117-3117 Antarctic seals convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3123-3123 Antarctic treaty is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3137-3137 Biodiversity convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3147-3147 Climate change- kyoto protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3141-3141 Climate change convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3155-3155 Desertification convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3162-3162 Endangered species convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3170-3170 Environmental modification convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3177-3177 Hazardous wastes convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3185-3185 Law of the sea convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3192-3192 Marine dumping convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3200-3200 Marine life conservation convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3207-3207 Nuclear test ban treaty is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3214-3214 Ozone layer protection protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3222-3222 Ship pollution protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3230-3230 Tropical timber83 agreement is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3236-3236 Tropical timber94 agreement is an instance of agreement

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 2989-2989 The number 1 argument of agreement organization is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13916-13916 The number 3 argument of agreement clause is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13871-13871 The number 1 argument of agreement effective date is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13896-13896 The number 1 argument of expiration date is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13857-13857 The number 1 argument of agreement period is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Catalog.kif 503-503 The number 3 argument of contracted rental price is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Catalog.kif 271-271 The number 3 argument of negotiated price is an instance of agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2600-2600 The number 1 argument of option holder is an instance of agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2613-2613 The number 1 argument of option seller is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13846-13846 The number 2 argument of party to agreement is an instance of agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2735-2735 The number 1 argument of premium is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Law.kif 549-549 The number 2 argument of record for agreement is an instance of agreement
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2752-2752 The number 1 argument of underlier is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3038-3038 The number 2 argument of unratified signatory to agreement is an instance of agreement

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 153-160
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13819-13825
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13812-13817

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 146-151
No TPTP formula. May not be expressible in strict first order. Geography.kif 3058-3065
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13960-13962


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners