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 14135-14138
(externalImage Contract "http://upload.wikimedia.org/wikipedia/commons/7/ 7e/ Carbolic_smoke_ball_co.jpg") pictureList.kif 5931-5931
(subAttribute Contract ActiveAgreement) Mid-level-ontology.kif 14133-14133 子屬性 合同 and ActiveAgreement
(subAttribute Contract Promise) Mid-level-ontology.kif 14134-14134 子屬性 合同 and 諾言

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


(contraryAttribute NakedPromise Contract) Mid-level-ontology.kif 14140-14140 相反的屬性 赤裸裸的承諾 and 合同
(subAttribute CivilAffairsAgreement Contract) MilitaryProcesses.kif 2300-2300 子屬性 民政協議 and 合同
(subAttribute EarlyTerminationFeeClause Contract) ComputingBrands.kif 2892-2892 子屬性 提前終止費用條款 and 合同
(subAttribute FinancialContract Contract) FinancialOntology.kif 52-52 子屬性 金融合約 and 合同
(subAttribute LoanCommitment Contract) FinancialOntology.kif 1468-1468 子屬性 貸款承諾 and 合同
(subAttribute MarriageContract Contract) Mid-level-ontology.kif 14165-14165 子屬性 婚姻合同 and 合同
(subAttribute PurchaseContract Contract) Mid-level-ontology.kif 14178-14178 子屬性 採購合同 and 合同
(subAttribute ServiceContract Contract) Mid-level-ontology.kif 14194-14194 子屬性 服務合同 and 合同
(subAttribute Treaty Contract) Mid-level-ontology.kif 14216-14216 子屬性 條約 and 合同
(termFormat ChineseLanguage Contract "合同") domainEnglishFormat.kif 16998-16998
(termFormat ChineseTraditionalLanguage Contract "合同") domainEnglishFormat.kif 16997-16997
(termFormat EnglishLanguage Contract "contract") domainEnglishFormat.kif 16996-16996

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 14149-14163
(=>
    (property ?AGREEMENT Contract)
    (forall (?X)
        (=>
            (subProposition ?X ?AGREEMENT)
            (modalAttribute ?X Legal))))		 Mid-level-ontology.kif 14142-14147

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 20823-20836
(=>
    (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 7142-7144
(=>
    (property ?ENTITY Promise)
    (or
        (property ?ENTITY Contract)
        (property ?ENTITY NakedPromise)))		 Mid-level-ontology.kif 14123-14127


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