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 e' um sub-atributo de ActiveAgreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14134-14134	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 14140-14140	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 14165-14165	MarriageContract e' um sub-atributo de Contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14178-14178	PurchaseContract e' um sub-atributo de Contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14194-14194	ServiceContract e' um sub-atributo de Contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14216-14216	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 14149-14163	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 14142-14147	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 20823-20836	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 7142-7144	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 14123-14127	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