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 11757-11760
(externalImage Contract "http://upload.wikimedia.org/wikipedia/commons/7/ 7e/ Carbolic_smoke_ball_co.jpg") pictureList.kif 5932-5932 "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Carbolic_smoke_ball_co.jpg" is a URL depicting contract
(subAttribute Contract ActiveAgreement) Mid-level-ontology.kif 11755-11755 Contract is a subattribute of active agreement
(subAttribute Contract Promise) Mid-level-ontology.kif 11756-11756 Contract is a subattribute of promise

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


(contraryAttribute NakedPromise Contract) Mid-level-ontology.kif 11762-11762 Naked promise is the opposite of contract
(subAttribute CivilAffairsAgreement Contract) MilitaryProcesses.kif 2280-2280 Civil affairs agreement is a subattribute of contract
(subAttribute FinancialContract Contract) FinancialOntology.kif 52-52 Financial contract is a subattribute of contract
(subAttribute LoanCommitment Contract) FinancialOntology.kif 1409-1409 Loan commitment is a subattribute of contract
(subAttribute MarriageContract Contract) Mid-level-ontology.kif 11787-11787 Marriage contract is a subattribute of contract
(subAttribute PurchaseContract Contract) Mid-level-ontology.kif 11800-11800 Purchase contract is a subattribute of contract
(subAttribute ServiceContract Contract) Mid-level-ontology.kif 11816-11816 Service contract is a subattribute of contract
(subAttribute Treaty Contract) Mid-level-ontology.kif 11838-11838 Treaty is a subattribute of contract
(subclass EarlyTerminationFeeClause Contract) ComputingBrands.kif 2865-2865 Early termination fee clause is a subclass of contract
(termFormat ChineseLanguage Contract "合同") domainEnglishFormat.kif 16927-16927 "合同" is the printable form of contract in ChineseLanguage
(termFormat ChineseTraditionalLanguage Contract "合同") domainEnglishFormat.kif 16926-16926 "合同" is the printable form of contract in ChineseTraditionalLanguage
(termFormat EnglishLanguage Contract "contract") domainEnglishFormat.kif 16925-16925 "contract" is the printable form of contract in english language

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 11771-11785
(=>
    (property ?AGREEMENT Contract)
    (forall (?X)
        (=>
            (subProposition ?X ?AGREEMENT)
            (modalAttribute ?X Legal))))
Mid-level-ontology.kif 11764-11769

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 18476-18489
(=>
    (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 6823-6825
(=>
    (property ?ENTITY Promise)
    (or
        (property ?ENTITY Contract)
        (property ?ENTITY NakedPromise)))
Mid-level-ontology.kif 11745-11749


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners