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 14327-14328
(externalImage Contract "http://upload.wikimedia.org/wikipedia/commons/7/ 7e/ Carbolic_smoke_ball_co.jpg") pictureList.kif 5950-5950 externalImage contract and "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Carbolic_smoke_ball_co.jpg"
(subAttribute Contract Promise) Merge.kif 14326-14326 Contract is a subattribute of promise

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


(contraryAttribute NakedPromise Contract) Merge.kif 14347-14347 Naked promise is opposed to contract
(subAttribute CivilAffairsAgreement Contract) MilitaryProcesses.kif 2261-2261 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 8503-8503 Marriage contract is a subattribute of contract
(subAttribute PurchaseContract Contract) Merge.kif 14330-14330 Purchase contract is a subattribute of contract
(subAttribute ServiceContract Contract) Merge.kif 14335-14335 Service contract is a subattribute of contract
(subAttribute Treaty Contract) Mid-level-ontology.kif 8516-8516 Treaty is a subattribute of contract
(subclass LoanCommitment Contract) FinancialOntology.kif 1330-1330 Loan commitment is a subclass of contract
(termFormat EnglishLanguage Contract "contract") domainEnglishFormat.kif 2636-2636 term format english language, contract and "contract"

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


(domain agreementActive 1 Contract) FinancialOntology.kif 569-569 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 3241-3241 The number 1 argument of effective date is an instance of contract
(domain expirationDate 1 Contract) FinancialOntology.kif 2445-2445 The number 1 argument of expiration date is an instance of contract
(domain insured 1 Contract) FinancialOntology.kif 1406-1406 The number 1 argument of insured is an instance of contract

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


(=>
    (and
        (instance ?DOC ContractDocument)
        (containsInformation ?DOC ?PROP)
        (property ?PROP Contract))
    (property ?PROP Law))
Media.kif 907-912

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


(=>
    (instance ?DOC ContractDocument)
    (exists (?PROP)
        (and
            (containsInformation ?DOC ?PROP)
            (property ?PROP Contract))))
Media.kif 891-896
(=>
    (property ?ENTITY Promise)
    (or
        (property ?ENTITY Contract)
        (property ?ENTITY NakedPromise)))
Merge.kif 14320-14324


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

Show without tree


Sigma web home      SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners