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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14135-14138
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 14133-14133	Contract est un sous-attribut de ActiveAgreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14134-14134	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 14140-14140	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 14165-14165	MarriageContract est un sous-attribut de Contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14178-14178	PurchaseContract est un sous-attribut de Contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14194-14194	ServiceContract est un sous-attribut de Contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14216-14216	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 14149-14163	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 14142-14147	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 20823-20836	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 7142-7144	insured proposition and organisation proposition a un attribute Contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14123-14127	Entit� a un attribute Promise entit� a un attribute Contract entit� a un attribute NakedPromise

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