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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14134-14137
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5931-5931
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14132-14132	Contract est un sous-attribut de ActiveAgreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14133-14133	Contract est un sous-attribut de Promise

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14139-14139	NakedPromise est l'oppos� de Contract
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2300-2300	CivilAffairsAgreement est un sous-attribut de Contract
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2892-2892	EarlyTerminationFeeClause est un sous-attribut de Contract
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 52-52	FinancialContract est un sous-attribut de Contract
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1468-1468	LoanCommitment est un sous-attribut de Contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14164-14164	MarriageContract est un sous-attribut de Contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14177-14177	PurchaseContract est un sous-attribut de Contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14193-14193	ServiceContract est un sous-attribut de Contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14215-14215	Treaty est un sous-attribut de Contract
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16998-16998
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16997-16997
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16996-16996

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 995-1000	ContentBearingPhysical est une instance de ContractDocument ContentBearingPhysical contient information proposition proposition a un attribute Contract proposition a un attribute Law
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14148-14162	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14141-14146	Proposition a un attribute Contract formule formule est une sous-proposition de proposition l'argument formule a la force modale de Legal

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20822-20835	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
No TPTP formula. May not be expressible in strict first order.	Media.kif 979-984	ContentBearingPhysical est une instance de ContractDocument proposition ContentBearingPhysical contient information proposition proposition a un attribute Contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7141-7143	insured proposition and organisation proposition a un attribute Contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14122-14126	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