ServiceContract - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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 10976-10977
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10975-10975	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 3196-3196	Employment is a subattribute of service contract
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1894-1894	Financial order is a subattribute of service contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10990-10990	Warranty is a subattribute of service contract
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52221-52221
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52220-52220
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52219-52219

antecedent

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

Mid-level-ontology.kif 10979-10988

If a proposition the attribute service contract,
then there exists a service such that the service is an instance of service and the service expresses the content of the proposition and an 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 2008-2013	If broker is an attribute of an agreement, then there exists a cognitive agent such that the cognitive agent 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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