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(service contract)

indenture, service_contract

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	Service contract is a subattribute of contract

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3256-3256	Employment is a subattribute of service contract
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1945-1945	Financial order is a subattribute of service contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14209-14209	Warranty is a subattribute of service contract
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

If a proposition the attribute service contract,
then there exist a service, an agreement and the propositionUST such that the service is an instance of service and the service expresses the content of the proposition and the agreement provides a service during the service and the propositionUST receives a service during the service and the agreement is a party to agreement of the proposition and the propositionUST is a party to agreement of the proposition

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2058-2063	If broker is an attribute of a cognitive agent, then there exists an agreement such that the agreement is an instance of service contract and the agreement is a party to agreement of the cognitive agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 63-67	If an entity is an instance of financial account, then the entity the attribute financial contract and the entity the attribute service contract

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