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 11758-11761
(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 11756-11756 subAttribute Contract and ActiveAgreement
(subAttribute Contract Promise) Mid-level-ontology.kif 11757-11757 subAttribute Contract and Promise

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


(contraryAttribute NakedPromise Contract) Mid-level-ontology.kif 11763-11763 contraryAttribute NakedPromise and Contract
(subAttribute CivilAffairsAgreement Contract) MilitaryProcesses.kif 2280-2280 subAttribute CivilAffairsAgreement and Contract
(subAttribute FinancialContract Contract) FinancialOntology.kif 52-52 subAttribute FinancialContract and Contract
(subAttribute LoanCommitment Contract) FinancialOntology.kif 1409-1409 subAttribute LoanCommitment and Contract
(subAttribute MarriageContract Contract) Mid-level-ontology.kif 11788-11788 subAttribute MarriageContract and Contract
(subAttribute PurchaseContract Contract) Mid-level-ontology.kif 11801-11801 subAttribute PurchaseContract and Contract
(subAttribute ServiceContract Contract) Mid-level-ontology.kif 11817-11817 subAttribute ServiceContract and Contract
(subAttribute Treaty Contract) Mid-level-ontology.kif 11839-11839 subAttribute Treaty and Contract
(subclass EarlyTerminationFeeClause Contract) ComputingBrands.kif 2865-2865 subclass 期限前契約解除の手数料の条項 and Contract
(termFormat ChineseLanguage Contract "合同") domainEnglishFormat.kif 16921-16921
(termFormat ChineseTraditionalLanguage Contract "合同") domainEnglishFormat.kif 16920-16920
(termFormat EnglishLanguage Contract "contract") domainEnglishFormat.kif 16919-16919

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 11772-11786
(=>
    (property ?AGREEMENT Contract)
    (forall (?X)
        (=>
            (subProposition ?X ?AGREEMENT)
            (modalAttribute ?X Legal))))
Mid-level-ontology.kif 11765-11770

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 18477-18490
(=>
    (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 11746-11750


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