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 15566-15567
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15565-15565	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 3273-3273	Employment is a subattribute of service contract
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1962-1962	Financial order is a subattribute of service contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15580-15580	Warranty is a subattribute of service contract
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52243-52243	Warranty is a subattribute of service contract
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52242-52242	Warranty is a subattribute of service contract
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52241-52241	Warranty is a subattribute of service contract

antecedent

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

Mid-level-ontology.kif 15569-15578

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 2075-2080	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 65-69	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