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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Contract
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 13326-13329
(externalImage Contract "http://upload.wikimedia.org/wikipedia/commons/7/ 7e/ Carbolic_smoke_ball_co.jpg") pictureList.kif 5932-5932
(subAttribute Contract ActiveAgreement) Mid-level-ontology.kif 13324-13324
(subAttribute Contract Promise) Mid-level-ontology.kif 13325-13325

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


(contraryAttribute NakedPromise Contract) Mid-level-ontology.kif 13331-13331
(subAttribute CivilAffairsAgreement Contract) MilitaryProcesses.kif 2280-2280
(subAttribute EarlyTerminationFeeClause Contract) ComputingBrands.kif 2851-2851
(subAttribute FinancialContract Contract) FinancialOntology.kif 52-52
(subAttribute LoanCommitment Contract) FinancialOntology.kif 1422-1422
(subAttribute MarriageContract Contract) Mid-level-ontology.kif 13356-13356
(subAttribute PurchaseContract Contract) Mid-level-ontology.kif 13369-13369
(subAttribute ServiceContract Contract) Mid-level-ontology.kif 13385-13385
(subAttribute Treaty Contract) Mid-level-ontology.kif 13407-13407
(termFormat ChineseLanguage Contract "合同") domainEnglishFormat.kif 16989-16989
(termFormat ChineseTraditionalLanguage Contract "合同") domainEnglishFormat.kif 16988-16988
(termFormat EnglishLanguage Contract "contract") domainEnglishFormat.kif 16987-16987

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 13340-13354
(=>
    (property ?AGREEMENT Contract)
    (forall (?X)
        (=>
            (subProposition ?X ?AGREEMENT)
            (modalAttribute ?X Legal))))
Mid-level-ontology.kif 13333-13338

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 19821-19834
(=>
    (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 6778-6780
(=>
    (property ?ENTITY Promise)
    (or
        (property ?ENTITY Contract)
        (property ?ENTITY NakedPromise)))
Mid-level-ontology.kif 13314-13318


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