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 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 e' um sub-atributo de ActiveAgreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14133-14133	Contract e' um sub-atributo 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 e' &o oposto de Contract
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2300-2300	CivilAffairsAgreement e' um sub-atributo de Contract
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2892-2892	EarlyTerminationFeeClause e' um sub-atributo de Contract
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 52-52	FinancialContract e' um sub-atributo de Contract
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1468-1468	LoanCommitment e' um sub-atributo de Contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14164-14164	MarriageContract e' um sub-atributo de Contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14177-14177	PurchaseContract e' um sub-atributo de Contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14193-14193	ServiceContract e' um sub-atributo de Contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14215-14215	Treaty e' um sub-atributo 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 e' uma instancia de ContractDocument ContentBearingPhysical contem informacao Proposicao Proposicao tem um atributo de Contract Proposicao tem um atributo de Law
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14148-14162	Agreement tem um atributo de Contract partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement Processo e' uma instancia de Processo Intencional Processo e' um agente de Agente Cognitivo Processo exprime o conteudo de Proposicao consistent Proposicao and Agreement o argumento Entidade Entidade e' uma instancia de Acao Legal plaintiff Entidade and Agente Cognitivo defendant Entidade and Agente Cognitivo tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14141-14146	Proposicao tem um atributo de Contract Formula Formula e' uma &sub-proposicao de Proposicao o argumento Formula tem a forca modal de Legal

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20822-20835	contractor Artefato Estacionario and Agente Cognitivo Agreement Agente Cognitivo Agreement tem um atributo de Contract partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement Agente Cognitivo obriga Agente Cognitivo a executar tarefas de tipo Entidade Artefato Estacionario Entidade e' uma instancia de Construcao Entidade e' um agente de Agente Cognitivo Artefato Estacionario e' o resultado de Entidade Artefato Estacionario e' uma instancia de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Media.kif 979-984	ContentBearingPhysical e' uma instancia de ContractDocument Proposicao ContentBearingPhysical contem informacao Proposicao Proposicao tem um atributo de Contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7141-7143	insured Proposicao and Organizacao Proposicao tem um atributo de Contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14122-14126	Entidade tem um atributo de Promise Entidade tem um atributo de Contract Entidade tem um atributo de 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