TreeView Knowledge Base Browser - Contract

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	Contract は ActiveAgreement の subattribute では %n
(subAttribute Contract Promise)	Mid-level-ontology.kif 14134-14134	Contract は Promise の subattribute では %n

appearance as argument number 2

(contraryAttribute NakedPromise Contract)	Mid-level-ontology.kif 14140-14140	NakedPromise は Contract の disjoint では %n
(subAttribute CivilAffairsAgreement Contract)	MilitaryProcesses.kif 2300-2300	CivilAffairsAgreement は Contract の subattribute では %n
(subAttribute EarlyTerminationFeeClause Contract)	ComputingBrands.kif 2892-2892	期限前契約解除の手数料の条項は Contract の subattribute では %n
(subAttribute FinancialContract Contract)	FinancialOntology.kif 52-52	FinancialContract は Contract の subattribute では %n
(subAttribute LoanCommitment Contract)	FinancialOntology.kif 1468-1468	LoanCommitment は Contract の subattribute では %n
(subAttribute MarriageContract Contract)	Mid-level-ontology.kif 14165-14165	MarriageContract は Contract の subattribute では %n
(subAttribute PurchaseContract Contract)	Mid-level-ontology.kif 14178-14178	PurchaseContract は Contract の subattribute では %n
(subAttribute ServiceContract Contract)	Mid-level-ontology.kif 14194-14194	ServiceContract は Contract の subattribute では %n
(subAttribute Treaty Contract)	Mid-level-ontology.kif 14216-14216	Treaty は Contract の subattribute では %n
(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	ContentBearingPhysical は ContractDocument の instance では %n ContentBearingPhysical は命題の情報を contains %n{ない} 命題には attribute Contract %n{ない} 命題には attribute Law %n{ない}
(=> (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	Agreement には attribute Contract %n{ない} partyToAgreement 認識エージェント and Agreement partyToAgreement 認識エージェント and Agreement 工程は意図的なプロセスの instance では %n 認識エージェントは工程の agent では %n 工程は命題の内容を expresses %n{ない} consistent 命題 and Agreement ステートメントエンティティーエンティティーは訴訟の instance では %n plaintiff エンティティー and 認識エージェント defendant エンティティー and 認識エージェントには Possibility の modal force がある
(=> (property ?AGREEMENT Contract) (forall (?X) (=> (subProposition ?X ?AGREEMENT) (modalAttribute ?X Legal))))	Mid-level-ontology.kif 14142-14147	命題には attribute Contract %n{ない} 公式公式は命題の sub-proposition では %n ステートメント公式には Legal の modal force がある

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	contractor 固定アーチファクト and 認識エージェント Agreement 認識エージェント Agreement には attribute Contract %n{ない} partyToAgreement 認識エージェント and Agreement partyToAgreement 認識エージェント and Agreement 認識エージェントは認識エージェントにタイプエンティティー固定アーチファクトエンティティーは構築の instance では %n 認識エージェントはエンティティーの agent では %n 固定アーチファクトはエンティティーの result では %n 固定アーチファクトは固定アーチファクトの instance では %n のタスクを実行する obligates %n{ない}
(=> (instance ?DOC ContractDocument) (exists (?PROP) (and (containsInformation ?DOC ?PROP) (property ?PROP Contract))))	Media.kif 979-984	ContentBearingPhysical は ContractDocument の instance では %n 命題 ContentBearingPhysical は命題の情報を contains %n{ない} 命題には attribute Contract %n{ない}
(=> (insured ?PROP ?ORG) (property ?PROP Contract))	Mid-level-ontology.kif 7142-7144	insured 命題 and 組織命題には attribute Contract %n{ない}
(=> (property ?ENTITY Promise) (or (property ?ENTITY Contract) (property ?ENTITY NakedPromise)))	Mid-level-ontology.kif 14123-14127	エンティティーには attribute Promise %n{ない} エンティティーには attribute Contract %n{ない} エンティティーには attribute NakedPromise %n{ない}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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