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 11753-11756
(externalImage Contract "http://upload.wikimedia.org/wikipedia/commons/7/ 7e/ Carbolic_smoke_ball_co.jpg") pictureList.kif 5932-5932 externalImage Contract and "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Carbolic_smoke_ball_co.jpg"
(subAttribute Contract ActiveAgreement) Mid-level-ontology.kif 11751-11751 ContractActiveAgreementsubattribute では %n
(subAttribute Contract Promise) Mid-level-ontology.kif 11752-11752 ContractPromisesubattribute では %n

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


(contraryAttribute NakedPromise Contract) Mid-level-ontology.kif 11758-11758 NakedPromiseContractdisjoint では %n
(subAttribute CivilAffairsAgreement Contract) MilitaryProcesses.kif 2267-2267 CivilAffairsAgreementContractsubattribute では %n
(subAttribute FinancialContract Contract) FinancialOntology.kif 52-52 FinancialContractContractsubattribute では %n
(subAttribute LoanCommitment Contract) FinancialOntology.kif 1411-1411 LoanCommitmentContractsubattribute では %n
(subAttribute MarriageContract Contract) Mid-level-ontology.kif 11783-11783 MarriageContractContractsubattribute では %n
(subAttribute PurchaseContract Contract) Mid-level-ontology.kif 11796-11796 PurchaseContractContractsubattribute では %n
(subAttribute ServiceContract Contract) Mid-level-ontology.kif 11812-11812 ServiceContractContractsubattribute では %n
(subAttribute Treaty Contract) Mid-level-ontology.kif 11834-11834 TreatyContractsubattribute では %n
(subclass EarlyTerminationFeeClause Contract) ComputingBrands.kif 2706-2706 期限前契約解除の手数料の条項Contractsubclass では %n
(termFormat ChineseLanguage Contract "合同") domainEnglishFormat.kif 16927-16927 termFormat ChineseLanguage, Contract and "合同"
(termFormat ChineseTraditionalLanguage Contract "合同") domainEnglishFormat.kif 16926-16926 termFormat ChineseTraditionalLanguage, Contract and "合同"
(termFormat EnglishLanguage Contract "contract") domainEnglishFormat.kif 16925-16925 termFormat EnglishLanguage, Contract and "contract"

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

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 11741-11745


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