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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Contract
Contract(contract)
T-bill, Treasury, Treasury_bill, Treasury_bond, Treasury_note, Treasury_obligations, acquisition_agreement, adhesion_contract, aleatory_contract, articles_of_agreement, bilateral_contract, charter, collective_agreement, concession, conditional_contract, consumer_credit, contract, contract_of_adhesion, contract_under_seal, contractual, contractually, convention, cost-plus_contract, credit, debt, deferred_payment, distribution_agreement, employment_agreement, employment_contract, fiducial, fiduciary, franchise, futures_contract, gambling_contract, grant, hire-purchase, indenture, instrument, insured, labor_agreement, labor_contract, lease, legal_document, legal_instrument, licensing_agreement, merger_agreement, never-never, obligation, official_document, output_contract...

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


(documentation Contract EnglishLanguage "Contract is a type of Agreement that is legally enforceable, meaning a CognitiveAgent can pursue other parties of the agreement in a court of law if provisions of the contract are not followed or kept. It follows that all subpropositions of the Contract is Legal.") Mid-level-ontology.kif 15063-15066
(externalImage Contract "http://upload.wikimedia.org/wikipedia/commons/7/ 7e/ Carbolic_smoke_ball_co.jpg") pictureList.kif 5930-5930
(subAttribute Contract ActiveAgreement) Mid-level-ontology.kif 15061-15061 Contract is a subattribute of active agreement
(subAttribute Contract Promise) Mid-level-ontology.kif 15062-15062 Contract is a subattribute of promise

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


(contraryAttribute NakedPromise Contract) Mid-level-ontology.kif 15068-15068 Naked promise is the opposite of contract
(subAttribute CivilAffairsAgreement Contract) MilitaryProcesses.kif 2300-2300 Civil affairs agreement is a subattribute of contract
(subAttribute EarlyTerminationFeeClause Contract) ComputingBrands.kif 2892-2892 Early termination fee clause is a subattribute of contract
(subAttribute FinancialContract Contract) FinancialOntology.kif 52-52 Financial contract is a subattribute of contract
(subAttribute LoanCommitment Contract) FinancialOntology.kif 1482-1482 Loan commitment is a subattribute of contract
(subAttribute MarriageContract Contract) Mid-level-ontology.kif 15093-15093 Marriage contract is a subattribute of contract
(subAttribute PurchaseContract Contract) Mid-level-ontology.kif 15106-15106 Purchase contract is a subattribute of contract
(subAttribute ServiceContract Contract) Mid-level-ontology.kif 15122-15122 Service contract is a subattribute of contract
(subAttribute Treaty Contract) Mid-level-ontology.kif 15144-15144 Treaty is a subattribute of contract
(termFormat ChineseLanguage Contract "合同") domainEnglishFormat.kif 17013-17013 Treaty is a subattribute of contract
(termFormat ChineseTraditionalLanguage Contract "合同") domainEnglishFormat.kif 17012-17012 Treaty is a subattribute of contract
(termFormat EnglishLanguage Contract "contract") domainEnglishFormat.kif 17011-17011 Treaty is a subattribute of contract

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


(=>
    (and
        (instance ?DOC ContractDocument)
        (containsInformation ?DOC ?PROP)
        (property ?PROP Contract))
    (property ?PROP Law))		 Media.kif 995-1000
(=>
    (and
        (property ?AGREEMENT Contract)
        (partyToAgreement ?AGENT1 ?AGREEMENT)
        (partyToAgreement ?AGENT2 ?AGREEMENT)
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?AGENT1)
        (realization ?PROC ?PROP)
        (not
            (consistent ?PROP ?AGREEMENT)))
    (modalAttribute
        (exists (?LEGAL)
            (and
                (instance ?LEGAL LegalAction)
                (plaintiff ?LEGAL ?AGENT2)
                (defendant ?LEGAL ?AGENT1))) Possibility))		 Mid-level-ontology.kif 15077-15091
(=>
    (property ?AGREEMENT Contract)
    (forall (?X)
        (=>
            (subProposition ?X ?AGREEMENT)
            (modalAttribute ?X Legal))))		 Mid-level-ontology.kif 15070-15075

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


(=>
    (contractor ?BUILDING ?CONTRACTOR)
    (exists (?CONTRACT ?AGENT)
        (and
            (property ?CONTRACT Contract)
            (partyToAgreement ?AGENT ?CONTRACT)
            (partyToAgreement ?CONTRACTOR ?CONTRACT)
            (confersObligation
                (exists (?CONSTRUCT ?BUILDING2)
                    (and
                        (instance ?CONSTRUCT Constructing)
                        (agent ?CONSTRUCT ?CONTRACTOR)
                        (result ?CONSTRUCT ?BUILDING2)
                        (instance ?BUILDING2 StationaryArtifact))) ?AGENT ?CONTRACTOR))))		 Mid-level-ontology.kif 21912-21925
(=>
    (instance ?DOC ContractDocument)
    (exists (?PROP)
        (and
            (containsInformation ?DOC ?PROP)
            (property ?PROP Contract))))		 Media.kif 979-984
(=>
    (insured ?PROP ?ORG)
    (property ?PROP Contract))		 Mid-level-ontology.kif 7915-7917
(=>
    (property ?ENTITY Promise)
    (or
        (property ?ENTITY Contract)
        (property ?ENTITY NakedPromise)))		 Mid-level-ontology.kif 15051-15055


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



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