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 15329-15333
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15328-15328 Agreement is a subclass of proposition

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3126-3126 Air pollution convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3132-3132 Air pollution- nitrogen oxides protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3138-3138 Air pollution- peristent organic pollutants protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3143-3143 Air pollution- sulphur85 protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3149-3149 Air pollution- sulphur94 protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3154-3154 Air pollution- volatile organic compounds protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3172-3172 Antarctic seals convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3178-3178 Antarctic treaty is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3160-3160 Antarctic environmental protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3165-3165 Antarctic marine living resources convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3192-3192 Biodiversity convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3196-3196 Climate change convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3202-3202 Climate change- kyoto protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3210-3210 Desertification convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3217-3217 Endangered species convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3225-3225 Environmental modification convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3232-3232 Hazardous wastes convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3240-3240 Law of the sea convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3247-3247 Marine dumping convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3255-3255 Marine life conservation convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3262-3262 Nuclear test ban treaty is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3269-3269 Ozone layer protection protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3277-3277 Ship pollution protocol is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3285-3285 Tropical timber83 agreement is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3291-3291 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 3044-3044 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 15440-15440 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 15395-15395 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 15420-15420 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 15381-15381 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 2603-2603 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 2616-2616 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 15370-15370 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 2738-2738 The number 1 argument of premium is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Law.kif 508-508 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 2756-2756 The number 1 argument of underlier is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Geography.kif 3093-3093 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 15343-15349
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15336-15341

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 3113-3120
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15484-15486


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