TreeView Knowledge Base Browser - ServiceContract

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

ServiceContract

Sigma KEE - ServiceContract

ServiceContract

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14195-14196
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14194-14194	ServiceContract e' um sub-atributo de Contract

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3256-3256	Employment e' um sub-atributo de ServiceContract
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1945-1945	FinancialOrder e' um sub-atributo de ServiceContract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14209-14209	Warranty e' um sub-atributo de ServiceContract
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52239-52239
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52238-52238
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52237-52237

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 14198-14207

Proposicao tem um atributo de ServiceContract
ServiceProcess Agreement and ProposicaoUST ServiceProcess e' uma instancia de ServiceProcess ServiceProcess exprime o conteudo de Proposicao serviceProvider ServiceProcess and Agreement serviceRecipient ServiceProcess and ProposicaoUST partyToAgreement Proposicao and Agreement partyToAgreement Proposicao and ProposicaoUST

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2058-2063	Broker e' um atributo de Agente Cognitivo Agreement Agreement e' uma instancia de ServiceContract partyToAgreement Agente Cognitivo and Agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 63-67	Entidade e' uma instancia de FinancialAccount Entidade tem um atributo de FinancialContract Entidade tem um atributo de ServiceContract

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