Browsing Interface
[ Home |  Graph |  ]

KB:  Language: 


KB Term: 
English Word: 

  Contract

Sigma KEE - Contract
Contract(contract)
Chemical_Weapons_Convention, Geneva_Convention, North_Atlantic_Treaty, Peace_of_Westphalia, SALT_I, SALT_II, T-bill, Treasury, Treasury_bill, Treasury_bond, Treasury_note, Treasury_obligations, Treaty_of_Versailles, accord, acquisition_agreement, adhesion_contract, agreement, aleatory_contract, alliance, articles_of_agreement, bargain, bilateral_contract, bill-me_order, charge_account, charge_account_credit, charter, check_overdraft_credit, collective_agreement, combination, commercial_credit, commercial_treaty, concession, condition, conditional_contract, consumer_credit, contract, contract_of_adhesion, contract_under_seal, contractual, contractually, convention, cost-plus_contract, covenant, credit, credit_account, credit_order, deal, debit_card, debt, deferred_payment...

 
 appearance as argument number 1


(documentation Contract EnglishLanguage "Attribute that applies to Propositions where something is promised in return, i.e. a reciprocal promise.") Merge.kif 14289-14290 %3
(externalImage Contract "http://upload.wikimedia.org/wikipedia/commons/7/ 7e/ Carbolic_smoke_ball_co.jpg") pictureList.kif 5953-5953 externalImage contract "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Carbolic_smoke_ball_co.jpg"
(subAttribute Contract Promise) Merge.kif 14288-14288 contract is a subattribute of promise

 
 appearance as argument number 2


(contraryAttribute NakedPromise Contract) Merge.kif 14309-14309 naked promise is opposed to contract
(subAttribute CivilAffairsAgreement Contract) MilitaryProcesses.kif 2267-2267 civil affairs agreement is a subattribute of contract
(subAttribute FinancialAccount Contract) FinancialOntology.kif 55-55 financial account is a subattribute of contract
(subAttribute FinancialContract Contract) FinancialOntology.kif 52-52 financial contract is a subattribute of contract
(subAttribute MarriageContract Contract) Mid-level-ontology.kif 8454-8454 marriage contract is a subattribute of contract
(subAttribute PurchaseContract Contract) Merge.kif 14292-14292 purchase contract is a subattribute of contract
(subAttribute ServiceContract Contract) Merge.kif 14297-14297 service contract is a subattribute of contract
(subAttribute Treaty Contract) Mid-level-ontology.kif 8467-8467 treaty is a subattribute of contract
(subclass LoanCommitment Contract) FinancialOntology.kif 1329-1329 loan commitment is a subclass of contract
(termFormat EnglishLanguage Contract "contract") domainEnglishFormat.kif 2661-2661 term format english language contract "contract"

 
 appearance as argument number 3


(domain agreementActive 1 Contract) FinancialOntology.kif 568-568 the number 1 argument of agreement active is an instance of contract
(domain agreementMember 1 Contract) FinancialOntology.kif 262-262 the number 1 argument of agreement member is an instance of contract
(domain agreementPeriod 1 Contract) FinancialOntology.kif 621-621 the number 1 argument of agreement period is an instance of contract
(domain effectiveDate 1 Contract) FinancialOntology.kif 3243-3243 the number 1 argument of effective date is an instance of contract
(domain expirationDate 1 Contract) FinancialOntology.kif 2447-2447 the number 1 argument of expiration date is an instance of contract
(domain insured 1 Contract) FinancialOntology.kif 1408-1408 the number 1 argument of insured is an instance of contract

 consequent


(=>
    (property ?ENTITY Promise)
    (or
        (property ?ENTITY Contract)
        (property ?ENTITY NakedPromise)))
Merge.kif 14282-14286


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

Show without tree


Sigma web home      SUMO web home
Sigma version 2.1b (2007/11/20) is open source software produced by Articulate Software and its partners