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 14162-14165
(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 14160-14160 Contract è un sottoattributo di ActiveAgreement
(subAttribute Contract Promise) Mid-level-ontology.kif 14161-14161 Contract è un sottoattributo di Promise

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


(contraryAttribute NakedPromise Contract) Mid-level-ontology.kif 14167-14167 NakedPromise è opposto a Contract
(subAttribute CivilAffairsAgreement Contract) MilitaryProcesses.kif 2300-2300 CivilAffairsAgreement è un sottoattributo di Contract
(subAttribute EarlyTerminationFeeClause Contract) ComputingBrands.kif 2892-2892 EarlyTerminationFeeClause è un sottoattributo di Contract
(subAttribute FinancialContract Contract) FinancialOntology.kif 52-52 FinancialContract è un sottoattributo di Contract
(subAttribute LoanCommitment Contract) FinancialOntology.kif 1468-1468 LoanCommitment è un sottoattributo di Contract
(subAttribute MarriageContract Contract) Mid-level-ontology.kif 14192-14192 MarriageContract è un sottoattributo di Contract
(subAttribute PurchaseContract Contract) Mid-level-ontology.kif 14205-14205 PurchaseContract è un sottoattributo di Contract
(subAttribute ServiceContract Contract) Mid-level-ontology.kif 14221-14221 ServiceContract è un sottoattributo di Contract
(subAttribute Treaty Contract) Mid-level-ontology.kif 14243-14243 Treaty è un sottoattributo di Contract
(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 14176-14190
(=>
    (property ?AGREEMENT Contract)
    (forall (?X)
        (=>
            (subProposition ?X ?AGREEMENT)
            (modalAttribute ?X Legal))))
Mid-level-ontology.kif 14169-14174

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 20850-20863
(=>
    (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 7169-7171
(=>
    (property ?ENTITY Promise)
    (or
        (property ?ENTITY Contract)
        (property ?ENTITY NakedPromise)))
Mid-level-ontology.kif 14150-14154


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