Contract - Sigma Knowledge base Browser

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 15506-15509
(externalImage Contract "http://upload.wikimedia.org/wikipedia/commons/7/ 7e/ Carbolic_smoke_ball_co.jpg")	pictureList.kif 5930-5930
(subAttribute Contract ActiveAgreement)	Mid-level-ontology.kif 15504-15504	Contract est un sous-attribut de ActiveAgreement
(subAttribute Contract Promise)	Mid-level-ontology.kif 15505-15505	Contract est un sous-attribut de Promise

appearance as argument number 2

(contraryAttribute NakedPromise Contract)	Mid-level-ontology.kif 15511-15511	NakedPromise est l'oppos� de Contract
(subAttribute CivilAffairsAgreement Contract)	MilitaryProcesses.kif 2300-2300	CivilAffairsAgreement est un sous-attribut de Contract
(subAttribute EarlyTerminationFeeClause Contract)	ComputingBrands.kif 2892-2892	EarlyTerminationFeeClause est un sous-attribut de Contract
(subAttribute FinancialContract Contract)	FinancialOntology.kif 54-54	FinancialContract est un sous-attribut de Contract
(subAttribute LoanCommitment Contract)	FinancialOntology.kif 1484-1484	LoanCommitment est un sous-attribut de Contract
(subAttribute MarriageContract Contract)	Mid-level-ontology.kif 15536-15536	MarriageContract est un sous-attribut de Contract
(subAttribute PurchaseContract Contract)	Mid-level-ontology.kif 15549-15549	PurchaseContract est un sous-attribut de Contract
(subAttribute ServiceContract Contract)	Mid-level-ontology.kif 15565-15565	ServiceContract est un sous-attribut de Contract
(subAttribute Treaty Contract)	Mid-level-ontology.kif 15587-15587	Treaty est un sous-attribut de Contract
(termFormat ChineseLanguage Contract "合同")	domainEnglishFormat.kif 17007-17007	Treaty est un sous-attribut de Contract
(termFormat ChineseTraditionalLanguage Contract "合同")	domainEnglishFormat.kif 17006-17006	Treaty est un sous-attribut de Contract
(termFormat EnglishLanguage Contract "contract")	domainEnglishFormat.kif 17005-17005	Treaty est un sous-attribut de Contract

antecedent

(=> (and (instance ?DOC ContractDocument) (containsInformation ?DOC ?PROP) (property ?PROP Contract)) (property ?PROP Law))	Media.kif 995-1000	ContentBearingPhysical est une instance de ContractDocument ContentBearingPhysical contient information proposition proposition a un attribute Contract proposition a un attribute Law
(=> (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 15520-15534	Agreement a un attribute Contract partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement processus est une instance de processus intentionnel processus est un agent de agent cognitif processus exprime le contenu de proposition consistent proposition and Agreement l'argument entit� entit� est une instance de action l�gale plaintiff entit� and agent cognitif defendant entit� and agent cognitif a la force modale de Possibility
(=> (property ?AGREEMENT Contract) (forall (?X) (=> (subProposition ?X ?AGREEMENT) (modalAttribute ?X Legal))))	Mid-level-ontology.kif 15513-15518	Proposition a un attribute Contract formule formule est une sous-proposition de proposition l'argument formule a la force modale de Legal

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 22440-22453	contractor artefact stationnaire and agent cognitif Agreement agent cognitif Agreement a un attribute Contract partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement agent cognitif oblige agent cognitif � ex�cut� des t�ches du type entit� artefact stationnaire entit� est une instance de construire entit� est un agent de agent cognitif artefact stationnaire est le resultat de entit� artefact stationnaire est une instance de artefact stationnaire
(=> (instance ?DOC ContractDocument) (exists (?PROP) (and (containsInformation ?DOC ?PROP) (property ?PROP Contract))))	Media.kif 979-984	ContentBearingPhysical est une instance de ContractDocument proposition ContentBearingPhysical contient information proposition proposition a un attribute Contract
(=> (insured ?PROP ?ORG) (property ?PROP Contract))	Mid-level-ontology.kif 8303-8305	insured proposition and organisation proposition a un attribute Contract
(=> (property ?ENTITY Promise) (or (property ?ENTITY Contract) (property ?ENTITY NakedPromise)))	Mid-level-ontology.kif 15494-15498	Entit� a un attribute Promise entit� a un attribute Contract entit� a un attribute NakedPromise

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